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)