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
Programming-Testing-Proving	Proof of distributed programs	2012	October	Open	Verification of distributed computing libraries	PAULIN-MOHRING Christine	LRI VALS		Research contract	Expected	08 Apr 2012 08:55	0
Networks		2012	September	Open	Traffic aggregation and network coding to reduce energy consumption while mainting the quality of service in mobile networks.	AL AGHA Khaldoun	LRI	PhD proposal in Mobile Computing.pdf	Institutional funding	Expected	22 Feb 2012 10:34	1
Natural Language Speech and Audio Processing		2012	Octobre	Open	Apprendre avec des données incomplètes ou incertaines: application à la traduction automatique statistique.	YVON François	LIMSI TLP		Institutional funding	Expected	10 Apr 2012 15:20	0
Parallelism-High Performance Computing-Grid	Numerical Verification	2012	October 2012	Open	Algorithms for numerical quality in high-performance computing applications	BABOULIN Marc	LRI ParSys		Institutional funding	Expected	28 Feb 2012 17:15	0
Virtual and Augmented Reality	Image processing	2012	October 2012	Open	Ivora (Image and Computer Vision for Augmented Reality): Color invariance and correspondences for the definition of a camera/video-projector system.	JACQUEMIN Christian	LIMSI AMI		Institutional funding	Expected	11 Apr 2012 09:16	0
Natural Language Speech and Audio Processing	Informatique musicale / computer music	2012	septembre 2012	Open	Chironomie et interfaces pour les instruments musicaux virtuels Chrironomy and interfaces for virtual musical instruments control	D'ALESSANDRO Christophe	LIMSI AA		Institutional funding	Expected	13 Apr 2012 17:59	0
Parallelism-High Performance Computing-Grid	Optimization	2012	around september 2012	Open	http://www.maisondelasimulation.fr/Phocea/Vie_des_labos/News/index.php?id_news=220	TEYTAUD Olivier	INRIA-Saclay TAO		Institutional funding	Expected	18 Apr 2012 07:11	0
Programming-Testing-Proving	GUI-level Testing	2012	1.10.2012	Open	Development of a model-based Testing Framework for GUI-level testing of application programs.	WOLFF Burkhart	LRI VALS		CIFRE	Expected	20 Apr 2012 09:47	0
Interaction	Visualisation	2012	Septembre	Open	Interactive visualization of 3D time lapse data of deforming granular media	FEKETE Jean-Daniel	INRIA-Saclay AVIZ		Institutional funding	Expected	10 Apr 2012 19:46	1
Interaction	Visual Analytics	2010	September	Closed	Etude d’un processus interactif de fouille visuelle de données multidimensionnelles	FEKETE Jean-Daniel	INRIA-Saclay AVIZ		Institutional funding	Expected	23 Feb 2010 18:40	0
Interaction	Information visualization, decision making, psychology	2010	October	Closed	Visualizations for Aiding Probabilistic Judgment	FEKETE Jean-Daniel	INRIA-Saclay AVIZ		Institutional funding	Expected	16 Mar 2010 17:09	0
Interaction	Information visualization, tangible user interfaces	2010	December	Closed	Tangible Information Visualization	FEKETE Jean-Daniel	INRIA-Saclay AVIZ		Institutional funding	Expected	27 Apr 2010 11:20	0
Algorithmics-Graphs-Combinatorics		2012	september/October	Open	Stochastic Combinatorial Bilevel Optimization Problems with equilibrium constraints	LISSER Abdel	LRI ROCS		Institutional funding	Expected	30 Mar 2011 23:04	0
Algorithmics-Graphs-Combinatorics	Stochastic Combinatorial Optimization	2010	September 2010	Closed	Stochastic Combinatorial Optimization	LISSER Abdel	LRI ROCS		Institutional funding	Expected	22 Mar 2010 15:03	0
Programming-Testing-Proving	Random-based test Generation	2011	1.10.2011	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	19 Apr 2012 17:21	1
Programming-Testing-Proving	Model-Based testing of Concurrent JAVA Programs	2012	1.10.2012	Open	Model-Based testing of JAVA Programs with Isabelle/HOL-TestGen.	WOLFF Burkhart	LRI VALS		Research contract	Expected	15 mai 2012 14:45	0
Programming-Testing-Proving	Model-based Testing of Operating-System-Level Security Mechanisms	2012	1.10.2012	Open	Model-based Testing of Operating-System-Level Security Mechanisms	WOLFF Burkhart	LRI VALS		Institutional funding	Expected	15 mai 2012 18:53	0
Interaction		2012	October 2012	Open	Mediated remote communication	MACKAY Wendy	INRIA-Saclay EX-SITU (ancienne IN SITU)	MediatedRemoteCommunication.pdf	Institutional funding	Expected	21 mai 2012 07:38	1
Parallelism-High Performance Computing-Grid		2012	1er Octobre	Open	Déploiement automatique de code distribué asynchrone par méta-programmation	ETIEMBLE Daniel	LRI ParSys		Institutional funding	Expected	21 mai 2012 10:59	0
Databases-Web-Information Retrieval	Data Provenance	2012	September 2012	Open	Foundations and Algorithms to Compute the Provenance of Missing Data	BIDOIT Nicole	LRI LaHDAK		Institutional funding	Expected	03 mai 2012 15:02	0
Programming-Testing-Proving	Model-based Testing of Concurrency	2012	1.10.2012	Open	Model-based Testing of Concurrent Operating-System Functions	WOLFF Burkhart	LRI VALS		Institutional funding	Expected	22 mai 2012 15:09	0
Programming-Testing-Proving	Runtime-Testing	2012	october	Open	Random-Based Methods for Testing C Data-Structures	WOLFF Burkhart	LRI VALS	Random-based Runtime-Testing C (RRTC).pdf	Institutional funding	Expected	07 Jun 2010 23:40	1
Programming-Testing-Proving	Parallelized Symbolic Test-Case Generation for Behavioral Models	2012	1.10	Open	Parallelized Symbolic Test-Case Generation for Behavioral Models	WOLFF Burkhart	LRI VALS		Institutional funding	Expected	22 mai 2012 15:24	0
Parallelism-High Performance Computing-Grid	Physics	2012	September 2012	Open	Beyond polyhedral model	EISENBEIS Christine	INRIA-Saclay POSTALE	thesis.pdf	Institutional funding	Expected	31 mai 2012 23:19	1
Programming-Testing-Proving	Data intensive systems certification	2012	september/october 2012	Open	Toward Data Certification	BENZAKEN Véronique	LRI VALS	datacert.pdf	Institutional funding	Expected	01 Mar 2012 15:59	1

«
1
2
3
4 (en cours)
5
6
…
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