ARN  ARN non codants  Adaptation  Algorithme  Algorithmes  Algorithmes bio-inspirés  Algorithmes d'approximation  Algorithmes génétiques  Algorithmes parallèles  Algorithmes évolutionnaires  Algorithmique  Algèbre linéaire  Analyse de réseau  Annotation sémantique  Apprentissage  Apprentissage artificiel  Apprentissage automatique  Apprentissage par renforcement  Apprentissage par renforcement  Apprentissage profond  Apprentissage supervisé  Approximation  Approximation stochastique  Arbres  Architecture -- Informatique  Architecture Web  Architectures parallèles  Arts graphiques  Assistant de preuve  Assistants de preuve  Auto-stabilisation  Automatisation  Bases de données -- Gestion  Bases de données -- Interrogation  Bases de données  Bases de données réparties  Bases de données sur le Web  Benchmark  Bibliothèques numériques  Bioinformatique  C plus-plus  C++  CUDA  Calcul haute performance  Calcul intensif  Cell BE  Certification  Chemins et cycles  Cloud  Codage réseau  Collecte de données  Coloriage de graphes  Combinatoire algébrique  Compilation  Compilation  Complexité  Complexité de calcul  Conception assistée par ordinateur  Conception centrée sur l'utilisateur  Contraintes en probabilités  Coopération  Couplage, Théorie du  Cours en ligne ouverts à tous  Créativité  Cycle Hamiltonien  Datalog  Design  Design interactif  Diagnostic  Diagnosticabilité  Données massives  Données ouvertes  Détection de défaut  Entrepôt de données  Exploration de données  Exécution symbolique  FPT  Factorisation LU  Fiabilité  Files d'attente, Théorie des  Flux de données  Flux de travail  Fusion multicapteurs  GPU  Gestes  Graphes arêtes-coloriés  Graphes hamiltoniens  Graphes, Théorie des  Génie logiciel  Génomique  Hypercube  Information, Théorie de l'  Informatique dans les nuages  Intelligence artificielle  Interaction homme-ordinateur  Interfaces graphiques  Interfaces utilisateur  Isabelle/HOL  Langages de programmation -- Sémantique  Langages formels  Linked Data  Localisation  Logiciels -- Vérification  Logiciels  Logique  Logique du premier ordre  Logique propositionnelle  MapReduce  Maximums et minimums  Model checking  Modèles mathématiques  Modélisation conceptuelle  Monte-Carlo, Méthode de  Murs d'écrans  Méthodes formelles  Méthodes formelles  OLAP  OLAP  Ontologie  Ontologies  Optimisation  Optimisation bruitée  Optimisation combinatoire  Optimisation continue  Optimisation globale  Optimisation mathématique  Optimisation multi-objectif  Optimisation non différentiable  Optimisation stochastique  Parallélisation  Parallélisme  Parallélisme  Personnalisation  Plateformes commerciales de cloud computing  Polytopes convexes  Preuve de programmes  Preuve formelle  Prise de décision séquentielle  Processeurs graphiques  Programmation convexe  Programmation dynamique  Programmation générative  Programmation générique  Programmation parallèle  Programmation parallèle  Programmation stochastique  Projection  Protocoles de population  Prototypage rapide  Provenance  Pseudo-noeuds  Psychologie expérimentale  Qualité de Service  Qualité de service  RDF  Recherche de l'information  Représentation des connaissances  Représentations de semigroupes  Ressource Description Framework  Robotique  Routage  Réponse aux requêtes  Réseau sans fil multi-sauts  Réseaux ad hoc  Réseaux locaux sans fil  Réseaux métaboliques  Réseaux sociaux  Réseaux sociaux  Réseaux électriques intelligents  Réécriture, Systèmes de  SMT  SPARQL  Services Web  Simulation  Solveurs  Stochastique  Stratégies d'évolution  Système de recommandation  Systèmes adaptatifs  Systèmes d'affichage  Systèmes de communication sans fil  Systèmes de recommandation  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Sémantique  Technique d'interaction  Technologie éducative  Test  Test formel  Tests  Thèses et écrits académiques  Théorie des jeux  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Traitement réparti  Vérification déductive  Web sémantique  XML  XML  

193 thèses soutenues ayant pour partenaire de recherche Laboratoire de recherche en informatique (Orsay, Essonne)
Extrait des plus récentes :

Réseaux, information et communications
Soutenue le 25-01-2019
thèse

Informatique
Soutenue le 14-12-2018
thèse
Informatique
Soutenue le 11-12-2018
thèse