Université Bordeaux 1

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

Génération aléatoire

Graphes et applications

Projet VISIDIA

·        Méthodes formelles

Projet SIGNES

Projet VISIDIA

·         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)

·        Image et son

Structuration et analyse d’image

Modélisation et synthèse d’images

Analyse et indexation video

Modélisation du son et de la musique

 

Nous recevons également des propositions de sujets d’autres laboratoires.

 

Équipe Combinatoire et algorithmique

·        Bornes supérieures sur le temps de calcul dans le pire cas d'algorithmes pour quelques problèmes NP-difficiles

J.M. Robson

·        Modélisations et étude de la puissance des systèmes distribués avec communication  par mémoires

Yves Métivier

Génération aléatoire

·        Etude des grandes cartes aléatoires

 Jean-François Marckert

Graphes et Applications

·        Graphes Hyperboliques

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

·        Black Hole Search in Graphs

Ralf Klasing & André Raspaud

·        Minimum Energy Broadcasting in Ad Hoc wireless networks

Ralf Klasing & Mohamed Mosbah

·        Colorations et Flots antisymétriques

André Raspaud

Projet VISIDIA

·        Machine virtuelle pour la programmation d'algorithmes distribués

M. Mosbah

Retour haut de page

 

Équipe Méthodes Formelles

·        Structuration des graphes dénombrables

Bruno Courcelle

·        Graphes Hyperboliques

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

Projet VISIDIA

·        Machine virtuelle pour la programmation d'algorithmes distribués

M. Mosbah

Projet SIGNES

·        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é

 

Retour haut de page

 

É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

Retour haut de page

 

É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

·        Redistribution de données irrégulières pour des applications distribuées de grandes tailles: application au computational steering.

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

 

Retour haut de page

 

É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

·        Gestion de la qualité de service et de la sécurité dans les réseaux mobiles de la quatrième génération

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

 

Retour haut de page

 

Équipe Image et son

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

Retour haut de page

 

Propositions de laboratoires extérieurs