Next:
Traitement des génomes
Up:
No Title
Previous:
Automates et logiqueDominique
Programmes des cours de filières
Traitement des génomes
Étude statistique des gènes et langages définis par des automates stochastiques (Didier Arquès et C. Michel).
Traitement algorithmique des séquences moléculaires (Maxime Crochemore).
Introduction à la biologie moléculaire (Marie-Odile Delorme et Alain Hénaut)
Méthodes probabilistes pour le génome (Mireille Régnier).
Stages
Mots, automates et logique
Théorie des automates, (Dominique Perrin).
Algorithmique du texte (Maxime Crochemore).
Preuves et calcul (René Lalement).
Stages
Combinatoire
Théorie des partitions d'entiers (Jacques Désarménien).
Fonctions symétriques, tableaux et caractères (Jean-Yves Thibon).
Différences divisées et polynomes de Schubert, Alain Lascoux
Calcul formel, fonctions speciales et identites combinatoires, Bruno Salvy
Stages
Informatique graphique
Synthèse d'images (Didier Arquès).
Introduction à la géometrie algorithmique (Michel Pocchiola).
Visualisation, rendu volumique, techniques immersives (réalité virtuelle) (Jacques David).
Traitement morphologique et topologique des images (Gilles Bertrand)
Modèles physiques pour la synthèse d'images animées (Annie Luciani)
Géométrie Algorithmique en grande dimension (Alain Pajor)
Stages
Langue naturelle et représentation des connaissances
Représentation des connaissances et traitement automatique des langues (Hélène Bestougeff et Max Silberztein).
Lexiques et grammaire électroniques (Maurice Gross).
Transductions de textes (Éric Laporte).
Stages
Dominique Perrin
Thu May 2 14:25:15 METDST 1996