Sujets

Sujets de thèses proposés par les équipes de l'ED

Éléments 223

Domaine	Domain - extra	Année	Starting	État	Sujet	Thesis advisor	Laboratory	Détails	Expected funding	Status of funding	Créé	joints
Machine Learning-Robotics		2010	Oct 2010	Open	An Information Theoretic Approach for Embedded Statistical Learning in Robotics	SEBAG Michèle	LRI A&O		Institutional funding	Expected	21 Jun 2010 10:06	0
Machine Learning-Robotics		2010	Oct 2010	Open	An Information Theoretic Approach for Embedded Statistical Learning in Robotics	SEBAG Michèle	LRI A&O		Institutional funding	Expected	21 Jun 2010 10:07	0
Parallelism-High Performance Computing-Grid		2010	septembre/octobre	Open	Modélisation et optimisation de la gestion mémoire et des communications pour le calcul intensif: utilisation des produits tensoriels et application à la chromodynamique quantique	EISENBEIS Christine	INRIA-Saclay POSTALE		Institutional funding	Expected	21 Jun 2010 11:46	0
Machine Learning-Robotics		2010	Octobre 2010	Open	Apprentissage de lieux par méthodes statistiques en robotique autonome	TARROUX Philippe	LIMSI CPU	SujetThese-2010-limsi-agro.pdf	Institutional funding	Expected	18 Jun 2010 18:25	1
Networks	Modelling (optimization, game theory, ...)	2010	01/10/2010	Open	Cross-layer resource allocation in wireless networks with opportunistic cooperation	AL AGHA Khaldoun	LRI		Institutional funding	Expected	01 Mar 2010 16:35	0
Natural Language Speech and Audio Processing	psycholinguistics, machine learning, corpus linguistics	2010	corpus linguistics, machine learning, psycholinguistics	Open	Automatic speech transcription error recovery using multiple knowledge sources	ADDA-DECKER Martine	EXT	SujetTheseIV.pdf	Research contract	Expected	26 Feb 2010 23:19	1
Natural Language Speech and Audio Processing	psycholinguistics, machine learning, corpus linguistics	2010	automn 2010	Open	Automatic speech transcription error recovery using multiple knowledge sources	ADDA-DECKER Martine	EXT	SujetTheseIV.pdf	Research contract	Expected	29 Jun 2010 16:09	1
Interaction		2010	October	Closed	Exploration de données multi-dimensionnelles complexes dans une perspective multi-échelles	PUECH Claude	EXT		Institutional funding	Expected	29 Jun 2010 17:11	0
Databases-Web-Information Retrieving		2010	October	Closed	Efficient Querying for the Semantic Web	GOASDOUE François	EXT extérieur	sujetThese2010.pdf	Institutional funding	Confirmed	07 Apr 2010 16:04	1
Natural Language Speech and Audio Processing	Formal specification	2010	1 septembre 2010	Closed	Construction et vérification de la spécification formelle d'une configuration d'environnement intelligent issue d'une description textuelle	GRAU Brigitte	LIMSI ILES	theseDigiteo.pdf	Research contract	Confirmed	07 Jun 2010 17:51	1
Other	Evolution of Artificial Gene Regulatory Networks	2010	octobre 2010	Open	Evolution de réseaux de régulation génétiques artificiels	SCHOENAUER Marc	INRIA-Saclay TAO		Institutional funding	Expected	26 Feb 2010 17:03	0
Parallelism-High Performance Computing-Grid	Distributed Computing	2011	1-09-2011	Open	Étude de protocoles de collecte de données dans un contexte mobile et réparti.	BEAUQUIER Joffroy	LRI ParSys		Research Contract	Expected	16 Mar 2011 15:17	0
Algorithmics-Graphs-Combinatorics	Quantum communication	2011	01/09/2011	Open	Nonlocalité quantique et complexité de la communication	LAPLANTE Sophie	LRI		Institutional funding	Expected	29 Mar 2011 10:23	0
Algorithmics-Graphs-Combinatorics		2011	01/09/2011	Open	Bornes inférieures en complexité des requêtes et en complexité de la communication quantique par des méthodes de codage	LAPLANTE Sophie	LRI		Institutional funding	Expected	29 Mar 2011 10:29	0
Networks	Wireless networks	2011	September 2011	Open	Cooperation strategies for energy-aware wireless heterogeneous networks	BOUKHATEM Lila	LRI ROCS	Lila_Boukhatem_Cooperation strategies for energy_2011.pdf	Institutional funding	Expected	30 Mar 2011 11:16	1
Databases-Web-Information Retrieving	Semantic Web	2011	september or october	Closed	Traitement efficace de données pour entrepôts RDF	MANOLESCU Ioana	INRIA-Saclay OAK	DW4RDF-PROC.pdf	Research contract	Expected	18 Mar 2011 12:31	1
Algorithmics-Graphs-Combinatorics		2011	01/09/2011	Open	Modélisation, analyse et vérification de systèmes non déterministes, probabilistes et à information incomplète.	PEYRONNET Sylvain	EXT		Institutional funding	Expected	31 Mar 2011 10:18	0
Interaction	Ambient Intelligence	2011	September 2011	Open	Étude des problèmes posés par la supervision des tâches utilisateur dans les environnements ambiants et conception d’un modèle permettant le suivi et l'assistance des utilisateurs dans l'exécution de ces tâches.	BELLIK Yacine	LIMSI AMI		Projet AUTAS si accepté	Expected	06 Apr 2011 11:24	0
Bioinformatics		2011	October	Closed	Inference of a brain model from functional neuroimaging data within the BrainPedia project.	POLINE Jean-Baptiste	INRIA-Saclay Parietal	sujet_brainpedia.pdf	Research contract	Confirmed	06 Apr 2011 13:50	1
Programming-Testing-Proving		2011	Septembre	Closed	Certificats, Modèles et Interpolants de Craig pour le démonstrateur automatique Alt-Ergo	CONCHON Sylvain	LRI VALS		Institutional funding	Expected	02 mai 2011 11:47	0
Bioinformatics	Databases-Machine Learning	2011	September	Open	Building signaling pathways by reasoning on pieces of biological knowledge	FROIDEVAUX Christine	LRI Bioinfo		Institutional funding	Expected	10 Apr 2011 19:45	0
Databases-Web-Information Retrieval		2011	September/October 2011	Closed	Efficient cloud-based stores for large-scale Web data management	COLAZZO Dario	EXT	sujet2011-ED.pdf	Institutional funding	Expected	02 mai 2011 21:52	1
Programming-Testing-Proving	Formal proofs -- mathematics	2011	01/09/2011	Closed	De nouveaux réels pour Coq	BOLDO Sylvie	INRIA-Saclay Toccata		Research contract	Confirmed	29 Apr 2011 13:40	0
Algorithmics-Graphs-Combinatorics	Computational Geometry	2011	September	Closed	Topological and Geometric Inference from Measures	CHAZAL Frédéric	INRIA-Saclay Geometrica/Saclay		Institutional funding	Confirmed	04 mai 2011 11:48	0
Programming-Testing-Proving	Program-based Tests	2011	1.10.2010	Open	Random-Based Methods for Test-Case-Generation of C Programs	WOLFF Burkhart	LRI VALS	Random-based Test-Case Generation for C (RTGC).pdf	Institutional funding	Expected	08 Jun 2010 00:08	1

«
1
2 (en cours)
3
4
…
9
»

Connexion

Ecole Doctorale Informatique Paris-Sud

Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps

ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr