Access the full text.
Sign up today, get DeepDyve free for 14 days.
T. Toffoli, N. Margolus (1987)
Cellular automata machines - a new environment for modeling
Pierre Reuille (2005)
Vers un modèle dynamique du méristème apical caulinaire d'Arabidopsis thaliana
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto (2010)
Declarative Mesh Subdivision Using Topological Rewriting in MGS
Olivier Michel, Antoine Spicher, Jean-Louis Giavitto (2009)
Rule-based programming for integrative biological modelingNatural Computing, 8
E. Kronheimer, R. Penrose (1967)
On the structure of causal spacesMathematical Proceedings of the Cambridge Philosophical Society, 63
D. Musser, Alexander Stepanov (1988)
Generic Programming
Jean-Louis Giavitto, Olivier Michel (2011)
MGS: a Programming Language for the Transformations of Topological Collections
L. Bombelli, L. Bombelli, J. Lee, J. Lee, D. Meyer, D. Meyer, R. Sorkin, R. Sorkin (1987)
Space-time as a causal set.Physical review letters, 59 5
P. Bourgine, A. Lesne (2011)
Morphogenesis : origins of patterns and shapes
R. Brockett (1991)
Dynamical systems that sort lists, diagonalize matrices, and solve linear programming problemsLinear Algebra and its Applications, 146
P. Panangaden (2014)
Causality in physics and computationTheor. Comput. Sci., 546
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto (2011)
Interaction-Based Simulations for Integrative Spatial Systems Biology
Antoine Spicher, Olivier Michel, M. Cieslak, Jean-Louis Giavitto, P. Prusinkiewicz (2008)
Stochastic P systems and the simulation of biochemical processes with dynamic compartmentsBio Systems, 91 3
Antoine Spicher, Olivier Michel (2005)
Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling
E. Tonti (2001)
A Direct Discrete Formulation of Field Laws: The Cell MethodCmes-computer Modeling in Engineering & Sciences, 2
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto (2004)
A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems
G. Paun (1999)
Computing with Membranes: An IntroductionBull. EATCS, 67
Martin Potier, Antoine Spicher, Olivier Michel (2013)
Topological computation of activity regionsProceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
Michael Henle (1978)
A combinatorial introduction to topology
Antoine Spicher, Sergey Verlan (2011)
Generalized Communicating P Systems Working in Fair Sequential ModeSci. Ann. Comput. Sci., 21
Julien Cohen (2003)
Typing rule-based transformations over topological collections
J. Munkres (1984)
Elements of algebraic topology
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher (2008)
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
A. Lindenmayer (1968)
Mathematical models for cellular interactions in development. II. Simple and branching filaments with two-sided inputs.Journal of theoretical biology, 18 3
J. Neumann, A. Burks (1967)
Theory Of Self Reproducing Automata
M. Desbrun, E. Kanso, Y. Tong (2005)
Discrete differential forms for computational modelingACM SIGGRAPH 2006 Courses
D. Gillespie (1977)
Exact Stochastic Simulation of Coupled Chemical ReactionsThe Journal of Physical Chemistry, 81
Antoine Spicher, Olivier Michel (2007)
Declarative modeling of a neurulation-like processBio Systems, 87 2-3
P. Prusinkiewicz, F. Samavati, Colin Smith, R. Karwowski (2003)
L-System Description of Subdivision CurvesInt. J. Shape Model., 9
J. Banâtre, D. Métayer (1993)
Programming by multiset transformationCommun. ACM, 36
T. Stützle (2009)
Ant Colony Optimization
Keye Martin, P. Panangaden (2004)
A Domain of Spacetime Intervals in General RelativityCommunications in Mathematical Physics, 267
D. Malament (1977)
The class of continuous timelike curves determines the topology of spacetimeJournal of Mathematical Physics, 18
G. Winskel (1986)
Event Structures
R. Backhouse, Patrik Jansson, J. Jeuring, L. Meertens (1998)
Generic Programming: An Introduction
A. Turing (1952)
The chemical basis of morphogenesisBulletin of Mathematical Biology, 52
M. Grandis (2003)
Ordinary and directed combinatorial homotopy, applied to image analysic and concurrencyHomology, Homotopy and Applications, 5
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher (2011)
Interaction based simulation of dynamical system with a dynamical structure (DS)2 in MGS
Jean-Louis Giavitto, Antoine Spicher (2008)
Topological rewriting and the geometrization of programmingPhysica D: Nonlinear Phenomena, 237
Jean-Louis Giavitto, Olivier Michel (2002)
The Topological Structures of Membrane ComputingFundam. Informaticae, 49
A. Lindenmayer (1968)
Mathematical models for cellular interactions in development. I. Filaments with one-sided inputs.Journal of theoretical biology, 18 3
L. Cardelli, P. Wegner (1985)
On understanding types, data abstraction, and polymorphismACM Comput. Surv., 17
R. Sorkin (2007)
Relativity Theory Does Not Imply that the Future Already Exists: A CounterexamplearXiv: General Relativity and Quantum Cosmology, 153
Craig Reynolds (1987)
Flocks, herds, and schools: a distributed behavioral modelSeminal graphics: pioneering efforts that shaped the field
J. Aspnes, E. Ruppert (2007)
An Introduction to Population ProtocolsBull. EATCS, 93
N. Dershowitz, J. Jouannaud (1991)
Rewrite Systems
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher (2013)
Unconventional and Nested Computations in Spatial ComputingInt. J. Unconv. Comput., 9
J. Jeuring, Patrik Jansson (1996)
Polytypic Programming
Pierre Reuille, Isabelle Bohn-Courseau, Karen Ljung, Halima, Morin, Nicolas Carraro, C. Godin, J. Traas (2013)
Computer simulations reveal novel properties of the cell-cell signaling network at the shoot apex in /Arabidopsis
A. Tucker (1933)
An Abstract Approach to ManifoldsAnnals of Mathematics, 34
T. Witten, L. Sander (1983)
Diffusion-limited aggregationPhysical Review B, 27
[The modeling and simulation of morphogenetic phenomena require to take into account the coupling between the processes that take place in a space and the modification of that space due to those processes, leading to a chicken-and-egg problem. To cope with this issue, we propose to consider a growing structure as the byproduct of a multitude of interactions between its constitutive elements. An interaction-based model of computation relying on spatial relationships is then developed leading to an original style of programming implemented in the MGS programming language. While MGS seems to be at first glance a domain specific programming language, its underlying interaction-based paradigm is also relevant to support the development of generic programming mechanisms. We show how the specification of space independent computations achieves polytypism and we develop a direct interpretation of well-known differential operators in term of data movements.]
Published: Jul 19, 2016
Keywords: Differential Calculus; Collection Type; Cell Space; Diffusion Limited Aggregation; Membrane Computing
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.