This is an old revision of the document!
Table of Contents
You certainly want to go there
Web Pages
- This MGS tutorial http://www.spatial-computing.org/mgs/tutorial
- The MGS home page (new home page for the end of the year) http://mgs.spatial-computing.org
- MGS download (new home page for the end of the year) http://www.spatial-computing.org/mgs
- MGS example gallery http://mgs.spatial-computing.org/ImageGallery/
- MGS publications
- The Spatial Computing home page http://www.spatial-computing.org
- Last SCW conference http://www.spatial-computing.org/scw12:start
Plan of the Lectures & Tutorial Slides
Lecture I (Tuesday, September 4)
- Motivation & Application domains
- Modelling Morphogenesis
- (DS)2: dynamical systems with a dynamical structure
- MGS
- Collection
- Transformation
- A Functional Language
- Applications
- Algorithmic Examples
- 1D Collections
- GBF
- Delaunay
Lecture II (Wednesday, September 5)
- Motivation & Application domains
- Spatial Computing
- Interaction Based Computing
- MGS
- Abstract Combinatorial Complex
- Formalization
- A Functional Language
- Applications
- Remeshing
- Growing a
t
- Self-Assembly of Musical Spaces
- Growing an Ontology with the Little Riding Hood
- Growing an Analogy with Paul Ricœur
Lecture III (Thursday, September 6)
- Motivation & Application domains
- MGS
- Formlization
- Discrete Differential Operators
- Applications
- A Generic Diffusion Operator
- Implementation
- Incremental HOAS implementation of a DSL
- Beyond algebraic data type : a Generic Advanced API for Containers
- Generic pattern matching
- Current Frontiers
- From Global to Local
- Synthetic Biology
- Multi-level and partial processes
- Hybrid Modelling
- Time
Complements
Clic on the top-level items to go to the corresponding web page.
-
- 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