ARN  Acquisition des connaissances  Adaptation  Algorithmes  Algorithmes d'approximation  Algorithmes parallèles  Algorithmes évolutionnaires  Algèbre linéaire  Alignement  Allocation de registres  Analyse des données  Animation  Apprentissage  Apprentissage artificiel  Apprentissage automatique  Apprentissage par renforcement  Apprentissage par renforcement  Apprentissage statistique  Apprentissage supervisé  Approximation  Arbres  Architecture -- Informatique  Architecture Web  Architectures parallèles  Auto-stabilisation  Automatisation  Avatars  Bases de données -- Gestion  Bases de données -- Interrogation  Bases de données réparties  Bases de données sur le Web  Benchmark  Bibliothèques numériques  CMA-ES  Calcul haute performance  Calcul intensif  Cell BE  Certification  Cerveau  Chemins et cycles  Classification  Codage réseau  Coloriage de graphes  Communication haptique  Compilateurs  Compilateurs  Compilation  Compilation  Complexité  Complexité de calcul  Conception assistée par ordinateur  Conception centrée sur l'utilisateur  Contexte  Contraintes  Cryptographie  Cycle Hamiltonien  Datalog  Diagnostic  Diagnosticabilité  Distribution  Données du web  Détection de défaut  Entrepôt de données  Exploration de données  Expressivité  Extraction de relations  Extraction d’information  Factorisation LU  Fiabilité  Files d'attente, Théorie des  Flux de données  Flux de travail  GPU  Gestes  Graphes arêtes-coloriés  Graphes hamiltoniens  Graphes, Théorie des  Génie logiciel  Génération automatique  Génération de code  Imagerie par résonance magnétique  Informatique dans les nuages  Informatique quantique  Ingénierie Dirigée par les Modèles  Ingénierie dirigée par les modèles  Intelligence artificielle  Interaction homme-machine  Interaction homme-ordinateur  Interaction tactile  Interfaces utilisateur  Langages de programmation  Langages formels  Linguistique -- Informatique  Linked Data  Logiciels -- Vérification  Logique  Logique du premier ordre  MARTE  MapReduce  Markov, Processus de  Microprocesseurs multi-coeurs  Modèle mémoire  Modélisation conceptuelle  Monte-Carlo, Méthode de  Méthodes formelles  Méthodes formelles  Neuroimagerie  OLAP  OLAP  Ontologie  Ontologies  Optimisation  Optimisation combinatoire  Optimisation continue  Optimisation convexe  Optimisation des requêtes  Optimisation globale  Optimisation multi-objectif  Optimisation non différentiable  Optimisation stochastique  Optimisations  Parallélisation  Parallélisme  Parallélisme  Parole spontanée  Perception visuelle  Personnalisation  Personnalité  Plateformes commerciales de cloud computing  Preuve de programmes  Prise de décision séquentielle  Programmation dynamique  Programmation parallèle  Programmation parallèle  Programmation stochastique  Projection  Prosodie  Prosodie  Protocoles hiérarchiques  Psychologie expérimentale  Qualité de Service  Qualité de service  Questions et réponses, Systèmes de  RDF  Raffinement  Recherche de l'information  Recherche d’information  Reconnaissance automatique de la parole  Reconnaissance automatique des émotions  Reconnaissance de la parole  Reconnaissance de lieux sémantiques  Représentation des connaissances  Représentation intermédiaire  Ressource Description Framework  Robotique  Robots autonomes  Réalité virtuelle  Réponse aux requêtes  Réseaux ad hoc  Réseaux de neurones  Réseaux de neurones artificiels  Réseaux neuronaux  SPARQL  Services Web  Simulation  Simulation par ordinateur  Solveurs  Stratégies d'évolution  Synthèse automatique de la parole  Systèmes adaptatifs  Systèmes automobiles  Systèmes d'affichage  Systèmes d'information  Systèmes distribués  Systèmes embarqués  Systèmes enfouis  Systèmes homme-machine  Systèmes informatiques -- Mesures de sûreté  Systèmes temps réel  Sélection des vues  Sémantique  Techniques d’interaction  Temps réel  Test formel  Tests  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Toucher  Traduction automatique  Traduction automatique statistique  Traitement automatique de la parole  Traitement automatique des langues  Traitement automatique du langage naturel  Traitement réparti  Transformations de boucles  UML  UML  Web sémantique  XML  XML  Émotions  

207 thèses soutenues dans l'école doctorale Informatique de Paris-Sud
Extrait des plus récentes :

Informatique
Soutenue le 24-09-2015
thèse

Informatique
Soutenue le 01-12-2014
thèse