Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A tutorial on graph transformation
Graph transformation or graph rewriting has been developed for nearly 50 years and has
become a mature and manifold formal technique. Basically, rewrite rules are used to …
become a mature and manifold formal technique. Basically, rewrite rules are used to …
[KİTAP][B] Graph transformation for software engineers: With applications to model-based development and domain-specific language engineering
R Heckel, G Taentzer - 2020 - Springer
The first part of the book presents the fundamentals in a precise, yet largely informal way.
Besides serving as prerequisite for describing the applications in the second part, it also …
Besides serving as prerequisite for describing the applications in the second part, it also …
Crystal graph neural networks for data mining in materials science
T Yamamoto - … for Mathematical and Computational Sciences, LLC, 2019 - researchgate.net
Abstract Machine learning methods have been employed for materials prediction in various
ways. It has recently been proposed that a crystalline material is represented by a …
ways. It has recently been proposed that a crystalline material is represented by a …
Generation of Sierpinski triangles: A case study for graph transformation tools
In this paper, we consider a large variety of solutions for the generation of Sierpinski
triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A …
triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A …
A computational design synthesis method for the generation of rigid origami crease patterns
L Zimmermann, K Shea… - Journal of …, 2022 - asmedigitalcollection.asme.org
Today most origami crease patterns used in technical applications are selected from a
handful of well-known origami principles. Computational algorithms capable of generating …
handful of well-known origami principles. Computational algorithms capable of generating …
Backwards reasoning for model transformations: Method and applications
Abstract Model transformations are key elements of model driven engineering. Current
challenges for transformation languages include improving usability (ie, succinct means to …
challenges for transformation languages include improving usability (ie, succinct means to …
Fusion grammars: a novel approach to the generation of graph languages
HJ Kreowski, S Kuske, A Lye - … Conference, ICGT 2017, Held as Part of …, 2017 - Springer
In this paper, we introduce the notion of fusion grammars as a novel device for the
generation of (hyper) graph languages. Fusion grammars are motivated by the observation …
generation of (hyper) graph languages. Fusion grammars are motivated by the observation …
Functional metamodels for systems and software
L Thiry, B Thirion - Journal of Systems and Software, 2009 - Elsevier
The modeling, analysis and design of systems is generally based on many formalisms to
describe discrete and/or continuous behaviors, and to map these descriptions into a specific …
describe discrete and/or continuous behaviors, and to map these descriptions into a specific …
Splicing/fusion grammars and their relation to hypergraph grammars
HJ Kreowski, S Kuske, A Lye - … Conference, ICGT 2018, Held as Part of …, 2018 - Springer
In this paper, we introduce splicing/fusion grammars as a device for generating hypergraph
languages. They generalize the formerly introduced notion of fusion grammars by adding …
languages. They generalize the formerly introduced notion of fusion grammars by adding …
Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms
L Abdenebaoui, HJ Kreowski - Logistics Research, 2016 - Springer
In this paper, we propose to employ the framework of graph-transformational swarms for the
modeling of dynamic logistic networks with decentralized processing and control. The …
modeling of dynamic logistic networks with decentralized processing and control. The …