Université Bordeaux 1
Formation doctorale en Informatique


----------

Propositions de sujets de thèse
Année 2010-2011

Cette liste est mise à jour à chaque arrivée d’une nouvelle proposition ou possibilité de financement. Cette page doit donc être régulièrement consultée.
Remarque importante : Certains sujets ont déjà un financement acquis. D'autres sujets peuvent être financés en fonction de l'existence d'un candidat.

Les modalités de candidature à une allocation de recherche ministérielle sont sur le site de l’école doctorale Financement.

Date limite pour déposer un dossier pour les allocations ministérielles et universitaires (BQR, blanches ou fléchées): le 25 juin 2010

Financements

Les financements de thèse sont principalement de deux types:

  • blancs ("au mérite"): après l'accord avec un directeur de thèse pour travailler sur un sujet de thèse, les étudiants sont classés en fonction de leur résultat au master. Les meilleurs étudiants sont donc financés sur le sujet de leur choix.
  • fléchés: ces sujets ont une garantie de financement indépendamment de la qualité d'un candidat.

A cause de la multiplicité des types de financements (université, CNRS, INRIA, Région, CIFRE, ANR, DGA, ...), les possibilités de financements ne sont pas tous connus à la même date.

Il est possible de postuler sur 2 sujets de thèses mais en indiquant la priorité entre les deux sujets.

Comment candidater ?

  1. Contacter le directeur de thèse pour avoir son accord.
  2. Le dossier à constituer est disponible sur le site de l'école doctorale :

http://www.math.u-bordeaux1.fr/ED/ecole_doctorale/index.php?n=These.Admission
Les pièces à fournir par les candidats sont :

  • Descriptif de la formation d'origine (pour les extérieurs à Bordeaux)
  • Relevés de notes (M1 et M2) et classements
  • Description du sujet de thèse
  • CV du candidat
  • Attestations/recommandations d'enseignants ou responsables de la formation d'origine du candidat
  • Formulaire de candidature

Les dossiers sont à envoyer à : Cathy Roubineau, LaBRI, Université Bordeaux 1, 351 Cours de la Libération, 33405 Talence

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




Équipe Combinatoire et algorithmique

  • Conception de techniques robustes de transfert de données dans les réseaux Pair à Pair
- Directeur: Colette Johnen
- Sujet fléché

  • Structures de données compactes et distribués dédiés à la fouille de données
- Mots-clés: fouille de données, parallélisme et systèmes distribués, visualisation de l'information, optimisation, algorithmique de graphes
- Directeurs: N. Hanusse et S. Maabout

  • Étude des systèmes inverses non-commutatifs du groupe symétrique
- Directeurs: P. Duchon et J-C. Aval

  • Énumération de matrices à signes alternants
- Directeurs: P. Duchon et J-C. Aval

  • Graphes abitrairement sommet-décomposables
- Directeurs: E. Sopena et O. Baudon

  • Modélisation des communications sur les plates-formes à grande échelle / Models for communications on large­scale computing platforms
- Mots-clés / Keywords: Plates-formes à grande échelle, Algorithmique Distribuée, Modélisation, Algorithmes d'approximation, Pair-à-pair, Streaming / Large­scale platforms, Distributed Algorithms, Models, Approximation algorithms, peer­to­peer, streaming
- Directeurs / Advisors: O. Beaumont, N. Bonichon et L. Eyraud-Dubois

  • Structuration des graphes et étiquetages compacts
- Mots-clés: graphes, géométrie algorithmique, étiquetage, logique
- Directeurs: B. Courcelle et C. Gavoille

-> - Sujet déja attribué

  • Version combinatoire à deux joueurs du jeu du Solitaire
- Mots-clés: jeu combinatoire, jeu du solitaire / combinatorial game, peg solitaire
- Directeurs: E. Sopena et P. Dorbec

  • Codes pondérés dans les graphes réguliers
- Directeurs: R. Klasing et P. Dorbec

  • Domination de puissance dans les graphes
- Directeurs: A. Raspaud et P. Dorbec

  • Algorithmique des agents mobiles
- Mots-clés : agents mobiles, robots, graphes dynamiques, tolérance aux pannes.
- Directeurs: R. Klasing et D. Ilcinkas

  • Étude des processus stochastiques liés aux empilements.
- Directeur: J-F. Marckert

  • Partitions des arêtes d'un graphe / Decomposition of graphs
- Mots-clés: Graphes, décomposition, arboricité / graphs, edge-partitions
- Directeurs: A. Raspaud et M. Montassier

  • Sur quelques problèmes de colorations orientées
- Mots-clés: graphe, coloration de graphes, coloration orientée, coloration acyclique, coloration impropre, jeu de coloration, produit de graphes / graph, graph coloring, oriented coloring, acyclic coloring, improper coloring, coloring game, graph product
- Directeur: E. Sopena

  • Colorations d’incidence
- Mots-clés: graphe, coloration, coloration d’incidence, classe de graphes / graph, graph coloring, incidence coloring, graph classes
- Directeur: E. Sopena

  • Preuve des algorithmes distribués probabilistes
- Directeurs: A. Zemmari et P. Castéran

  • Calculs locaux et protocoles de population
- Directeurs: A. Zemmari et M. Mosbah

  • Routage compact pour les graphes petits mondes et sans échelle
- Mots-clés: Graphes, algorithmique distribuée, routage
- Directeurs: C. Gavoille, N. Hanusse et D. Ilcinkas


Équipe Image et son

  • Extraction et manipulation de primitives haut niveau pour l'animation 2D/3D
- Mots-clés: animation, infographie, analyse 3D & 2D, interaction multitouch
- Directeurs: X. Granier et P. Barla

  • Interfaces tactiles pour la synthèse d'images 3D
- Mots-clés: interfaces utilisateurs, interaction 3D, modélisation géométrique, surfaces tactiles
- Directeurs: M. Hachet et C. Schlick

  • Analysis of the biochemical reaction graph and identification of long distance interactions to explain robustness of energetic metabolism functions
- Directeurs(trices) / Advisors: R. Strandh et M. Beurton-Aimar

  • Segmentation d'images 3D au moyen d'agents sociaux et étude de la parallélisation des traitements sur GPU
- Directeurs(trices) / Advisors: A. Braquelaire et M. Beurton-Aimar

  • Analyse conjointe audio/vidéo pour l’analyse de la structure de films
- Mots-clés: audio/video, semantique, musique, analyse, indexation
- Directeurs: H. Nicolas et P. Hanna

  • Re-composition musicale informée / Informed Musical Re-composition
- Mots-clés / Keywords: analyse musicale, transformations sonores, problèmes inverses, contraintes, tatouage / musical analysis, sound transformations, constraints, watermarking
- Directeurs(trices) / Advisors: M. Desainte-Catherine et S. Marchand


Équipe Langages, Systèmes et Réseaux (LSR)

  • Auto-configuration optimisée de réseaux de capteurs mobiles
- Mots-clés: réseaux, conception de systèmes embarqués, informatique, électronique
- Directeurs: F. Krief (LaBRI) et D. Dallet (IMS)

  • Adaptation de services dans les réseaux radios cognitifs
- Mots-clés: réseaux radios cognitifs, réseaux sans fil multi-sauts, adaptation dynamique, statistique et apprentissage, simulation et modélisation
- Directeurs: F. Krief et H. Khalife

  • Système Dynamique et Réparti de Nommage à Indirections Multiples pour les Communications dans l'Internet / Dynamic Distributed Multilevel Naming System for Internet Communications
- Mots-clés / Keywords: Internet, protocole, adresse, nom, table de hachage, pair à pair, réseau virtuel / Internet, protocol, address, name, hash table, peer to peer, overlay
- Directeur / Advisor: D. Magoni

  • Découverte de service et initiation de session sur une flotte hautement volatile de terminaux mobiles communicants
- Directeurs: D. Bromberg et S. Chaumette
- Sujet fléché


Équipe Méthodes Formelles

  • Génération aléatoire et propriétés génériques des sous-groupes du groupe libre / Random generation and generic properties of subgroups of free groups
- Mots-clés / Keywords: génération aléatoire, groupes libres / random generation, free groups
- Directeurs / Advisors: P. Weil (LaBRI) et F. Bassino (LIPN, Paris-13)

  • Preuve des algorithmes distribués probabilistes
- Directeurs: A. Zemmari et P. Castéran

  • Calculs locaux et protocoles de population
- Directeurs: A. Zemmari et M. Mosbah

  • Interprétations catégoriques de la logique linéaire du premier ordre - applications aux aspects ontologiques de la sémantique lexicale / Categorial interpretations of first order linear logic - with application to ontological aspects of lexical semantics
- Mots-clés / Keywords: logique, théorie des types, théorie des catégories, linguistique informatique, philosophie du langage, lexique / logic, category theory, type theory, computational linguistics, philosophy of language, lexicon
- Directeurs / Advisors: C. Rétoré (LaBRI) et J. Gillibert (IMB)

  • Acquisition de grammaires catégorielles à partir de corpus annotés / Learning categorial grammars from annotated corpora
- Mots-clés / Keywords: linguistique informatique, apprentissage, inférence grammaticale, grammaires catégorielles / computational linguistics, learning, grammatical inference, categorial grammars
- Directeurs / Advisors: C. Rétoré et R. Moot

  • Taming the complexity of tree automatic structures
- Directeurs / Advisors: D. Kuske
- Sujet fléché


Équipe Modèles et algorithmes pour la bioinformatique et la visualisation

  • Mesures et algorithmes de fragmentation multi-échelle de grands ensembles de données / Measures and algorithms for multi­scale fragmentation of massive data
- Mots-clés / Keywords: fragmentation de données, visualisation d'information, fouille de données / data clustering, data mining, informations vizualisation, multiscale modeling
- Directeur(trice) / Advisors: M. Delest (LaBRI) et J-M. Fédou (I3S)
- Sujet fléché

  • Visualisation de graphes dynamiques dans le cadre de systèmes de réécriture de graphes
- Mots-clés: visualisation, graphes dynamiques, réécriture de graphes
- Directeurs: G. Mélançon et B. Pinaud

  • Filtres pour la recherche de similarités dans des structures arborescentes: application aux ARN
- Mots-clés: bioinformatique, distance en ARN, indexation, filtrage
- Directeurs: P. Ferraro et J. Allali

  • Structures de données compactes et distribués dédiés à la fouille de données
- Mots-clés: fouille de données, parallélisme et systèmes distribués, visualisation de l'information, optimisation, algorithmique de graphes
- Directeurs: N. Hanusse et S. Maabout


Équipe Support et Algorithmes pour les Applications Numériques Hautes performances (Satanas)

  • Ordonnancement structuré de tâches OpenMP / Structured OpenMP Task Scheduling
- Mots-clés / Keywords: threads, ordonnancement, support exécutif, multi-coeur, calcul intensif / threads, scheduling, runtime system, multicore, high performance computing
- Directeurs / Advisors: R. Namyst et O. Aumage

  • Algorithmique de l’équilibrage de charge pour des couplages de codes complexes
- Mots-clés: parallélisme, simulation numérique, couplage de codes, partitionnement, graphe, hypergraphe, MPI
- Directeurs: J. Roman, A. Esnard et O. Coulaud


Propositions externes ou de laboratoires extérieurs

  • Proposition de thèse CIFRE pour le secteur du e- learning
- Laboratoire / Entreprise: LIRIS / Formagraph (Lyon et Besançon)

  • Plates-formes de gestion de flux spatio-temporels pour périphériques embarqués mobiles
- Laboratoire: LIUPPA (Pau)
- Directeurs: M. Dalmau et P. Roose
  • Proposition de thèse CIFRE sur la fraude à la carte bancaire sur Internet
- Laboratoire / Entreprise: LIP6 / Thales (Paris)\\\
Page mise à jour le 23/06/2010 à 22:26