|
Prénom |
Nom |
Titre de la thèse |
Directeur(s) |
Labo |
|
Anas |
ABOU EL KALAM |
Modèles et politique de sécurité pour les domaine de la santé et des
affaires sociales |
Yves Deswarte LAAS |
LAAS |
|
Adrien |
BARTOLI |
Reconstruction et alignement en vision 3D: points, droites, plans et caméras |
Peter Sturm et Radu Horaud |
GRAVIR (Movi) |
|
Thierry |
BENOIST |
Relaxation et décompositions combinatoires |
Philippe Michelon et Benoît Rottembourg |
Eq. RO & Optim |
|
SidAhmed |
BERRANI |
Recherches approximatives de plus proces voisins avec contôle probabiliste
de la précision |
Patrick Gros et Laurent Amsaleg |
IRISA (TexMex) |
|
Christophe |
BLONDEL |
Modélisation 3D et 3D+t des artères coronaires |
Nicolas Ayache |
INRIA Sophia |
|
Olivier |
BUFFET |
Une double approche de l'apprentissage par renforcement pour des agents
intelligents adaptatifs |
Alain Dutech (?) |
LORIA (Maia) |
|
Eric |
COLIN DE VERDIERE |
Racccourcissemnt de courbes et décompositionde surface |
Michel Pocchiola |
ENS Ulm |
|
Emilie |
DANNA |
Integration des techniques de recherche locale a la programmation lineaire
en nombres entiers |
Claude Le Pape |
Eq. RO & Optim |
|
Fabien |
DE MARCHI |
Découverte et visualisation par l'exemple des dépendances fonctionnelles
dans les bases de données relationnelles |
Michel Schneider et JeanMarc Petit |
LIRIS |
|
Dominique |
DHOUTAUT |
Etude du standard IEEE 802.11 dans les réseaux adhoc |
Isabelle Guéri-Lasous et Stéphane Ubeda |
INSA |
|
Marie |
DUFLOT |
Algorithmes distribués sur les anneaux paramétrés: preuves de convergence
probabiliste et déterministe |
Laurent Fribourg |
ENS Cachan |
|
Ernesto |
EXPOSITO |
Protocole de transports orientés Qualité de Service pour les réseaux
multimédia |
Patrick Senac et Michel Diaz |
LAAS |
|
Sandrine-Dominique |
GOURAUD |
Utilisation de structures combinatoires pour le test statistique |
M.C. Gaudel, Alain Denise et Bruno Marre |
LRI |
|
Ludovic |
HENRIO |
Calcul d'objets concurrents: confluence et déterminisme |
Denis Caromel et Bernard Serpette |
INRIA Sophia (Oasis) |
|
Josue |
KURI |
Problèmes d'optimisationdans les réseaux optiques de transport avec
connexions planifiées |
Maurice Gagnaire |
ENST |
|
Arnaux |
LEGRAND |
Algorithmique parallèle hétérogène et techniques d'ordonnancement: approches
statiques et dynamiques |
Olivier Beaumont et Yves Robert |
ENS |
|
Jerôme |
LEROUX |
Algorithmique de la vérification des systèmes à compteurs. Approximation et
accélération. Implémentation de l'outil FAST |
Alain Finkel |
ENS Cachan |
|
Steven |
MARTIN |
Maitrise de la dimension temporelle de la qualité de sevice dans les réseaux |
Pascale Minet et Laurent George |
Paris XII |
|
Christophe |
OSSWALD |
Classification et analyse de la similitude et hypergraphes |
Jean-Pierre Bathélémy |
ENST Bretagne |
|
Virgile |
PREVOSTO |
Conception et implentation du langage FOC pour les logiciels certifiés |
Thérèse Hardin et Damien Doligez |
Paris 6 |
|
Patricia |
RENAULT |
Méthodes de réduction de réseaux RC appliquées aux outils de vérification de
circuits submicroniques |
Pirouz Bazargan-Sabet |
Paris 6 |
|
Patrick |
REUTER |
Reconstruction and rendering of implicit surfaces from large unorganized
point sets |
Chistophe Schlick |
Labri |
|
Emmanuel |
SAPIN |
Recherche par algorithmes évolutionnaires d'automates cellulaires universels |
Olivier Bailleux |
U. Bourgogne |
|
Benoit |
SONNTAGNONST |
La puissance des prototypes à l'assaut des systèmes d'exploitation |
Dominique Colnet |
LORIA |
|
Tayssir |
TOUILI |
Analyse symbolique de systèmes infinis basée sur les automates: application
à la vérification des systèmes paramétrés et dynamiques |
Ahmed Bouajjani |
LIAFA |
|
Serghei |
VERLAN |
Systèmes de Head et application à la bioinformatique |
Maurice Margenstern |
LITA |
|
Pascal |
ZIMMER |
Récursion généralisée et inférence de types avec intersection |
Gérard Boudol |
INRIA Sophia |
