Formation
doctorale en Informatique
Propositions
de sujets de thèse
Année
2006-2007
Cette liste est mise à jour à chaque arrivée d’une
nouvelle proposition. Cette page doit donc être régulièrement consultée.
Remarque importante : Ces sujets ne sont pas financés !!!
(sauf indication contraire sur la page du sujet). Les modalités de candidature à une allocation
de recherche ministérielle sont sur le
site de l’école doctorale
(avant le 20 juin 2006)
Dernière
modification : 18/07/2006 à 16:59:09
Classement des sujets par
équipes de recherche, puis éventuellement par thèmes et projets :
· Combinatoire et algorithmique
· Modèles et algorithmes pour la bioinformatique et la visualisation
· Support et algorithmes pour les applications numériques hautes performances (Satanas)
Projet ScAlApplix (LaBRI - INRIA)
Projet RUNTIME (LaBRI - INRIA)
· Langages, systèmes et réseaux (LSR)
Systèmes et objets distribués (SOD)
Context-aware management and networking (Comet)
Projet Phoenix (LaBRI - INRIA)
Structuration et analyse d’image
Modélisation et synthèse d’images
Modélisation du son et de la musique
Nous recevons également
des propositions de sujets d’autres laboratoires.
Équipe Combinatoire et algorithmique
J.M. Robson
· Modélisations et étude de la puissance des systèmes distribués avec communication par mémoires
Yves Métivier
· Etude des grandes cartes aléatoires
Graphes et Applications
Cyril Gavoille & Olivier Ly
· Colorations d'incidences par listes
Eric Sopéna
· Recherche d'informations par agents mobiles et diffusion
Nicolas Hanusse & Cyril Gavoille
· Graphes petit-monde et conception de réseaux virtuels pour les réseaux pair à pair
Nicolas Hanusse & Cyril Gavoille
· Navigation visuelle dans les bases de données d'images
Nicolas Hanusse & Jenny Benois-Pineau
·
Web Graphs and Web Algorithms
Ralf Klasing & Cyril Gavoille
·
Bringing internet into
villages using wireless communication
Ralf Klasing & Olivier Beamont
Ralf Klasing & André Raspaud
·
Minimum Energy Broadcasting
in Ad Hoc wireless networks
Ralf Klasing & Mohamed Mosbah
· Colorations et Flots antisymétriques
André Raspaud
· Machine virtuelle pour la programmation d'algorithmes distribués
M. Mosbah
· Structuration des graphes dénombrables
Bruno Courcelle
Cyril Gavoille & Olivier Ly
· Vérification logicielle par analyse statique et méthodes symboliques
Emmanuel Fleury et Jérôme Leroux
· Sémantique des programmes par les jeux
Pierre Castéran, Aymeric Vincent et Igor Walukiewicz
·
Logics for dynamically changing
models
Igor Walukiewicz
·
Logics for real-time systems
Igor Walukiewicz
· Machine virtuelle pour la programmation d'algorithmes distribués
M. Mosbah
· Analyse syntaxique robuste dans les grammaires catégorielles
Richard
Moot, Christian Retoré
·
Grammaires minimalistes
: propriétés mathématiques des descriptions linguistiques et implantation
Christian Retoré, Irène Durand
· Traitement de la non linéarité en analyse syntaxique
Lionel Clément, Christian Rétoré
· Modélisation de la sémantique lexicale dans la théorie des types
Christian Bassac, Christian Retoré
Équipe Modèles et algorithmes pour la bioinformatique et la visualisation
· Visualisation et navigation multi-niveaux de réseaux sociaux
Maylis Delest et Guy Melançon
Équipe Support et Algorithmes pour les Applications Numériques Hautes performances (Satanas)
Projet ScAlApplix (LaBRI - INRIA)
· Analyse et parallélisation efficace de méthodes de type A.M.R
Olivier Coulaud et Jean Roman
·
Parallélisation de la méthode SPN par décomposition de
domaine en vue
d'un calcul d'accident en une seule passe.
Maxime Barrault, Pierre Ramet et Jean Roman
Olivier Coulaud, Jean Roman
· Solveurs linéaires 3D hybrides pour architectures parallèles hautes performances
Pascal Hénon et Jean Roman
Projet RUNTIME (LaBRI - INRIA)
· Gestion de la réactivité des communications réseau de bout en bout
Alexandre DENIS et Raymond NAMYST
Équipe Langages, Systèmes et Réseaux (LSR)
Systèmes et objets distribués (SOD)
Context-aware management and networking (Comet)
·
Gestion
Autonome de la Qualité de Service dans les Réseaux de Télécommunications
Francine Krief
Francine Krief et Xavier Delord
Projet Phoenix (LaBRI - INRIA)
· Vérification et extraction de vues pour un langage métier
Charles Consel et Laurent Réveillère
Structuration et analyse d’image
· Traitement d'image par région
A. Braquelaire et J. Ph. Domenger
· Surfaces et solides de subdivision
S. Gueorguieva, P. Desbarats et A. Braquelaire
· Représentation et segmentation d'images 3D
P. Desbarats et A. Braquelaire
Modélisation et synthèse d’images – Projet Iparla (LaBRI – INRIA)
· Interaction 3D sur terminaux mobiles
P. Guitton et M. Hachet
·
Multiplatform
interactive navigation in large streamed 3D scenes
Jean-Christophe
Gonzato, Pascal Guitton
Analyse et indexation video
·
Segmentation spatio-temporelle
et indexa ion vidéo dans le domaine des représentations hiérarchiques
Jenny Benois-Pineau
·
Indexation cross-média
des documents audio-visuels sous forme numérique
M. Desainte-Catherine, J. Benois-Pineau
·
Indexation de la vidéo
de surveillance dans l'environnement multi-capteurs 2D
Jenny Benois-Pineau et Henry Nicolas
· Tatouage vidéo basé sur la notion de régions d'intérêt : application à la vidéosurveillance
Henry Nicolas
· Navigation visuelle dans les bases de données d'images
Nicolas Hanusse, Jenny Benois-Pineau
Modélisation du son et de la musique
·
Modélisation de la
spatialisation
Myriam Desainte-Catherine
· Analyse musicale par tatouage audio-numérique
Sylvain Marchand, Myriam Desainte-Catherine