Formation
doctorale en Informatique
Propositions
de sujets de thèse
Année
2007-2008
Cette liste est mise à jour à chaque arrivée d’une nouvelle proposition. Cette page doit donc être régulièrement consultée.
Vous pouvez également contacter un enseignant ou chercheur (Professeur
ou Directeur de Recherche) si vous êtes intéressé(e) par un thème de recherche
qui n'est pas dans la liste
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 2007).
Dernière
modification : 18/06/2007 à 17:41:45
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
· Etude de systèmes distribués avec communication par ondes radio
Yves Métivier
· Algorithmes distribués à délai aléatoire
Nasser Saheb, Akka Zemmari
· Titre: Génération aléatoire et propriétés locales d'objets discrets
Robert Cori, Philippe Duchon
· Génération dirigée de mots d’un langage à motif
Jean-Guy Penaud, Nasser Saheb
Cyril Gavoille & Olivier Ly
Eric Sopéna
· Graphes pour les problèmes de placements
Arnaud Pêcher, François Vanderbeck
Projet CEPAGE (LaBRI – INRIA)
· Distribution de tâches parallèles indépendantes sur des réseaux à grande échelle (Thèse financée BDI CNRS– Région)
O. Beaumont, Ph. Duchon, N. Bonichon
· Maintenance dynamique des réseaux logiques et application au calcul distribué de cubes de données
Cyril Gavoille, Nicolas Hanusse
· Un environnement de preuves pour les algorithmes distribués
P. Castéran, M. Mosbah
· Algorithmes distribués pour les réseaux de capteurs : Etude et implantation à l’aide de visidia.
M. Mosbah, A. Zemmari
· Machine virtuelle pour la programmation d'algorithmes distribués
M. Mosbah
Cyril Gavoille & Olivier Ly
· Vérification de systèmes critiques asynchrones par abstraction/raffinement de la concurrence
I. Walukiewicz, G. Sutre et F. Herbreteau
· Stratégies probabilistes dans les jeux discrets
David Janin
· Propriétés des systèmes de réécritures de termes
Irène
Durand
·
CEGAR
Model-checking for AltaRica
Alain Griffault & Grégoire Sutre
· Accelerated Abstract Lattices
Advisors : Jérôme Leroux & Grégoire Sutre
· Analyse syntaxique robuste dans les grammaires catégorielles
Richard Moot, Christian Retoré
· Traitement de la non linéarité en analyse syntaxique
Lionel Clément, Christian Rétoré
Alain Lecomte, Christian Retoré
· Grammaires minimalistes : propriétés mathématiques des descriptions linguistiques et implantation
Christian Retoré, Irène Durand
· Un environnement de preuves pour les algorithmes distribués
P. Castéran, M. Mosbah
· Algorithmes distribués pour les réseaux de capteurs : Etude et implantation à l’aide de visidia.
M. Mosbah, A. Zemmari
· Machine virtuelle pour la programmation d'algorithmes distribués
M. Mosbah
Équipe Modèles et algorithmes pour la bioinformatique et la visualisation
·
Détection d’empreintes
topologiques associées à la perturbation des réseaux métaboliques
David Auber / Guy Melançon
Équipe Support et Algorithmes pour les Applications Numériques Hautes performances (Satanas)
Projet ScAlApplix (LaBRI - INRIA)
·
Efficient Fast Multipole Method for clusters of Cell processors
Olivier Coulaud et Jean Roman
Projet RUNTIME (LaBRI - INRIA)
· Mouvement de données et placement des tâches dans les machines de calcul
Brice Goglin, Raymond Namyst
· Un environnement de compilation pour le langage OpenMP sur machines multiprocesseurs hiérarchiques
Raymond Namyst,
Olivier Aumage, Guillaume Mercier, Raymond Namyst
· Traitement Géométrique Adaptatif Parallèle
Christophe Schlick et Raymond Namyst
Équipe Langages, Systèmes et Réseaux (LSR)
Systèmes et objets distribués (SOD)
Serge Chaumette
Serge Chaumette
·
Test de
robustesse de systèmes temps réel et de services web
Richard Castanet et Antoine Rollet
Context-aware management and networking (Comet)
· Transport et Mobilité des Services Multimédia dans Les Réseaux de Nouvelle Génération
Toufik Ahmed et Francine Krief
Projet Phoenix (LaBRI - INRIA)
· Intégration des langages métiers dans un environnement logiciel
Charles Consel
Structuration et analyse d’image
· Guidage des thérapies locales mini-invasives sur les organes soumis à des déformations complexes
Jenny Benois-Pineau, Pascal Desbarats
· Reconstruction d'images scanner et microscanner à rayons X par transformées discrètes
Achille Braquelaire, Pascal Desbarats
· Analyse 4D de l'élasticité bronchique
Achille Braquelaire et Pascal Desbarats
Modélisation et synthèse d’images – Projet Iparla (LaBRI – INRIA)
· Vers une nouvelle chaîne graphique pour des applications nomades
Pascal Guitton et Xavier Granier
· Réalité Augmentée sur terminaux mobiles communicants (PDA, Téléphone)
Jean-Christophe Gonzato et Pascal Guitton
· Traitement Géométrique Adaptatif Parallèle
Christophe Schlick et Raymond Namyst
· Synthèse Géométrique Interactive
Christophe Schlick
·
Indexation
vidéo collaborative
Jenny Benois-Pineau
· Analyse sémantique de la trajectoire d’objets dans une vidéo dans un contexte temps réel (Thèse CIFRE)
Henri Nicolas
Henri Nicolas
· « Abstraction vidéo : résumé pour adaptation de contenu »
Jenny Benois-Pineau
·
Indexation de la vidéo
de surveillance dans l'environnement multi-capteurs 2D (Thèse financée BDI CNRS– Région)
Jenny Benois-Pineau et Henry Nicolas
·
Indexation cross-média
des documents audio-visuels sous forme numérique
M.
Desainte-Catherine, J. Benois-Pineau
Modélisation du son et de la musique
· Modélisation hiérarchique d'instruments virtuels liant micro et macro-structures musicales.
Myriam Desainte-Catherine et Martin Hachet
· Interaction entre l’Homme, l’image et le son
Myriam Desainte-Catherine, Martin Hachet et Jean-Michel Couturier
Propositions de laboratoires extérieurs
· Thèses CEMAFREF 2007 www.cemagref.fr
· Thèses à l’IFP (Institut Français du Pétrole) www.ifp-school.com
Liens
http://www.eioe.u-bordeaux1.fr Espace Information Orientation Emploi – niversité Bordeaux 1