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 | ||
