Chargement...
EDIPS
Wiki de l'Ecole Doctorale d'Informatique de Paris-Sud
Présentation
Equipes d'accueil
Thèses en cours
Cursus
Première Inscription
Sujets/Contrats Doctoraux
Recapitulatif sujets
Candidature allocations
Missions hors recherche
HDR
Passer une HDR
Encadrer sans HDR
Sujets
Sujets de thèses proposés par les équipes de l'ED
Tracker actions
Éléments
223
Choisir un filtre
Domaine
Année
Starting
État
Sujet
Thesis advisor
Laboratory
Expected funding
Status of funding
Co-advisors
Collaborations
Abstract
Context
Objectives
Work program
Extra information
Prerequisite
Parallelism-High Performance Computing-Grid
Networks
Programming-Testing-Proving
Bioinformatics
Machine Learning-Robotics
Algorithmics-Graphs-Combinatorics
Databases-Web-Information Retrieval-Reasoning
Interaction
Virtual and Augmented Reality
Natural Language Speech and Audio Processing
Autre
2014
2013
2012
2011
2010
Open
Closed
Institutional funding
Research contract
Expected
Confirmed
Domaine
Domain - extra
Année
Starting
État
Sujet
Thesis advisor
Laboratory
Détails
Expected funding
Status of funding
Créé
joints
Programming-Testing-Proving
Testing Theory, Theorem Proving, Autom. Generation of Tests
2011
September
Open
Testing based on Symbolic Automata in TestGen
WOLFF Burkhart
LRI
VALS
Institutional funding
Expected
03 Jun 2011 11:10
0
Natural Language Speech and Audio Processing
Machine translation
2011
october
Open
Réordonnancements discriminants en traduction automatique statistique
YVON François
LIMSI
TLP
Institutional funding
Expected
06 Jun 2011 11:56
0
Programming-Testing-Proving
Web-Services
2010
Septembre
Open
Formal Models and Techniques for Social Service Composition
POIZAT Pascal
EXT
LIP6
Research contract
Expected
15 Feb 2010 17:37
0
Programming-Testing-Proving
Service Composition, Formal Methods
2010
September
Open
Model-based Techniques for Automatic PIMS Construction
POIZAT Pascal
EXT
LIP6
Research contract
Expected
15 Feb 2010 17:57
0
Bioinformatics
Data Mining
2011
sept 2011
Closed
Modelling and scoring of protein-RNA complexes
FROIDEVAUX Christine
LRI
Bioinfo
Institutional funding
Expected
01 Jun 2011 17:03
1
Parallelism-High Performance Computing-Grid
High-Level & Runtime Compilation
2011
Septembre
Open
Parallélisation et Optimisation Dynamiques et Hiérarchiques
BASTOUL Cédric
LRI
Institutional funding
Expected
18 Jun 2011 00:29
0
Algorithmics-Graphs-Combinatorics
Mathématiques-Informatique-Musique
2011
October 2011
Open
Théorie des graphes et analyse musicale assistée par ordinateur
MANOUSSAKIS Yannis
LRI
GALaC
Institutional funding
Expected
19 Jun 2011 17:24
0
Machine Learning-Robotics
Reinforcement Learning
2011
Sept. 2011
Open
Integrity Preserving Policy Learning
SEBAG Michèle
LRI
A&O
IPRL.pdf
Institutional funding
Expected
19 Jun 2011 17:55
1
Algorithmics-Graphs-Combinatorics
Nash Equlibria-Networks-Security
2011
October 2011
Open
Application of game algorithms in the study of network security problems
MANOUSSAKIS Yannis
LRI
GALaC
Sujet-NashEqulibria-Networks-Security.pdf
Institutional funding
Expected
19 Jun 2011 17:40
1
Interaction
Visu
2011
09/2011
Closed
Visualisation et contrôle collaboratifs de données temporelles multi-structurées
FEKETE Jean-Daniel
INRIA-Saclay
AVIZ
Institutional funding
Expected
20 Jun 2011 10:39
0
Parallelism-High Performance Computing-Grid
Brain Computer Interface
2011
Sept. 2011
Open
Unsupervised Brain Computer Interface
SEBAG Michèle
LRI
A&O
Research contract
Expected
20 Jun 2011 11:33
0
Machine Learning-Robotics
Brain Computer Interface
2011
Sept. 2011
Open
Unsupervised Brain Computer Interface
SEBAG Michèle
LRI
A&O
Research contract
Confirmed
20 Jun 2011 11:36
0
Machine Learning-Robotics
Optimisation
2011
Sept. 2011
Open
Information Geometric Optimisation
HANSEN Nikolaus
INRIA-Saclay
TAO
Institutional funding
Expected
20 Jun 2011 11:56
0
Machine Learning-Robotics
Stochastic Optimization
2011
September 2011
Open
Enhancement and Analysis of Evolution Strategies
HANSEN Nikolaus
INRIA-Saclay
TAO
Institutional funding
Expected
07 Jun 2011 15:03
0
Machine Learning-Robotics
Computational geometry
2010
October
Closed
Méthodes topologiques pour la classification de données géométriques
CHAZAL Frédéric
INRIA-Saclay
Geometrica/Saclay
sujet.pdf
Institutional funding
Expected
22 Feb 2010 18:16
1
Algorithmics-Graphs-Combinatorics
Combinatorial Optimization
2011
octobre 2011
Open
Stochastic Combinatorial Optimization
LISSER Abdel
LRI
ROCS
Sujet de these 2011 Combinatorics.pdf
Institutional funding
Expected
25 Mar 2011 14:01
4
Interaction
Interaction Homme-Machine Multimodale
2011
Septembre 2011
Open
Interaction Homme-Machine Corporelle :
Modélisation des Différences Individuelles dans la Gestion de l’Espace d'Interaction
MARTIN Jean-Claude
LIMSI
CPU
Institutional funding
Expected
13 Apr 2011 11:34
0
Interaction
Haptique, Humain Virtuel
2011
Septembre 2011
Open
Communication haptique d’émotions avec des humains virtuels
AMMI Mehdi
LIMSI
AMI
Institutional funding
Expected
12 mai 2011 10:32
1
Natural Language Speech and Audio Processing
Machine translation
2011
october
Closed
Context-Aware Statistical Machine Translation
YVON François
LIMSI
TLP
Institutional funding
Expected
01 Apr 2011 00:02
0
Natural Language Speech and Audio Processing
2011
Octobre 2011
Closed
Fusion d'informations acoustiques et visuelles pour la reconnaissance multimodale de personnes dans des vidéos
BARRAS Claude
LIMSI
TLP
Institutional funding
Expected
11 mai 2011 11:38
0
Databases-Web-Information Retrieval
Fouille de données, annotation de corpus, TAL
2011
Septembre ou octobre
Closed
Fouille de données pour l’analyse de la langue des signes
BRAFFORT Annelies
LIMSI
ILES
Institutional funding
Expected
20 mai 2011 10:34
0
Other
Programmation contraintes, langue des signes, anatomie, TAL
2011
Septembre ou octobre
Closed
Combinaison et résolution de contraintes linguistiques et anatomiques pour un système de synthèse de langue des signes.
FILHOL Michael
LIMSI
ILES
Institutional funding
Expected
20 mai 2011 10:57
0
Databases-Web-Information Retrieval
Semantic web
2011
September or October
Closed
Découverte automatique de Contraintes pour la Réconciliation Sémantique de Données.
PERNELLE Nathalie
LRI
LaHDAK
Institutional funding
Expected
19 mai 2011 17:52
0
Natural Language Speech and Audio Processing
Speech analysis and synthesis
2012
septembre 2012
Open
Caractérisation et reproduction de la personnalité vocale d’un acteur
D'ALESSANDRO Christophe
LIMSI
AA
Institutional funding
Expected
29 Mar 2012 16:22
0
Parallelism-High Performance Computing-Grid
2012
September
Open
Minimizing communication for sparse matrix operations on exascale systems
GRIGORI Laura
INRIA Rocquencourt
LGrigori_CA.pdf
Institutional funding
Expected
16 Jun 2010 22:14
1
«
1
2
3
(en cours)
4
5
…
9
»
Connexion
Nom d'utilisateur:
Mot de passe :
J'ai oublié mon mot de passe
Verouillage Maj. (CapsLock) est actif.
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