Candidatures 2006

Nom	Titre de la these	Universite	Labo	Region
Agarwal Ankur	Apprentissage machine pour l'estimation du mouvement humain	INPG	IMAG	Grenoble
Aguilar Carlos	Les communications anonymes à faible latence	INSA Toulouse	LAAS	Toulouse
Almeida Matos Ana	Typage du flux d'information sûr : déclassification et mobilité	Mines Paris	INRIA Sophia-Antipolis	Nice
Andronick June	Modélisation et vérification formelles de systèmes embarqués dans les cartes à microprocesseur	Paris 11	LRI	Paris
Assaad Mohamad	Etude multi-couches dans le systàme HSDPA	ENST Paris	RS2M	Paris
Aucouturier Jean-Julien	Dix expériences sur la modélisation du timbre polyphonique	Paris 6	LIP6	Paris
Batt Grégory	Validation de modèles qualitatifs de réseaux de régulation génique	Grenoble 1	INRIA Rhone-Alpes	Grenoble
Ben-Naim Jonathan	Autour de la caractérisation de raisonnements de sens commun en présence d'informations incertaines	Aix-Marseille 1	LIFM	Marseille
Bertails Florence	Simulation de chevelures virtuelles	INPG	INRIA Rhone-Alpes	Grenoble
Boneva Iovka	Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés	Lille 1	LIFL	Lille
Bouillard Anne	Optimisation et analyse probabiliste de systèmes à événements discrets	ENS Lyon	LIP	Lyon
Chaintreau Augustin	Processus d'interaction dans les réseaux de données	Paris 6	LIENS	Paris
Ciofolo Cybèle	Segmentation de formes guidée par des modèles en neuro-imagerie	Rennes 1	IRISA	Rennes
Clatz Olivier	Modèles biomécaniques et physio-pathologiques pour l'analyse d'images cérébrales	Mines Paris	INRIA Sophia-Antipolis	Nice
Comport Andrew	Suivi robuste d'objets 3D rigides et articulés en temps réel pour la réalité augmentée et la robotique	Rennes 1	IRISA	Rennes
Couchot Jean-François	Vàrification d'invariants de systèmes paramétrés par superposition	Franche-Comté	LIFC	Besançon
D'Aquin Mathieu	Un portail sémantique pour la gestion des connaissances en cancérologie	Nancy 1	LORIA	Nancy
Dang-Ngoc François	Sécurisation du contrôle d'accès pour des documents XML	Versailles	INRIA Rocquencourt	Paris
Delaune Stéphanie	Vérification des protocoles cryptographiques et propriétes algébriques	ENS Cachan	LSV	Paris
Djelloul Khalil	Théories complètes autour des arbres	Aix-Marseille 2	LIFM	Marseille
Escoffier Bruno	Approximation polynomiale de problèmes d'optimisation : aspects structurels et opérationnels	Dauphine	LAMSADE	Paris
Etien Anne	Ingéniérie de l'alignement : concepts, modèles et processus	Paris 1	CRI	Paris
Franco Jean-Sébastien	Modélisation tridimensionnelle à partir de silhouettes	INPG	INRIA Rhone-Alpes	Grenoble
Gava Frédéric	Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs	Paris 12	LACL	Paris
Guennebaud Gael	Algorithmes pour le rendu temps-réel de haute qualité des géometries basées points	Toulouse 3	IRIT	Toulouse
Guyot Paul	Simulations multi-agents participatives: Faire interagir agents et humains pour explorer, modéliser et reproduire les comportements collectifs	Paris 6	LIP6	Paris
Hermant Olivier	Méthodes sémantiques en déduction modulo	Paris 7	INRIA Futurs	Paris
Ilcinkas David	Complexité en espace de l'exploration de graphes	Paris 11	LRI	Paris
Ingelrest François	Protocoles localisés de diffusion et economie d'énergie dans les réseaux ad hoc et de capteurs	USTL	LIFL	Lille
Jaffrès-Runser Katia	Stratégies pour la planification de réseaux locaux sans fil	INSA Lyon	CITI	Lyon
Joubert Christophe	Vérification distribuée à la volée de grands espaces d'états	INPG	INRIA Rhone-Alpes	Grenoble
Kulpa Richard	Adaptation interactive et performante des mouvements d'humanoides synthétiques	INSA Rennes	IRISA	Rennes
La Greca Raphaël	Approche déclarative de la modélisation de surfaces	Aix-Marseille 2	LSIS	Marseille
Lebhar Emmanuelle	Algorithmes de routage et modèles aléatoires pour les graphes petits mondes	ENS Lyon	LIP	Lyon
Mandel Louis	Conception, sémantique et implantation de ReactiveML : un langage à la ML pour la programmation réactive	Paris 6	LIP6	Paris
Oudot Steve	Echantillonnage et maillage de surfaces avec garanties	Ecole Polytechnique	INRIA Sophia-Antipolis	Nice
Pichardie David	Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certifiés	Rennes 1	IRISA	Rennes
Pons Jean-Philippe	Contributions méthodologiques et appliquées à la méthode des modèles déformables	Ponts	INRIA Sophia-Antipolis	Nice
Ridoux Julien	Structures virtuelles en treillis pour la représentation topologique des réseaux auto-organisables	Paris 6	LIP6	Paris
Rioult François	Extraction de connaissances dans les bases de donneés comportant des valeurs manquantes ou un grand nombre d'attributs	Caen	GREYC	Caen
Séréni Jean-Sébastien	Coloration de graphes et applications	Nice	INRIA Sophia-Antipolis	Nice
Stehlé Damien	Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques	Nancy 1	LORIA	Nancy
Tran Trang	Approches combinatoires pour l'analyse des données de biopuces	Lille 2	CIB	Lille
Wack Benjamin	Typage et déduction dans le calcul de réécriture	Nancy 1	LORIA	Nancy
Zhang Yu	Relations logiques cryptographiques	ENS Cachan	LSV	Paris

---