المؤلفون: Mohammad Ali Manian, Shahram Heidarian, Farhad Khaksar Haghani

المصدر: AKCE International Journal of Graphs and Combinatorics, Vol 20, Iss 1, Pp 57-60 (2023)

مصطلحات موضوعية: Graph transformations, unicyclic graphs, forgotten index, inverse degree index, Primary 05C30, secondary 05C05, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://doaj.org/toc/0972-8600; https://doaj.org/toc/2543-3474

URL الوصول: https://doaj.org/article/0fb50553edf4431e91264c8732b1abac

المؤلفون: Boy de la Tour, Thierry

المساهمون: Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Calculs algorithmes programmes et preuves (CAPP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)

المصدر: Applied Category Theory (ACT) ; https://hal.univ-grenoble-alpes.fr/hal-04087851 ; Applied Category Theory (ACT), 2023, Maryland, United States. pp.20-38, ⟨10.4204/EPTCS.397.2⟩

مصطلحات موضوعية: Algebraic graph transformations, synchronous parallel rewriting, categories of rules, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems/F.4.2.2: Parallel rewriting systems (e.g., developmental systems, L-systems), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Maryland, United States

الاتاحة: https://hal.univ-grenoble-alpes.fr/hal-04087851
https://hal.univ-grenoble-alpes.fr/hal-04087851v3/document
https://hal.univ-grenoble-alpes.fr/hal-04087851v3/file/hal-v3.pdf
https://doi.org/10.4204/EPTCS.397.2

المؤلفون: Boode, Ton, Associate lector, Broenink,F., Jan, Overig, Broersma, Hajo, Overig

المساهمون: Robotica, Hogeschool Inholland@@@Domein Techniek, Ontwerpen en Informatica

المصدر: Communicating Process Architectures 2013. 2013(35):57-79

مصطلحات موضوعية: CSP, graph transformations, acyclic multi-graphs, real-time periodic processes, synchronised products

URL الوصول: https://surfsharekit.nl/public/e92b7f64-fac8-40cd-ac03-9678fdd03518
https://surfsharekit.nl/objectstore/a88ff8b4-8998-4b27-90e3-46e693d9f25b

الاتاحة: http://www.hbo-kennisbank.nl/en/page/hborecord.view/?uploadId=sharekit_inholland:oai:surfsharekit.nl:e92b7f64-fac8-40cd-ac03-9678fdd03518

المؤلفون: Tayeb, Hayfa, Paillat, Ludovic, Bramas, Bérenger

المساهمون: Université de Strasbourg (UNISTRA), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Compilation pour les Architectures MUlti-coeurS (CAMUS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), ANR-20-EHPC-0008,TEXTAROSSA,Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale(2020)

المصدر: ISSN: 1544-3566.

مصطلحات موضوعية: CCS Concepts, Computer systems organization → Single instruction, multiple data Automatic vectorization, graph transformations, DAG, Plafrim, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

الاتاحة: https://inria.hal.science/hal-03914178
https://inria.hal.science/hal-03914178v3/document
https://inria.hal.science/hal-03914178v3/file/Autovesk__Automatic_vectorized_code_generation_from_unstructured_static_kernels_using_graph_transformations__FINAL_.pdf
https://doi.org/10.1145/3631709

المؤلفون: Rashad Ismail, Muhammad Azeem, Yilun Shang, Muhammad Imran, Ali Ahmad

المصدر: Axioms; Volume 12; Issue 7; Pages: 675

مصطلحات موضوعية: extremal graphs, first and second generalized exponential multiplicative Zagreb indices, unified approach, graph transformations

وصف الملف: application/pdf

Relation: Algebra and Number Theory; https://dx.doi.org/10.3390/axioms12070675

الاتاحة: https://doi.org/10.3390/axioms12070675

المؤلفون: Wang Hui, Adnan Aslam, Salma Kanwal, Mahnoor Akram, Tahira Sumbal Shaikh, Xuewu Zuo

المصدر: Symmetry; Volume 15; Issue 4; Pages: 871

مصطلحات موضوعية: SK indices, graph transformations, girth, pendant vertex, unicyclic graphs

وصف الملف: application/pdf

Relation: Mathematics and Symmetry/Asymmetry; https://dx.doi.org/10.3390/sym15040871

الاتاحة: https://doi.org/10.3390/sym15040871

المؤلفون: Sebastian Ernst, Leszek Kotulski, Adam Sędziwy, Igor Wojnicki

المصدر: Energies; Volume 16; Issue 7; Pages: 3252

مصطلحات موضوعية: smart cities, graph transformations, GIS, street lighting

وصف الملف: application/pdf

Relation: F5: Artificial Intelligence and Smart Energy; https://dx.doi.org/10.3390/en16073252

الاتاحة: https://doi.org/10.3390/en16073252

المؤلفون: Leszek Jaskierny, Leszek Kotulski

المصدر: Applied Sciences, Vol 13, Iss 23, p 12718 (2023)

مصطلحات موضوعية: IoT, graph transformations, sensors, smart agriculture, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Relation: https://www.mdpi.com/2076-3417/13/23/12718; https://doaj.org/toc/2076-3417; https://doaj.org/article/c39b5cdadeb7482fba50d1136e0a4e44

الاتاحة: https://doi.org/10.3390/app132312718
https://doaj.org/article/c39b5cdadeb7482fba50d1136e0a4e44

المؤلفون: Blagoveshchenskaya E., Gruzdev N., Zuev D.

المصدر: E3S Web of Conferences, Vol 383, p 03005 (2023)

مصطلحات موضوعية: transport logistics, marshalling yards, the principle of parallelization, decomposition of abelian groups, graph transformations, a graph of a tiered-parallel form, Environmental sciences, GE1-350

Relation: https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/20/e3sconf_tt21c2023_03005.pdf; https://doaj.org/toc/2267-1242; https://doaj.org/article/4e6b9929636943fd95ed53f3f5cfed77

الاتاحة: https://doi.org/10.1051/e3sconf/202338303005
https://doaj.org/article/4e6b9929636943fd95ed53f3f5cfed77

المؤلفون: Mahfoudh, Mariem, Thiry, Laurent, Forestier, Germain, Hassenforder, Michel

المساهمون: Modélisation, Intelligence, Processus et Système (MIPS), Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))

المصدر: International Conference on Model and Data Engineering (MEDI) ; https://hal.science/hal-03811545 ; International Conference on Model and Data Engineering (MEDI), Sep 2022, Larnaca, Cyprus. pp.154 - 168, ⟨10.1007/978-3-319-11587-0_16⟩

مصطلحات موضوعية: Ontologies Merging, Typed Graph Grammars, Algebraic Graph Transformations, GROM, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Larnaca, Cyprus

Relation: hal-03811545; https://hal.science/hal-03811545; https://hal.science/hal-03811545/document; https://hal.science/hal-03811545/file/medi2014.pdf

الاتاحة: https://hal.science/hal-03811545
https://hal.science/hal-03811545/document
https://hal.science/hal-03811545/file/medi2014.pdf
https://doi.org/10.1007/978-3-319-11587-0_16

المؤلفون: Tayeb, Hayfa, Bramas, Bérenger, Paillat, Ludovic

المساهمون: Compilation pour les Architectures MUlti-coeurS (CAMUS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), Université de Strasbourg (UNISTRA)

المصدر: https://inria.hal.science/hal-03914178 ; 2022.

مصطلحات موضوعية: CCS Concepts, Computer systems organization → Single instruction, multiple data Automatic vectorization, graph transformations, DAG, CCS Concepts: Computer systems organization → Single instruction multiple data Automatic vectorization graph transformations DAG, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Relation: hal-03914178; https://inria.hal.science/hal-03914178; https://inria.hal.science/hal-03914178/document; https://inria.hal.science/hal-03914178/file/Autovesk__Automatic_vectorization_of_unstructured_static_kernels_by_graph_transformations.pdf

الاتاحة: https://inria.hal.science/hal-03914178
https://inria.hal.science/hal-03914178/document
https://inria.hal.science/hal-03914178/file/Autovesk__Automatic_vectorization_of_unstructured_static_kernels_by_graph_transformations.pdf

المؤلفون: Valderas Aranda, Pedro Jose

المساهمون: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Pelechano Ferragud, Vicente

المصدر: Riunet

مصطلحات موضوعية: Requirements engineering, Web engineering, Model driven development, Web applications, Graph transformations, Automatic code generation, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 17, 1203 18

URL الوصول: http://hdl.handle.net/10251/1997

المساهمون: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Pelechano Ferragud, Vicente

المصدر: Riunet

مصطلحات موضوعية: Requirements engineering, Web engineering, Model driven development, Web applications, Graph transformations, Automatic code generation, LENGUAJES Y SISTEMAS INFORMATICOS, 120317 - Informática, 120318 - Sistemas de información, diseño y componentes

URL الوصول: http://hdl.handle.net/10251/1997

المؤلفون: Leszek Kotulski, Artur Basiura, Igor Wojnicki, Sebastian Siuchta

المصدر: Energies; Volume 14; Issue 10; Pages: 2771

مصطلحات موضوعية: computer aided design, graph transformations, green energy, levelized cost of electricity

وصف الملف: application/pdf

Relation: F5: Artificial Intelligence and Smart Energy; https://dx.doi.org/10.3390/en14102771

الاتاحة: https://doi.org/10.3390/en14102771

المؤلفون: Nikanjam, Amin, BEN BRAIEK, HOUSSEM, MOROVATI, MOHAMMAD MEHDI, Khomh, Foutse

المساهمون: École Polytechnique de Montréal (EPM), K. N. Toosi University of Technology

المصدر: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.archives-ouvertes.fr/hal-03259176 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, In press.

مصطلحات موضوعية: Graph transformations, Model-based verification, Deep learning, Fault Detection, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.08095v2; hal-03259176; https://hal.archives-ouvertes.fr/hal-03259176; https://hal.archives-ouvertes.fr/hal-03259176/document; https://hal.archives-ouvertes.fr/hal-03259176/file/DNN_Metamodel_TOSEM.pdf; ARXIV: 2105.08095v2

الاتاحة: https://hal.archives-ouvertes.fr/hal-03259176
https://hal.archives-ouvertes.fr/hal-03259176/document
https://hal.archives-ouvertes.fr/hal-03259176/file/DNN_Metamodel_TOSEM.pdf

المؤلفون: Esser, Sebastian Josef

المساهمون: Borrmann, André (Prof. Dr.), Koch, Christian (Prof. Dr.), Beetz, Jakob (Prof. Dr.)

مصطلحات موضوعية: info:eu-repo/classification/ddc/620, Ingenieurwissenschaften, Building Information Modeling, Graphtransformationen, Industry Foundation Classes, Versionskontrolle, Git, Graph Transformations, Version Control

وصف الملف: application/pdf

Relation: https://mediatum.ub.tum.de/1736912; https://mediatum.ub.tum.de/doc/1736912/document.pdf; http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20250523-1736912-1-8

الاتاحة: https://mediatum.ub.tum.de/1736912
https://mediatum.ub.tum.de/doc/1736912/document.pdf
http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20250523-1736912-1-8

المؤلفون: Leszek JASKIERNY

المصدر: Applied Computer Science, Vol 14, Iss 4, Pp 93-108 (2018)

مصطلحات موضوعية: Business standards, Interoperability, Canonical Data Models, Graphs, Graph Databases, Graph Transformations, Information technology, T58.5-58.64, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.acs.pollub.pl/pdf/v14n4/8.pdf; https://doaj.org/toc/1895-3735; https://doaj.org/toc/2353-6977

URL الوصول: https://doaj.org/article/7dbbf218a8bd4f6a8bf14a6c2e065241

المؤلفون: Mihailović, Bojana, Rašajski, Marija

المصدر: Applicable Analysis and Discrete Mathematics, 2017 Apr 01. 11(1), 148-165.

URL الوصول: https://www.jstor.org/stable/90020388

المؤلفون: Andrei, Oana, Fernández, Maribel, Kirchner, Hélène, Pinaud, Bruno

المساهمون: University of Glasgow, King‘s College London, Inria Siège, Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université de Bordeaux (UB), Bill Hlavacek

المصدر: Modeling Biomolecular Site Dynamics ; https://hal.archives-ouvertes.fr/hal-01429890 ; Bill Hlavacek. Modeling Biomolecular Site Dynamics, 1945, Springer, pp 43-70, 2019, Methods in Molecular Biology, 978-1-4939-9100-6. ⟨10.1007/978-1-4939-9102-0_3⟩ ; https://www.springer.com/book/9781493991006

مصطلحات موضوعية: Biochemical networks, Graph transformations, Rule-based modelling, Strategic rewriting, Computational systems biology, Visual Analytics Software, [INFO]Computer Science [cs], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-01429890; https://hal.archives-ouvertes.fr/hal-01429890; https://hal.archives-ouvertes.fr/hal-01429890/document; https://hal.archives-ouvertes.fr/hal-01429890/file/main.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-01429890
https://hal.archives-ouvertes.fr/hal-01429890/document
https://hal.archives-ouvertes.fr/hal-01429890/file/main.pdf
https://doi.org/10.1007/978-1-4939-9102-0_3

المؤلفون: Schuerkamp, Ryan, Giabbanelli, Philippe, Daclin, Nicolas

المساهمون: Miami University,Department of Computer Science & Software Engineering,Oxford,OH,USA, Laboratoire des Sciences des Risques (LSR), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: 2023 Annual Modeling and Simulation Conference (ANNSIM)May 23 2023 to May 26 2023Hamilton, ON, CanadaISBN: 978-1-71-387328-0
ANNSIM'2023 - 2023 Annual Modeling and Simulation Conference
https://hal.science/hal-04146796
ANNSIM'2023 - 2023 Annual Modeling and Simulation Conference, May 2023, Hamilton, Canada
https://ieeexplore.ieee.org/document/10155381

مصطلحات موضوعية: Fuzzy Cognitive Maps, Graph Transformations, Interoperability, Model Transformation, [SPI]Engineering Sciences [physics]

جغرافية الموضوع: Hamilton

Time: Hamilton, Canada

Relation: hal-04146796; https://hal.science/hal-04146796

الاتاحة: https://hal.science/hal-04146796