Université Bordeaux 1

École Doctorale de Mathématiques et Informatique

 

Propositions de sujets de thèse en Informatique

Année 2004

 

Dernière modification : 1er avril 2004 à 10h45

 

Classement des sujets par équipes de recherche, puis éventuellement par thèmes et projets :

 

·        Combinatoire et algorithmique

Thème Graphes et applications

Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)

·        Logique, automates, algorithmique et applications

Projet SIGNES

·        Modélisation, vérification et test de systèmes informatiques

Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)

·        Calcul parallèle et distribué

Projet ScAlApplix (LaBRI - INRIA)

Projet Compose (LaBRI - INRIA)

Projet RUNTIME (LaBRI - INRIA)

·        Image et son

Projet IPARLA (LaBRI - INRIA)

Projet AIV, Analyse et Indexation Video

 

Équipe Combinatoire et algorithmique

·        Algorithmes pour 3SAT et autres problèmes NP-complets

J.M. Robson

·        Recherche d'informations par agents mobiles

Nicolas Hanusse

·        Extraction de connaissances par la combinaison de la visualisation et de techniques de routage

Nicolas Hanusse et Noel Novelli

·        Techniques d'interaction avec de grands graphes : application à la visualisation de structures biologiques

Laurence Nigay, David Auber

Thème Graphes et Applications

·        Étude des graphes t-couvrants et application à la visualisation

Olivier Baudon et André Raspaud

·        Colorations circulaires : algorithmes pour les allocations de ressources

André Raspaud, Arnaud Pêcher

·        Représentation implicite pour les graphes de genre borné

Cyril Gavoille

Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)

·        Méthodes informatiques de prédiction et de comparaison de réseaux d'interactions protéine-protéine à partir de données de la génomique comparée

Resp. David Sherman

·        Développement d'outils conceptuels et algorithmiques pour l'analyse de structures biologiques arborescentes

Pascal Ferraro et Serge Dulucq

Retour haut de page

 

Équipe Logique, automates, algorithmique et applications

·        Structurations hiérarchiques des graphes fondées sur des informations attachées à leurs éléments

Bruno Courcelle

·        Constructions logiques pour des classes de graphes

Bruno Courcelle

·        Verification using traces and net unfoldings

Igor Walukiewicz

·        Synthesis for distributed asynchronous systems

Igor Walukiewicz

·        Deciding properties of tree languages

Igor Walukiewicz et Pascal Weil

Projet SIGNES

·        Sémantique et pragmatique computationnelles

Alain Lecomte (UPMF, Grenoble) et Pierre Castéran

Retour haut de page

 

Équipe MVTsi (Modélisation, Vérification et Test de Systèmes Informatiques)

·        Techniques de spécification et de test pour les composants logiciels de communication

Richard Castanet, Patrick Félix

·        Vérification symbolique et abstraction automatique de systèmes critiques hétérogènes

André Arnold, Frédéric Herbreteau, Grégoire Sutre

·        Logique de Presburger sur les réels et langages rationnels de mots finis

André Arnold, Jean-Michel Couvreur

·        AltaRica Hybride

André Arnold, Alain Griffault, Frédéric Herbreteau

·        Un cadre général pour la vérification de systèmes infinis probabilistes

André Arnold, Jean-Michel Couvreur, Grégoire Sutre

Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)

·        Méthodes informatiques de prédiction et de comparaison de réseaux d'interactions protéine-protéine à partir de données de la génomique comparée

Resp. David Sherman

·        Développement d'outils conceptuels et algorithmiques pour l'analyse de structures biologiques arborescentes

Pascal Ferraro et Serge Dulucq

Retour haut de page

 

Équipe Calcul parallèle et distribué

Projet ScAlApplix (LaBRI - INRIA)

·        Conception et mise en oeuvre de méthodes et d'outils efficaces pour le partitionnement et la distribution parallèles de problèmes numériques de très grande taille

François Pellegrini et Jean Roman

·        Analyse et parallélisation efficace de méthodes de type A.M.R

Olivier Coulaud et Jean Roman

·        Mise en œuvre d’une infrastructure distribuée pour le développement d'un champ de force mésoscopique pour l'étude de l'interaction protéine-membrane

Olivier Coulaud, Juan Elezgaray (IECB)

·        Analyse et réalisation d'un couplage entre une simulation numérique parallèle et distribuée et un système de visualisation parallèle

Olivier Coulaud et Jean Roman

Projet Compose (LaBRI - INRIA)

·        Développement de services de téléphonie sûrs : du domaine à l'application

Charles Consel et Laurent Réveillère

·        Modèle de langages de programmation à capacités

Charles Consel et Laurent Réveillère

·        Performance d'une plate-forme de signalisation et modèle de coût de services de téléphonie

Charles Consel et Laurent Réveillère

Projet RUNTIME (LaBRI - INRIA)

·        Ordonnancement et optimisation des schémas de communicationd'applications parallèles

Raymond Namyst et Olivier Aumage

·        Ordonnancement de threads sur machines à organisation hiérarchique

Raymond Namyst et Pierre-André Wacrenier

Retour haut de page

 

Équipe Image et son

·        Représentation et segmentation d'images 3D

Achille Braquelaire et Pascal Desbarats

·        Modèles discrets évolutifs. Application à la segmentation d'images biomédicales

Achille Braquelaire, Jacques-Olivier Lachaud

Projet IPARLA (LaBRI - INRIA)

·        Apparence multi-résolutions

Xavier Granier / Christophe Schlick

Projet AIV, Analyse et Indexation Video

·        Augmentation de la résolution vidéo. Application à la récupération des fortes erreurs de transmission

Jenny Benois-Pineau, Jean-Philippe Domenger

Retour haut de page