Stages proposés dans le cadre du projet MGS de l'équipe Specif du LaMI

Titre:              Implémentation d'algorithmes standards sur les graphes
Mots-clefs :    graphe, algorithme sur les graphes.
Public :             Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)

Titre:              Analyse automatique de séquences musicales
Mots-clefs :    analyse automatique de séquences, harmonisation, contrepoint.
Public :             DEA Informatique, Stage ENS, Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)

Titre:              Types de données en MGS
Mots-clefs :    types de données algébriques, modèles déclaratifs de calcul, lanagage de programmation, sémantique.
Public :             DEA Informatique, Stage ENS, Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)

Titre:              Vertex-vertex systems en MGS
Mots-clefs :    vertex-vertex systems, modèles déclaratifs de calcul, subdivision de surface, algorithmique graphique.
Public :             Stage ENS, Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)

Titre:              Hyperstructure et modélisation de chimie artificielle dans le langage MGS
Mots-clefs :    bio-informatique, simulation, modélisation des réseaux biochimiques d'interactions, réseaux auto-catalytiques, ...
Public :             DEA Informatique, DEA Bio-Informatique, Stage ENS, Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)

Titre:              Simulation en MGS du déplacement du spermatozoïde du nématode Ascaris suum
Mots-clefs :    graphe de Voronoï, simulation, élément finis, modélisation biologique et des sytèmes dynamiques, langage de programmation.
Public :             DEA Informatique, DEA Bio-Informatique, Stage ENS, Stage IIE, stage Polytechnique.
(postscript, pdf)

Titre:              Calcul amorphe en MGS
Mots-clefs :    amorphous computing, modélisation biologique, langage de programmation.
Public :             TER de maîtrise.
(postscript, pdf)

Titre:              Structures de données indexées par un monoïde
Mots-clefs :    champ de données, GBF, monoïde, tableau, graphe, langage régulier.
Public :             DEA Informatique, Stage ENS, Stage IIE, stage Polytechnique.
(postscript, pdf)

Titre:              Intégration d'un lecteur XML à MGS et traduction des requêtes X-Path
Mots-clefs :    XML, parseur extensible, requête X-Path.
Public :             Stage IIE, TER de maîtrise.
(postscript, pdf)

Titre:              Animation diagrammatique de simulations de systèmes dynamiques
Mots-clefs :    visualisation diagrammatique, animation, flash, modélisation biologique, langage.
Public :             Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)

Titre:              Algèbre de chemins et algorithmes sur les graphes
Mots-clefs :    graphe, algorithme sur les graphes, algèbre de chemin, langage régulier.
Public :             DEA Informatique, Stage ENS, Stage IIE, stage Polytechnique.
(postscript, pdf)

Titre:              Treillis de Galois, collection topologique et analyse des réseaux de régulation
Mots-clefs :    treillis de Galois, apprentissage symbolique, analyse des réseaux de régulation.
Public :             DEA Informatique, DEA Bio-Informatique, Stage ENS, Stage IIE, stage Polytechnique.
(postscript, pdf)

Titre:              Résolution numérique d'équations aux dérivées partielles en MGS
Mots-clefs :    analyse numérique, champ de données, GBF, graphe, langage de règles.
Public :             DEA Informatique, Stage ENS, Stage IIE, stage Polytechnique.
(postscript, pdf)

Titre:              Représentation multi-dimensionnelles dans un langage déclaratif
Mots-clefs :    CAO, modélisation 3D, G-carte.
Public :             Stage IIE, TER de maîtrise.
(postscript, pdf)

Titre:              Animation 2D de simulations de systèmes dynamiques
Mots-clefs :    visualisation 2D, animation, OCaml, GTK, modélisation biologique, langage.
Public :             TER de maîtrise.
(postscript, pdf)

Titre:              Simplication de contraintes de types
Mots-clefs :    sous-typage, inférence de types, types unions, collections hétérogènes.
Public :             Stage IIE, TER de maîtrise, stage Polytechnique.
(postscript, pdf)