المؤلفون: Shanshan Wu, Guobing Hu, Bin Gu

المصدر: IET Radar, Sonar & Navigation, Vol 18, Iss 12, Pp 2709-2725 (2024)

مصطلحات موضوعية: cognitive radio, extreme value theory, graph feature fusion, graph transformation, majorization order, quadratic form, Telecommunication, TK5101-6720

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1751-8784; https://doaj.org/toc/1751-8792

URL الوصول: https://doaj.org/article/488b62de7f844621b0e52e72ceff732a

المؤلفون: Gaide, Maxime, Marcheix, David, Arnould, Agnés, Skapin, Xavier, Belhaouari, Hakim, Jean, Stéphane

المساهمون: Skala, Václav

مصطلحات موضوعية: modelování založené na topologii, pravidla pro transformaci grafů, persistentní pojmenování, reevaluace, generalizované mapy, topology-based modeling, graph transformation rules, persistent naming, reevaluation, generalized maps

وصف الملف: 12 s.; application/pdf

Relation: WSCG 2024: full papers proceedings: 32. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, p. 117-128.; 2464–4625 (online); 2464–4617 (print); http://hdl.handle.net/11025/57384; https://doi.org/10.24132/10.24132/CSRN.3401.13

الاتاحة: http://hdl.handle.net/11025/57384
https://doi.org/10.24132/10.24132/CSRN.3401.13

المؤلفون: Overbeek, Roy, Endrullis, Jörg

المصدر: Overbeek , R & Endrullis , J 2024 , ' TERMINATION OF GRAPH TRANSFORMATION SYSTEMS USING WEIGHTED SUBGRAPH COUNTING ∗ ' , Logical Methods in Computer Science , vol. 20 , no. 4 , 36 , pp. 1-12 . https://doi.org/10.46298/lmcs-20(4:12)2024

مصطلحات موضوعية: graph transformation, pullback pushout, termination

الاتاحة: https://research.vu.nl/en/publications/b85ead4a-960d-4f7a-951c-c81583287151
https://doi.org/10.46298/lmcs-20(4:12)2024
https://hdl.handle.net/1871.1/b85ead4a-960d-4f7a-951c-c81583287151
http://www.scopus.com/inward/record.url?scp=85210145063&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85210145063&partnerID=8YFLogxK

المؤلفون: Lara Jaramillo, Juan de, Guerra Sánchez, Esther, Bottoni, Paolo

المساهمون: UAM. Departamento de Ingeniería Informática

مصطلحات موضوعية: Model-Driven Engineering, Graph Transformation, Software Language Engineering, Product Lines, Informática

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

Relation: Software and Systems Modeling (SoSyM); https://doi.org/10.1007/s10270-024-01179-9; Gobierno de España. PID2021-122270OB-I00; Gobierno de España. RED2022-134647-T; Software and Systems Modeling (SoSyM) (2024): 28 May 2024; http://hdl.handle.net/10486/713010; 30

الاتاحة: http://hdl.handle.net/10486/713010
https://doi.org/10.1007/s10270-024-01179-9

المؤلفون: Faranak Nejati, Nor Asilah Wati Abdul Hamid, Sina Zangbari Koohi, Zahra Rahmani Zadeh

المصدر: IEEE Access, Vol 11, Pp 75748-75760 (2023)

مصطلحات موضوعية: Artificial intelligence, raccoon optimization algorithm, software verification, model checking, graph transformation systems, state space explosion, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10171351/; https://doaj.org/toc/2169-3536

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

المؤلفون: Gaide, Maxime, Marcheix, David, Arnould, Agnès, Skapin, Xavier, Belhaouari, Hakim, Jean, Stéphane

المساهمون: École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Laboratoire d'informatique et d'automatique pour les systèmes (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles équipe du LIAS (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Université de Poitiers - Faculté de Sciences fondamentales et appliquées, Université de Poitiers = University of Poitiers (UP), Synthèse et analyse d'images (XLIM-ASALI), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Ministère

المصدر: Computer Graphics and Visual Computing (CGVC) ; Computer Graphics & Visual Computing ; https://hal.science/hal-04228069 ; Computer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩

مصطلحات موضوعية: Topology-based modeling, Topological change detection, Static analysis, Graph transformation rules, Generalized maps, [INFO]Computer Science [cs]

جغرافية الموضوع: Aberystwyth, Wales, United Kingdom

Relation: hal-04228069; https://hal.science/hal-04228069; https://hal.science/hal-04228069/document; https://hal.science/hal-04228069/file/automatic_detection_of_topological_events_in_modeling_operations.pdf

الاتاحة: https://hal.science/hal-04228069
https://hal.science/hal-04228069/document
https://hal.science/hal-04228069/file/automatic_detection_of_topological_events_in_modeling_operations.pdf
https://doi.org/10.2312/cgvc20231186

المؤلفون: Behr, Nicolas, Harmer, Russ

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Preuves et Langages (PLUME), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ANR-22-CE48-0015,CoREACT,Réécriture basée sur Coq : vers une théorie des catégories appliquée exécutable(2022)

المصدر: 16th International Conference on Graph Transformation (ICGT 2023)
https://hal.science/hal-04177321
16th International Conference on Graph Transformation (ICGT 2023), Jul 2023, Leicester, United Kingdom. pp.281-291, ⟨10.1007/978-3-031-36709-0_15⟩

مصطلحات موضوعية: graph transformation, collaborative mathematics, formalised mathematics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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

Time: Leicester, United Kingdom

الاتاحة: https://hal.science/hal-04177321
https://hal.science/hal-04177321v1/document
https://hal.science/hal-04177321v1/file/ICGT_2023.pdf
https://doi.org/10.1007/978-3-031-36709-0_15

المؤلفون: Pavlova, Siyana, Amblard, Maxime, Guillaume, Bruno

المساهمون: Semantic Analysis of Natural Language (SEMAGRAMME), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), ANR-20-THIA-0010,LOR-AI,Lorraine Artificicial Intelligence(2020)

المصدر: Proceedings of The 15th International Conference on Computational Semantics (IWCS 2023) ; The 15th International Conference on Computational Semantics (IWCS 2023) ; https://inria.hal.science/hal-04129563 ; The 15th International Conference on Computational Semantics (IWCS 2023), Jun 2023, Nancy, France

مصطلحات موضوعية: abstract meaning representation, discourse representation structure, graph transformation, semantic representation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

جغرافية الموضوع: Nancy, France

الاتاحة: https://inria.hal.science/hal-04129563
https://inria.hal.science/hal-04129563v2/document
https://inria.hal.science/hal-04129563v2/file/Bridging_Semantic_Frameworks__mapping_DRS_onto_AMR%20%282%29.pdf

المؤلفون: El Ayeb, Safa, Hemery, Baptiste, Jeanne, Fabrice, Charrier, Christophe, Cherrier, Estelle, Pawlowski

المساهمون: Equipe SAFE - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Orange Labs Caen, Orange Labs

المصدر: 2022 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM)
https://normandie-univ.hal.science/hal-03948965
2022 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), Nov 2022, Istanbul, Turkey

مصطلحات موضوعية: Social Network Analysis Overlapping community detection multigraph graph transformation Financial service, Social Network Analysis, Overlapping community detection, multigraph, graph transformation, Financial service, [PHYS.PHYS.PHYS-DATA-AN]Physics [physics]/Physics [physics]/Data Analysis, Statistics and Probability [physics.data-an], [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]

جغرافية الموضوع: Istanbul, Turkey

Relation: hal-03948965; https://normandie-univ.hal.science/hal-03948965; https://normandie-univ.hal.science/hal-03948965/document; https://normandie-univ.hal.science/hal-03948965/file/ASONAM_2022.pdf

الاتاحة: https://normandie-univ.hal.science/hal-03948965
https://normandie-univ.hal.science/hal-03948965/document
https://normandie-univ.hal.science/hal-03948965/file/ASONAM_2022.pdf

المؤلفون: Overbeek, Roy, Endrullis, Jörg

المساهمون: Fernández, Maribel, Poskitt, Christopher M.

المصدر: Overbeek , R & Endrullis , J 2023 , Termination of Graph Transformation Systems Using Weighted Subgraph Counting . in M Fernández & C M Poskitt (eds) , Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13961 LNCS , Springer Science and Business Media Deutschland GmbH , pp. 81-101 , 16th International Conference on Graph Transformation, ICGT 2023 , Leicester , United Kingdom , 19/07/23 . https://doi.org/10.1007/978-3-031-36709-0_5

مصطلحات موضوعية: Graph transformation, Pullback-Pushout, Termination

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

Relation: urn:ISBN:9783031367083

الاتاحة: https://research.vu.nl/en/publications/7a94e16f-c01b-485f-9b10-0d41d61283e8
https://doi.org/10.1007/978-3-031-36709-0_5
https://hdl.handle.net/1871.1/7a94e16f-c01b-485f-9b10-0d41d61283e8
https://research.vu.nl/ws/files/337781879/Termination_of_Graph_Transformation_Systems_Using_Weighted_Subgraph_Counting.pdf
http://www.scopus.com/inward/record.url?scp=85169071798&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85169071798&partnerID=8YFLogxK

المؤلفون: Woods, Esmae J, Kannan, Deepti, Sharpe, Daniel J, Swinburne, Thomas D, Wales, David J

المصدر: essn: 1471-2962 ; nlmid: 101133385

مصطلحات موضوعية: Markov chains, dimensionality reduction, energy landscapes, graph transformation, rare events

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

Relation: https://www.repository.cam.ac.uk/handle/1810/350399

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/350399

المؤلفون: POSKITT, Christopher M., PLUMP, Detlef

المصدر: Research Collection School Of Computing and Information Systems

مصطلحات موضوعية: Program logics, correctness proofs, under-approximate reasoning, monadic second-order logic, graph transformation, Software Engineering

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

Relation: https://ink.library.smu.edu.sg/sis_research/7335; https://ink.library.smu.edu.sg/context/sis_research/article/8338/viewcontent/mso_incorrectness_logic_jlamp23.pdf

الاتاحة: https://ink.library.smu.edu.sg/sis_research/7335
https://doi.org/10.1016/j.jlamp.2022.100825
https://ink.library.smu.edu.sg/context/sis_research/article/8338/viewcontent/mso_incorrectness_logic_jlamp23.pdf

المؤلفون: Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, Masood Ashraf Ali

المصدر: Axioms; Volume 12; Issue 3; Pages: 230

مصطلحات موضوعية: dynamic timed automata, formal modeling and verification, graph transformation, reconfigurable systems, timed automata, UPPAAL

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

Relation: https://dx.doi.org/10.3390/axioms12030230

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

المؤلفون: Arnould, Agnès, Belhaouari, Hakim, Bellet, Thomas, Le Gall, Pascale, Pascual, Romain

المساهمون: Université de Poitiers - Faculté de Sciences fondamentales et appliquées, Université de Poitiers = University of Poitiers (UP), Synthèse et analyse d'images (XLIM-ASALI), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay

المصدر: ISSN: 0960-1295.

مصطلحات موضوعية: DPO graph transformation, Topology-based geometric modeling, Graph transformation with variables, Generalized maps, Consistency preservation, Static analysis, [INFO]Computer Science [cs]

Relation: hal-03821122; https://hal.science/hal-03821122; https://hal.science/hal-03821122/document; https://hal.science/hal-03821122/file/2022Geometry.pdf

الاتاحة: https://hal.science/hal-03821122
https://hal.science/hal-03821122/document
https://hal.science/hal-03821122/file/2022Geometry.pdf
https://doi.org/10.1017/S0960129522000226

المؤلفون: Alf Kimms

المصدر: Electronic Journal of Graph Theory and Applications, Vol 9, Iss 1, Pp 157-174 (2021)

مصطلحات موضوعية: collatz graph, graph transformation, 3x+1 problem, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.ejgta.org/index.php/ejgta/article/view/394; https://doaj.org/toc/2338-2287

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

المؤلفون: 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)

المصدر: https://hal.univ-grenoble-alpes.fr/hal-03969945 ; 2023.

مصطلحات موضوعية: Algebraic Graph Transformation, Graph Structures, Typed Graphs, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]

الاتاحة: https://hal.univ-grenoble-alpes.fr/hal-03969945
https://hal.univ-grenoble-alpes.fr/hal-03969945v1/document
https://hal.univ-grenoble-alpes.fr/hal-03969945v1/file/version-hal.pdf

المؤلفون: Raida Elmansouri, Said Meghzili, Allaoua Chaoui, Aissam Belghiat, Omar Hedjazi

المصدر: Jordanian Journal of Computers and Information Technology, Vol 6, Iss 4, Pp 326-344 (2020)

مصطلحات موضوعية: model-driven engineering, tgg, xpand, uml activity diagrams, pi-calculus, model transformation, graph transformation, software systems, Information technology, T58.5-58.64, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://jjcit.org/paper/111; https://doaj.org/toc/2413-9351; https://doaj.org/toc/2415-1076

URL الوصول: https://doaj.org/article/77a4f7ad4f754e4db74bbbf08ba43871

المؤلفون: N. Rezaee, H. Momeni

المصدر: Journal of Artificial Intelligence and Data Mining, Vol 8, Iss 2, Pp 189-199 (2020)

مصطلحات موضوعية: software verification, model checking, state space explosion, meta-heuristic approaches, graph transformation system, Information technology, T58.5-58.64, Computer software, QA76.75-76.765

وصف الملف: electronic resource

Relation: http://jad.shahroodut.ac.ir/article_1664_8d28118e956a6dd570d11c401d1566e4.pdf; https://doaj.org/toc/2322-5211; https://doaj.org/toc/2322-4444

URL الوصول: https://doaj.org/article/78050ff36c054ec4858381d50e835a3b

المؤلفون: Zhe LYU, Yubin GAO

المصدر: Journal of Hebei University of Science and Technology, Vol 41, Iss 2, Pp 148-157 (2020)

مصطلحات موضوعية: graph theory, four-leaf graph, distance matrix, eigenvalue, graph transformation, Technology

وصف الملف: electronic resource

Relation: http://xuebao.hebust.edu.cn/hbkjdx/ch/reader/create_pdf.aspx?file_no=b202002005&flag=1&journal_; https://doaj.org/toc/1008-1542

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

المؤلفون: Pascual, Romain, Le Gall, Pascale, Arnould, Agnès, Belhaouari, Hakim

المساهمون: Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Université de Poitiers - Faculté de Sciences fondamentales et appliquées, Université de Poitiers = University of Poitiers (UP), Synthèse et analyse d'images (XLIM-ASALI), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.science/hal-03380327 ; Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩.

مصطلحات موضوعية: Rule schemes, Combinatorial maps, Consistency preservation, Topology-based geometric modeling, DPO graph transformation, [INFO]Computer Science [cs]

Relation: hal-03380327; https://hal.science/hal-03380327; https://hal.science/hal-03380327/document; https://hal.science/hal-03380327/file/Topological_Consistency_Preservation_with_Graph_Transformation_Schemes.pdf

الاتاحة: https://hal.science/hal-03380327
https://hal.science/hal-03380327/document
https://hal.science/hal-03380327/file/Topological_Consistency_Preservation_with_Graph_Transformation_Schemes.pdf
https://doi.org/10.1016/j.scico.2021.102728