sujets de thèse

Vous trouverez ci-dessous la liste des sujets de thèse qui sont regroupés en trois groupes. Ces sujets sont proposés par le département informatique au concours de la spécialité informatique de l'école doctorale I2S pour l'obtention d'une bourse ministérielle.
Les sujets ci-dessous sont classés par paquets de même priorité. Mais je rappelle que tous les sujets sont ouverts au concours sauf ceux qui sont dans le groupe "pour affichage".

Informations sur COMMENT CANDIDATER

Liste des sujets du permier groupe

TITRE : Decentralized and Personalized Recommendation Protocols
ENCADRANTS : Esther Pacitti, Michelle Cart, Patrick Valduriez
MAIL : Esther Pacitti
LABORATOIRE / EQUIPE : LIRMM / SAPHIR (IDC)
Détails du sujet

TITRE : Le langage asymptotique des courbes lisses
ENCADRANTS : Thierry Monteil et Gwénaël Richomme
MAIL : Gwénaël Richomme ou Thierry Monteil
LABORATOIRE / EQUIPE : LIRMM / ARITH
Détails du sujet

TITRE : Etude des graphes sans entrelacs
ENCADRANTS : Mr Goncalves et Mr Thomasse
MAIL : Mr Goncalves ou Mr Thomasse
LABORATOIRE / EQUIPE : LIRMM / ALGECO
[Détails du sujet]

TITRE : Solutions des problèmes de recouvrement sous contraintes sur le degré des noeuds
ENCADRANTS : Sylvain Durand et Miklos Molnar
MAIL : Durand ou Miklos Molnar
LABORATOIRE / EQUIPE : LIRMM / APR
Détails du sujet
Liste des sujets du second groupe

TITRE : Interrogation de grandes bases de connaissance avec des règles, algorithmes
ENCADRANTS : Michel Leclère et Marie-Laure Mugnier
MAIL : Michel Leclère ou Marie-Laure Mugnier
LABORATOIRE / EQUIPE : LIRMM / GraphIK (RCR)
Détails du sujet

TITRE : Consolidation de grands réseaux lexicaux
ENCADRANTS : Mathieu Lafourcade
MAIL : Mathieu Lafourcade
LABORATOIRE / EQUIPE : LIRMM / TAL
Détails du sujet
Détails supplémentaires

TITRE : Adapter le niveau de consistance locale pendant la recherche
ENCADRANTS : Christian Bessière et Fréderic Koriche
MAIL : Christian Bessière ou Fréderic Koriche
LABORATOIRE / EQUIPE : LIRMM / COCONUT
Détails du sujet

TITRE : Extraction de relation sémantiques à partir de gloses dans un contexte monolingue et multilingue
ENCADRANTS : Mathieu Roche, Mela, Violaine Prince
MAIL : Mathieu Roche ou Violaine Prince
LABORATOIRE / EQUIPE : LIRMM / TAL
Détails du sujet

TITRE : Etude, conception et réalisation d'une machine virtuelle en
héritage multiple
ENCADRANTS : Roland Ducourneau MAIL : Roland Ducourneau
LABORATOIRE / EQUIPE : LIRMM / DOC
[Détails du sujet ]

TITRE : Parallel FFLAS
ENCADRANTS : Pascal Giorgi, Laurent Imbert
MAIL : Pascal Giorgi
LABORATOIRE / EQUIPE : LIRMM / ARITH
Détails du sujet :
L'émergence d'architecture de calcul "manycore" dans nos ordinateurs de bureau augure un changement significatif dans notre appréhension de l'algorithmique. Les mathématiques et leurs applications sont fortement impactées par ces
changements qui permettent aujourd'hui d'atteindre des challenges de calcul jusqu'alors inaccessibles, on peut citer par exemple le cassage du cryptosystème RSA-768 en 2010.

L'algèbre linéaire est une cible importante pour ces améliorations puisqu'elle est au fondement des mathématiques et toute amélioration dans cet axe à de fortes répercutions. A titre d'exemple, l'algèbre linéaire numérique est au
coeur des préoccupations du monde HPC, puisqu'elle permet de faire aujourd'hui le classement des meilleurs supercalculateurs mondiaux.
En comparaison, le calcul algébrique est assez récent et il n'a pas atteint la même maturité algorithmique et logicielle. En effet, les structures mathématiques sous-jacentes (i.e. corps finis, polynômes, rationnels) ajoute
des contraintes d'irrégularité dans les calculs qui reste difficile à appréhender.

Le sujet de cette thèse consiste à travailler sur la définition d'algorithmes et de solution logicielles parallèles pour le calcul en algèbre linéaire dense sur un corps finis. En particulier, les problématiques à appréhender sont:
- comment paralléliser le produit de matrices et la factorisation matricielle LU avec des coefficients dans un corps finis (en simple ou multiprécision)
- comment exploiter cette parallélisation dans des algorithmes de plus haut niveau
- comment définir des solutions logicielles adaptative à l'environnement de calcul (i.e. modèle mémoire partagée ou
distribuée)
Liste des sujets du troisième groupe

TITRE : Propriétés structurelles des graphes via des procédures de
déchargement global
ENCADRANTS : Benjamin Lévêque, Alexandre Pinlou, Stéphan Thomassé
MAIL : Alexandre Pinlou ou Stéphan Thomasse ou Benjamin Lévêque
LABORATOIRE / EQUIPE : LIRMM / ALGECO
[Détails du sujet ]

TITRE : Communications économes en énergie dans les réseaux de capteurs à topologie régulière
ENCADRANTS : A.E. Baert
MAIL : A.E. Baert
LABORATOIRE / EQUIPE : LIRMM / APR
[Détails du sujet ]

TITRE : Cartes combinatoires pour la modélisation des tissus végétaux
ENCADRANTS : Christophe Fiorio, Gaudin
MAIL : Christophe Fiorio
LABORATOIRE / EQUIPE : LIRMM / ARITH
[Détails du sujet ]
Liste des sujets du dernier groupe (AFFICHAGE, PAS DE CONCOURS POUR CES SUJETS)

TITRE : Extraction de lignes de produits logiciels à partir de codes existants
ENCADRANTS : Marianne Huchard, Abdelhak Seriai
MAIL : Marianne Huchard ou Abdelhak Seriai
LABORATOIRE / EQUIPE : LIRMM / DOC
[Détails du sujet ]

TITRE : Approche basée sur squelettes pour la simplification et
visualisation de modèles 3D
ENCADRANTS : Nancy Rodriguez
MAIL : Nancy Rodriguez
LABORATOIRE / EQUIPE : LIRMM / ICAR
[Détails du sujet ]

TITRE : Modélisation et simulation multi-agents de systèmes complexes et calcul haute performance
ENCADRANTS : Jacques Ferber, Fabien Michel
MAIL : Jacques Ferber ou Fabien Michel
LABORATOIRE / EQUIPE : LIRMM / SMILE
[Détails du sujet ]

TITRE : Classification de motifs spatio-temporels pour la surveillance des épidémies de dengue en Nouvelle Calédonie
ENCADRANTS : Pascal Poncelet, Maguelone Tesseire, Sandra Bringay
MAIL : Pascal Poncelet ou Sandra Bringay
LABORATOIRE / EQUIPE : LIRMM / TATOO
[Détails du sujet ]

TITRE : IA hybride et contributive pour le jeux de go
ENCADRANTS : Eric Bourreau, Pierre Pompidor
MAIL : Pierre Pompidor
LABORATOIRE / EQUIPE : LIRMM /
[Détails du sujet ]

TITRE : Identifications d'entités dans des bases de méta-données
ENCADRANTS : Michel Leclère et Michel Chein
MAIL : Michel Leclère
LABORATOIRE / EQUIPE : LIRMM / GraphIK (RCR)
Détails du sujet

TITRE : Décision argumentée pour l'arbitrage au sein des filières agroalimentaires
ENCADRANTS : Jérôme Fortin et Rallou Thomopoulos
MAIL : Rallou Thomopoulos ou Jérôme Fortin
LABORATOIRE / EQUIPE : LIRMM et IATE (équipe RCR / GraphIK)
LIEU : LIRMM ou IATE
Détails du sujet

(Archive des) Sujets de 2010

Archive des sujets de thèse de 2011