close
1.

電子ブック

EB
David Hutchison, Hartmut Ehrig, Takeo Kanade, Hans-J?rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
WMC 2004, Takeo Kanade, Gian Carlo Mauri, Gheorghe Paun, Mario J. P??rez-Jim??nez, Grzegorz Rozenberg, Arto Salomaa
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

EB
Hartmut Ehrig, Reiko Heckel, Takeo Kanade, Grzegorz Rozenberg, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック

EB
Andrea Corradini, Hartmut Ehrig, Takeo Kanade, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Cristian S. Calude, Jos? F?lix Costa, Rudolf Freund, Takeo Kanade, Marion Oswald, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
6.

電子ブック

EB
Cristian S. Calude, Jos? F?lix Costa, Nachum Dershowitz, Elisabete Freire, Takeo Kanade, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
7.

電子ブック

EB
Cristian S. Calude, Masami Hagiya, Takeo Kanade, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
A Computational Journey into Nonlinearity / Françoise Chatelin
Computable Scientists, Uncomputable World (Abstract) / José Félix Costa
Regular Contributions
Finite State Transducers with Intuition / Ruben Agadzanyan ; Rusinš Freivalds
Reversibility and Determinism in Sequential Multiset Rewriting / Artiom Alhazov ; Rudolf Freund ; Kenichi Morita
Synchronization in P Modules / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
On Universality of Radius 1/2 Number-Conserving Cellular Automata / Katsunobu Imai
DNA Origami as Self-assembling Circuit Boards / Kyoung Nan Kim ; Koshala Sarveswaran ; Lesli Mark ; Marya Lieberman
Tug-of-War Model for Multi-armed Bandit Problem / Song-Ju Kim ; Masashi Aono ; Masahiko Hara
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 / Genaro J. Martínez ; Andrew Adamatzky ; Maurice Margenstern
Solving Partial Differential Equation via Stochastic Process / Jun Ohkubo
Postselection Finite Quantum Automata / Oksana Scegulnaja-Dubrovska ; Lelde Lace
A New Representation of Chaitin ? Number Based on Compressible Strings / Kohtaro Tadaki
Quantum Query Algorithms for Conjunctions / Alina Vasilieva ; Taisia Mischenko-Slatenkova
Universal Continuous Variable Quantum Computation in the Micromaser / Rob C. Wagner ; Mark S. Everitt ; Viv M. Kendon ; Martin L. Jones
Quantum Computation with Devices Whose Contents Are Never Read / Abuzer Yakaryilmaz ; A. C. Cem Say
The Extended Glider-Eater Machine in the Spiral Rule / Liang Zhang
Posters
Formalizing the Behavior of Biological Processes with Mobility / Bogdan Aman ; Gabriel Ciobanu
Quantum Finite State Automata over Infinite Words / Ilze Dzelme-Berzina
A Geometrical Allosteric DNA Switch / Anthony J. Genot ; Jon Bath ; Andrew J. Turberfield
Properties of "Planar Binary (Butchi Number)" / Yuuki Iwabuchi ; Junichi Akita
Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experimentation / Hywel Morgan
Inference with DNA Molecules / Alfonso Rodríguez-Patón ; José María Larrea ; Iñaki Sainz de Murieta
A Network-Based Computational Model with Learning / Hideaki Suzuki ; Hiroyuki Ohsaki ; Hidefumi Sawai
Image Processing with Neuron-Like Branching Elements (POSTER) / Hisako Takigawa-Imamura ; Ikuko N. Motoike
Author Index
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
8.

電子ブック

EB
Hartmut Ehrig, Takeo Kanade, Arend Rensink, Grzegorz Rozenberg, Andy Sch?rr
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann
Graphs and Logic / Session 1:
Graph Transformation Units Guided by a SAT Solver / Hans-Jörg Kreowski ; Sabine Kuske ; Robert Wille
Delaying Constraint Solving in Symbolic Graph Transformation / Fernando Orejas ; Leen Lambers
A Dynamic Logic for Termgraph Rewriting / Philippe Balbiani ; Rachid Echahed ; Andreas Herzig
Behavioural Analysis / Session 2:
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes / Victor Khomenko
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars / Paolo Baldan ; Alessandro Bruni ; Andrea Corradini ; Barbara König ; Stefan Schwoon
Verification of Graph Transformation Systems with Context-Free Specifications
Saturated LTSs for Adhesive Rewriting Systems / Filippo Bonchi ; Fabio Gadducci ; Giacoma Valentina Monreale ; Ugo Montanari
A Hoare Calculus for Graph Programs / Christopher M. Poskitt ; Detlef Plump
Models and Model Transformation / Session 3:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / Hartmut Ehrig ; Ulrike Golas
Conflict Detection for Model Versioning Based on Graph Modifications / Gabriele Taentzer ; Claudia Ermel ; Philip Langer ; Manuel Wimmer
A Component Concept for Typed Graphs with Inheritance and Containment Structures / Stefan Jurack
Combining Termination Criteria by Isolating Deletion / Dénes Bisztray ; Reiko Heckel
Algebraic Foundations / Session 4:
Graph Rewriting in Span-Categories / Michael Löwe
Finitary M-Adhesive Categories / Benjamin Braatz ; Karsten Gabriel
Hereditary Pushouts Reconsidered / Tobias Heindel
Applications / Session 5:
Graph Transformation for Domain-Specific Discrete Event Time Simulation / Juan de Lara ; Esther Guerra ; Artur Boronat ; Paolo Torrini
Counterpart Semantics for a Second-Order ?-Calculus / Alberto Lluch Lafuente ; Andrea Vandin
Declarative Mesh Subdivision Using Topological Rewriting in MGS / Antoine Spicher ; Olivier Michel ; Jean-Louis Giavitto
A Model for Distribution and Revocation of Certificates / Åsa Hagström ; Francesco Parisi-Presicce
Rule Composition / Session 6:
Local Confluence for Rules with Nested Application Conditions / Annegret Habel
Multi-Amalgamation in Adhesive Categories
Amalgamating Pushout and Pullback Graph Transformation in Collagories / Wolfram Kahl
Doctoral Symposium
ICGT 2010 Doctoral Symposium (Introduction) / Maarten de Mol
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment / Enrico Biermann
Recognizable Graph Languages for the Verification of Dynamic Systems / Christoph Blume
Stochastic Modelling and Simulation of Dynamic Resource Allocation / Adwoa Donyina
Bisimulation Theory for Graph Transformation Systems / Mathias Hülsbusch
Realizing Impure Functions in Interaction Nets / Eugen Jiresch
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems / Tony Modica
LTS Semantics for Process Calculi from Their Graphical Encodings
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems / Fawad Qayum
Static Type Checking of Model Transformation Programs / Hendrik Radke ; Zoltán Ujhelyi
Using Graph Transformations and Graph Abstractions for Software Verification / Eduardo Zambon
Author Index
Invited Speakers
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann
9.

電子ブック

EB
Cristian S. Calude, Takeo Kanade, Grzegorz Rozenberg, Arto Salomaa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Formal Languages and Automata
Ancient Typefaces and Parametric Weighted Finite Automata / Jürgen Albert ; German Tischler
On Language Decompositions and Primality / Michael Domaratzki ; Kai Salomaa
A Unifying Kleene Theorem for Weighted Finite Automata / Zoltán Ésik ; Werner Kuich
Local Squares, Periodicity and Finite Automata / Mari Huova ; Juhani Karhumäki ; Aleksi Saarela ; Kalle Saari
P and dP Automata: A Survey / Gheorghe Paun ; Mario J. Pérez-Jiménez
On the General Coloring Problem / N. W. Sauer
Learning
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities / Gitta Domik ; Gerhard Fischer
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation / Erik Duval ; Katrien Verbert ; Joris Klerkx
Why E-Learning as It Stands Is Not Enough / Narayanan Kulathuramaiyer ; Hermann Maurer
The Practice of Informatics
Domains: Their Simulation, Monitoring and Control-A Divertimento of Ideas and Suggestions / Dines Bjørner
Roots and Stimuli to a New Perception of Informatics / Jozef Gruska
Towards a New Shape Description Paradigm Using the Generative Modeling Language / Sven Havemann ; Dieter W. Fellner
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities / Jan van Leeuwen ; Jirí Wiedermann
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings / Khaireel A. Mohamed ; Thomas Ottmann
TGV-Fusion / Thomas Pock ; Lukas Zebedin ; Horst Bischof
Secure and Privacy-Preserving eGovernment-Best Practice Austria / Karl Christian Posch ; Reinhard Posch ; Arne Tauber ; Thomas Zefferer ; Bernd Zwattendorfer
The Quest for Uncertainty / Jörg Zimmermann ; Armin B. Cremers
Author Index
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
10.

電子ブック

EB
Cristian S. Calude, Takeo Kanade, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Unconventional Optimizer Development / David Corne
A Formal Framework for Bioprocesses in Living Cells / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Quantum Information - A Tutorial / Mika Hirvensalo
Weighted Finite Automata: Computing with Different Topologies / Juhani Karhumäki ; Turo Sallinen
Tutorial on Cellular Automata / Nicolas Ollinger
Membrane Computing at Twelve Years (Back to Turku) / Gheorghe Paun
Membrane Computing (Tutorial) / Ignacio Pérez-Huriado ; Mario J. Pérez-Jiménez ; Agustín Riscos-Núñez ; Francisco J. Romero-Campero
Regular Contributions
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits / Alastair A. Abbott ; Cristian S. Calude
Robustness of Cellular Automata in the Light of Asynchronous Information Transmission / Olivier Bouré ; Nazim Fatès ; Vincent Chevrier
Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound / Adán Cabello ; Joost J. Joosten
Can Anything from Noether's Theorem Be Salvaged for Discrete Dynamical Systems? / Silvio Capobianco ; Tommaso Toffoli
On Normal Forms for Networks of Evolutionary Processors / Jürgen Dassow ; Florin Manea ; Bianca Truthe
Geometrical Accumulations and Computably Enumerable Real Numbers / Jérôme Durand-Lose
Heterotic Computing / Viv Kendon ; Angelika Sebald ; Susan Stepney ; Matthias Bechmann ; Peter Hines ; Robert C. Wagner
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution / Takahiro Kubota ; Yoshihiko Kakutani ; Go Kato ; Yasuhito Kawano
Geometric Computations by Broadcasting Automata on the Integer Grid / Russell Martin ; Thomas Nickson ; Igor Potapov
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality / Naya Nagy ; Selim G. Akl
BFS Solution for Disjoint Paths in P Systems / Radu Nicolescu ; Huiling Wu
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata / Primoz Pecar ; Iztok Lebar Bajec
A Universal Flying Amorphous Computer / Lukáš Petru ; Jirí Wiedermann
Computation with Narrow CTCs / A.C. Cem Say ; Abuzer Yakaryilmaz
Extended Watson-Crick L Systems with Regular Trigger Languages / David Sears ; Kai Salomaa
Computing with Planar Toppling Domino Arrangements / William M. Stevens
Increasing Fault-Tolerance in Cellular Automata-Based Systems / Ludek Zaloudek ; Lukáš Sekanina
Author Index
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼