Clic on the top-level items to go to the corresponding web page. The readers understood that
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.
-
Dynamical Systems with a Dynamical Structure (DS)2 and Morphogenesis
Interaction-based Computing
Spatial Computing
-
Collection and Transformation
A Functional Language
Small Collection (1D)
Monoidal
Group-Based
Graph
Delaunay
Algorithmic Examples: primes, factorial, Fibonacci, convex hull, sort, maximum segment sum, …
More elaborated examples:
GBF : Eden, cellular automata
Delaunay : flocking bird
Abstract Combinatorial Complex
Formalization
Discrete differential operators
-
Programming Unconventionnal Models
Rewriting based
Gamma, HOCL
P systems Lindenmayer systems
Fraglet
Non-rewriting based
Cellular and Lattice gaz automata
Blob computing
Proto
Data parallelism
Transition Systems and Verifications
The Needham-Schroeder public-key protocol
Integrated Regulatory Network (IRN)
Self-assembly
Biology
Gastrulation
Synthetic Biology: the iGEM'07 Paris project
The Growth of a Meristem
Music
Tonnetz
The All Interval Series
Artificial Intelligence
Extracting an Ontology without a priori : The Little Red Riding Hood
Analogy through paths
-
Incremental HOAS Implementation of a Dynamic DSL
Beyond algebraic data type : a Generic Advanced
API for Containers
Generic pattern matching
-
From Global to Local
Synthetic Biology
Multi-level and partial processe
Hybrid Modelling
Time