Differences
This shows you the differences between two versions of the page.
mgs_tutorial [2012/08/31 10:19] giavitto |
mgs_tutorial [2012/08/31 10:19] (current) giavitto |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | |||
- | |||
- | <fs xx-large>You certainly want to go [[mgs:tutorial:|there]]</fs> | ||
- | |||
- | |||
- | |||
- | ===== 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 | ||
- | * http://mgs.spatial-computing.org/PUBLICATIONS (old) | ||
- | * http://repmus.ircam.fr/giavitto/publications | ||
- | * http://www.lacl.fr/~michel/doku.php?id=research:start | ||
- | * http://www.lacl.fr/~michel/www/bib | ||
- | * http://www.lacl.fr/~aspicher/publications.html | ||
- | |||
- | * The Spatial Computing home page [[http://www.spatial-computing.org]] | ||
- | * Last SCW conference [[http://www.spatial-computing.org/scw12:start]] | ||
\\ | \\ | ||
\\ | \\ | ||
- | + | <fs xx-large>You certainly want to go [[mgs:tutorial:|here]]</fs> | |
- | ===== 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. | ||
- | - [[mgs/tutorial/motivations|Motivations and Target Application Domain]] | ||
- | - Dynamical Systems with a Dynamical Structure (DS)<sup>2</sup> and Morphogenesis | ||
- | - Interaction-based Computing | ||
- | - Spatial Computing | ||
- | - [[mgs/tutorial/mgs|MGS]] | ||
- | - 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 | ||
- | - [[mgs/tutorial/applications|Applications]] | ||
- | - 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 | ||
- | - [[mgs/tutorial/implementation|Implementation]] | ||
- | - Incremental HOAS Implementation of a Dynamic DSL | ||
- | - Beyond algebraic data type : a Generic Advanced API for Containers | ||
- | - Generic pattern matching | ||
- | - [[mgs/tutorial/frontiers|Current Frontiers]] | ||
- | - From Global to Local | ||
- | - Synthetic Biology | ||
- | - Multi-level and partial processe | ||
- | - Hybrid Modelling | ||
- | - Time |