Wszystkie pola: transformation graph

Skocz do pozycji: 1.

Tytuł:: Lazy Graph Transformation
Autorzy:: Orejas, F.
Lambers, L.
Data publikacji:: 2012
Słowa kluczowe:: attributed graph transformation
symbolic graph transformation
lazy transformation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Full graph method of switched-capacitor circuit analysis
Autorzy:: Brtnik, B.
Data publikacji:: 2012
Słowa kluczowe:: teoria grafów
kondensator przełączany
M-C graph
transformation graph; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Graph Transformation with Time
Autorzy:: Gyapay, S.
Varró, D.
Heckel, R.
Data publikacji:: 2003
Słowa kluczowe:: graph transformation
time
concurrency; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Stochastic Graph Transformation Systems
Autorzy:: Heckel, R.
Lajios, G.
Menge, S.
Data publikacji:: 2006
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Locally Derivable Graphs
Autorzy:: Mazurkiewicz, A.
Data publikacji:: 2007
Słowa kluczowe:: graphs
graph transformation
local computations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Designing Aalto lamps by means of attributed graph grammars
Autorzy:: Grabska, E.
Gurba, M.
Strug, B.
Data publikacji:: 1998
Słowa kluczowe:: graph transformation
design
aesthetics
rendering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A generative design method based on a graph transformation system
Autorzy:: Strug, Barbara
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2021
Wydawca:: Springer
Słowa kluczowe:: design patterns
graph transformation rules
generative design
graph structures; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Abstraction and Control for Shapely Nested Graph Transformation
Autorzy:: Hoffmann, B.
Data publikacji:: 2003
Słowa kluczowe:: graph transformation
nested graph
diagram
graph typing
abstraction
control; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Autonomous Units to Model Interacting Sequential and Parallel Processes
Autorzy:: Hölscher, K.
Kreowski, H-J.
Kuske, S.
Data publikacji:: 2009
Słowa kluczowe:: autonomous units
graph transformation
formal semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Hoare-Style Verification of Graph Programs
Autorzy:: Poskitt, C. M.
Plump, D.
Data publikacji:: 2012
Słowa kluczowe:: Graph Programs
graph transformation
abstract syntax; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Application of attributed graph grammars to the synthesis of visual models of plants
Autorzy:: Strug, B.
Data publikacji:: 1999
Słowa kluczowe:: graph transformation
design
modelling plants
rendering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: From class diagrams to relational tables : a graph transformation-based approach
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Real-time ice visualisation on the GPU
Autorzy:: Szajerman, D.
Pietruszka, M.
Data publikacji:: 2008
Słowa kluczowe:: wizualizacja
graphics hardware
visualisation
rendering
graph transformation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Context-exploiting shapes for diagram transformation
Autorzy:: Drewes, F.
Hoffmann, B.
Minas, M.
Data publikacji:: 2003
Słowa kluczowe:: graph transformation
diagram language
visual programming
data type; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Graph transformation systems for modeling three dimensional finite element method : part II
Autorzy:: Grabska, Ewa
Ryszka, Iwona
Paszyńska, Anna
Sieniek, Marcin
Paszyński, Maciej
Data publikacji:: 2015
Słowa kluczowe:: graph transformation system
finite element method
automatic h adaptivity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Graph transformation systems for modeling three dimensional finite element method : part I
Autorzy:: Paszyńska, Anna
Grabska, Ewa
Sieniek, Marcin
Ryszka, Iwona
Paszyński, Maciej
Data publikacji:: 2015
Słowa kluczowe:: graph transformation system
automatic h adaptivity
finite element method; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Designing plots for multiplayer games with the use of graph transformation rules
Autorzy:: Grabska-Gradzińska, Iwona
Grabska, Ewa
Nowak, Leszek
Palacz, Wojciech
Data publikacji:: 2021
Wydawca:: Springer
Słowa kluczowe:: collaborative game plot design
multiple user gaming
graph transformation rules; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part I
Autorzy:: Ryszka, I.
Paszyńska, A.
Grabska, E.
Sieniek, M.
Paszyński, M.
Data publikacji:: 2015
Słowa kluczowe:: graph transformation system
automatic h adaptivity
finite element method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part 2
Autorzy:: Ryszka, I.
Paszyńska, A.
Grabska, E.
Sieniek, M.
Paszyński, M.
Data publikacji:: 2015
Słowa kluczowe:: graph transformation system
automatic h adaptivity
finite element method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Transformation of Typed Composite Graphs with Inheritance and Containment Structures
Autorzy:: Jurack, S.
Taentzer, G.
Data publikacji:: 2012
Słowa kluczowe:: graph transformation
distributed graph
composite modeling
model-driven development; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Counterpart Semantics for a Second-Order μ-Calculus
Autorzy:: Gadducci, F.
Lafuente, A. L.
Vandin, A.
Data publikacji:: 2012
Słowa kluczowe:: quantified u-calculi
counterpart semantics
modal logics
graph transformation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Automatic bridge between BPMN models and UML activity diagrams based on graph transformation
Autorzy:: Rahmoune, Yasmina
Chaoui, Allaoua
Data publikacji:: 2022
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: MDE
BPMN
business process models
UML-AD
meta-modeling
graph grammars
models transformation
AToM3; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: From Class Diagrams to Relational Tables: A Graph Transformation-based Approach
Autorzy:: Rafe, V.
Jamali, S.
Rahmani, M.
Mahdian, F.
Data publikacji:: 2011
Słowa kluczowe:: transformacja grafu
tablice relacyjne
elektrotechnika
graph transformation systems
class diagram
electrical technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Autorzy:: Ehrig, H.
Padberg, J.
Prange, U.
Data publikacji:: 2006
Słowa kluczowe:: high-level replacement systems
adhesive categories
adhesive HLR categories
graph transformation
local confluence of transformations
Critical Pair Lemma; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: On the support UML diagrams understanding during the software maintenance
Autorzy:: Kotulski, L.
Basiura, A.
Data publikacji:: 2007
Słowa kluczowe:: graph transformation
UML (United Modelling Language)
image understanding
software visualization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Diagrammatic spreadsheet
Autorzy:: Le, T. L.
Kulpa, Z.
Data publikacji:: 2003
Słowa kluczowe:: diagrams
diagrammatic representation
diagrammatic reasoning
graph transformation
diagrammatic speadsheed
CP -graphs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Automatic bridge between BPMN models and UML activity diagrams based on graph transformation
Autorzy:: Rahmoune, Yasmina
Chaoui, Allaoua
Data publikacji:: 2022
Słowa kluczowe:: MDE
BPMN
business process models
UML-AD
meta-modeling
graph grammars
models transformation
AToM3; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
Autorzy:: Elmansouri, Raida
Meghzili, Said
Chaoui, Allaoua
Data publikacji:: 2021
Słowa kluczowe:: model-driven engineering
graph transformation
transformation correctness
model checker
groove
software systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Parallel allocation of the distributed software using node label controlled graph grammars
Autorzy:: Kotulski, L.
Data publikacji:: 2008
Słowa kluczowe:: przekształcenia grafowe
systemy rozproszone
alokacja programowa
graph transformation
distributed computing
allocation control; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories
Autorzy:: Ehrig, H.
Ehrig, K.
Prange, U.
Taentzer, G.
Data publikacji:: 2006
Słowa kluczowe:: typed attributed graph transformation
adhesive HLR categories
local confluence of transformations
Critical Pair Lemma; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Adhesivity with Partial Maps instead of Spans
Autorzy:: Heindel, T.
Data publikacji:: 2012
Słowa kluczowe:: category theory
double pushout rewriting
graph transformation
single pushout rewriting
adhesive categories; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Autorzy:: Ehrig, H.
Ehrig, K.
Habel, A.
Pennemann, K-H.
Data publikacji:: 2006
Słowa kluczowe:: graph transformation
constraints
application conditions
graphs
high-level structures
adhesive HLR categories; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
Autorzy:: Elmansouri, Raida
Meghzili, Said
Chaoui, Allaoua
Data publikacji:: 2021
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: model-driven engineering
graph transformation
transformation correctness
model checker
groove
software systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Graph transformations in architectural design
Autorzy:: Szuba, J.
Borkowski, A.
Data publikacji:: 2003
Słowa kluczowe:: graph transformation
architectural design
visualization tool
transformacja graficzna
styl architektoniczny
narzędzie do wizualizacji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Matrix Graph Grammars with Application Conditions
Autorzy:: Velasco, P.P.P.
Data publikacji:: 2010
Słowa kluczowe:: graph transformation
matrix graph grammars
application conditions
monadic 2nd-order logic
graph dynamics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Pattern-based Rewriting through Abstraction
Autorzy:: Bottoni, P.
Guerra, E.
de Lara, J.
Data publikacji:: 2016
Słowa kluczowe:: model-based development
modelling patterns
graphs
trees
category theory
graph transformation
refactoring
pattern variants; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: GRADIS - środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
Autorzy:: Kotulski, L.
Data publikacji:: 2011
Słowa kluczowe:: transformacje grafowe
przetwarzanie rozproszone
systemy agentowe
graph transformation
distributed and parallel processing
multi-agent system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: GRADIS - środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
GRADIS - environment for Distributed Graph Transformation (from the five year perspective)
Autorzy:: Kotulski, L.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: transformacje grafowe
przetwarzanie rozproszone
systemy agentowe
graph transformation
distributed and parallel processing
multi-agent system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Formal Analysis of Service-oriented Architectures
Autorzy:: Rafe, V.
Data publikacji:: 2011
Słowa kluczowe:: software
transformacja grafu
elektrotechnika
elektroenergetyka
graph transformation
SOA
verification
Bogor
electrical technology
electrical power engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Supporting Product Modelling with “GraphTool”
Autorzy:: Palacz, w.
Paszyńska, A.
Ślusarczyk, G.
Strug, B.
Grabska, E.
Data publikacji:: 2017
Słowa kluczowe:: graphical IDE
graph transformation systems
composite graphs
layered graphs
hierarchical graphs
architectural design
computational grids
Finite Element Method computations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Extending the MAX Algorithm for Maximum Independent Set
Autorzy:: Lê, Ngoc C.
Brause, Christoph
Schiermeyer, Ingo
Data publikacji:: 2015-05-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: maximum independent set
stable set
stability number
independence number
reduction
graph transformation
MAX Algorithm
MIN Algorithm
Vertex Order Algorithm; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Supporting product modelling with "GraphTool"
Autorzy:: Ślusarczyk, Grażyna
Paszyńska, Anna
Palacz, Wojciech
Grabska, Ewa
Strug, Barbara
Data publikacji:: 2017
Słowa kluczowe:: layered graphs
graph transformation systems
composite graphs
architectural designs
graphical IDE
Finite Element Method computations
hierarchical graphs
computational grids; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Review of The Data Modeling Standards and Data Model Transformation Techniques
Autorzy:: Jaskierny, Leszek
Data publikacji:: 2018
Słowa kluczowe:: business standards
interoperability
canonical data models
graphs
graph databases
graph transformation
standardy biznesowe
interoperacyjność
modele danych kanonicznych
wykresy
bazy danych wykresów
transformacje grafowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Review of The Data Modeling Standards and Data Model Transformation Techniques
Autorzy:: Jaskierny, Leszek
Data publikacji:: 2018
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: business standards
interoperability
canonical data models
graphs
graph databases
graph transformation
standardy biznesowe
interoperacyjność
modele danych kanonicznych
wykresy
bazy danych wykresów
transformacje grafowe; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Transformacja grafu hybrydowego w strukturę schematu blokowego jako metoda numeryczna analizy drgań sprzężonych układów mechanicznych
Autorzy:: Świder, J.
Wszołek, G.
Data publikacji:: 2002
Słowa kluczowe:: drgania sprzężonych układów mechanicznych
analiza numeryczna
transformacja grafu hybrydowego
GRAFSIM
coupled vibrating systems
numerical analysis
transformation of matrix hybrid graph; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
Autorzy:: Ehrig, H.
Golas, U.
Habel, A.
Lambers, L.
Orejas, F.
Data publikacji:: 2012
Słowa kluczowe:: M-adhesive transformation systems
M-adhesive categories
graph replacement categories
nested application conditions
embedding
critical pairs
local confluence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Textual representation of pushout transformation rules
Autorzy:: Grabska-Gradzińska, Iwona
Palacz, Wojciech
Data publikacji:: 2020
Wydawca:: Springer
Słowa kluczowe:: textual representation of graph rules
single-pushout transformation rules
cypher query language; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Semantic-driven graph transformations in floor plan design
Autorzy:: Strug, Barbara
Paszyńska, Anna
Palacz, Wojciech
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2023
Słowa kluczowe:: graph grammar
floor plan design
embedding transformation
attributed graph; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Heterogeneous graph grammars synchronization in CAD systems supported by hypergraph representations of buildings
Autorzy:: Strug, Barbara
Kotulski, Leszek
Sędziwy, Adam
Data publikacji:: 2014
Słowa kluczowe:: hypergraph representation of buildings
hypergraph transformation
graph grammar synchronization
building information modeling; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: An Improved Generative Design Approach based on Graph Grammar for Pattern Drawing
Autorzy:: Liu, Yufeng
Zhou, Yangchen
Yang, Fan
Li, Song
Wu, Jun
Data publikacji:: 2024
Słowa kluczowe:: generative design
graph grammar
shape grammar
node transformation rules
pattern drawing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "transformation graph" wg kryterium: Wszystkie pola