Loading...
 
[Show/Hide Left Column]

Tracker: Sujets

Sujets de thèses proposés par les équipes de l'ED
Items found: 223
Domain Domain - extra Year Starting Status Subject Thesis advisor Laboratory Details Expected funding Status of funding Created atts
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 List Attachments 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 List Attachments 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 List Attachments 0
Machine Learning-Robotics 2010 Octobre 2010 Open Apprentissage de lieux par méthodes statistiques en robotique autonome
TARROUX Philippe LIMSI CPU Download SujetThese-2010-limsi-agro.pdf Institutional funding Expected 18 Jun 2010 18:25 List Attachments 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 Réseaux Institutional funding Expected 01 Mar 2010 16:35 List Attachments 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 Download SujetTheseIV.pdf Research contract Expected 26 Feb 2010 23:19 List Attachments 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 Download SujetTheseIV.pdf Research contract Expected 29 Jun 2010 16:09 List Attachments 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 List Attachments 0
Databases-Web-Information Retrieving 2010 October Closed Efficient Querying for the Semantic Web
GOASDOUE François EXT extérieur Download sujetThese2010.pdf Institutional funding Confirmed 07 Apr 2010 16:04 List Attachments 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 Download theseDigiteo.pdf Research contract Confirmed 07 Jun 2010 17:51 List Attachments 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 List Attachments 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 List Attachments 0
Algorithmics-Graphs-Combinatorics Quantum communication 2011 01/09/2011 Open Nonlocalité quantique et complexité de la communication
LAPLANTE Sophie LRI Algo Institutional funding Expected 29 Mar 2011 10:23 List Attachments 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 Algo Institutional funding Expected 29 Mar 2011 10:29 List Attachments 0
Networks Wireless networks 2011 September 2011 Open Cooperation strategies for energy-aware wireless heterogeneous networks
BOUKHATEM Lila LRI ROCS Download Lila_Boukhatem_Cooperation strategies for energy_2011.pdf Institutional funding Expected 30 Mar 2011 11:16 List Attachments 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 Download DW4RDF-PROC.pdf Research contract Expected 18 Mar 2011 12:31 List Attachments 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 List Attachments 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 List Attachments 0
Bioinformatics 2011 October Closed Inference of a brain model from functional neuroimaging data within the BrainPedia project.
POLINE Jean-Baptiste INRIA-Saclay Parietal Download sujet_brainpedia.pdf Research contract Confirmed 06 Apr 2011 13:50 List Attachments 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 May 2011 11:47 List Attachments 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 List Attachments 0
Databases-Web-Information Retrieval 2011 September/October 2011 Closed Efficient cloud-based stores for large-scale Web data management
COLAZZO Dario EXT Download sujet2011-ED.pdf Institutional funding Expected 02 May 2011 21:52 List Attachments 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 List Attachments 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 May 2011 11:48 List Attachments 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 Download Random-based Test-Case Generation for C (RTGC).pdf Institutional funding Expected 08 Jun 2010 00:08 List Attachments 1
Page: 2/9Last Page
12349

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 at lri.fr