, groupes de processus  . ccNUMA  ACO  AMADA  ARN  ARN non codants  ARN non-codant  Abstraction de données  Acteur de croissance, facto- risation QR avec forte révélation de rang  Adaptation  Adaptation des mappings  Adéquation algorithme-architecture  Agrégation de classements  Agrégation de flux  Agrégation de préférences  Ajustement de puissance  Ajustement des hyperparamètres  Algorithme  Algorithme d'alignement stochastique  Algorithme d'échantillonnage  Algorithme de gradient Stochastique  Algorithme de gradient projeté  Algorithme d’approximation  Algorithme extérieur à l'extérieur  Algorithme paramétré  Algorithmes  Algorithmes bio-inspirés  Algorithmes d'approximation  Algorithmes de streaming  Algorithmes gloutons  Algorithmes génétiques  Algorithmes optimaux  Algorithmes parallèles  Algorithmes randomisés  Algorithmes stationnaires  Algorithmes évolutionnaires  Algorithmics  Algorithmique  Algorithmique répartie  Algèbre linéaire  Analyse de réseau  Annotation sémantique  Apprentissage artificiel  Apprentissage automatique  Apprentissage par renforcement  Apprentissage par renforcement  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  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  Coopération  Cycle Hamiltonien  Datalog  Design  Diagnostic  Diagnosticabilité  Données massives  Détection de défaut  Entrepôt de données  Exploration de données  Exécution symbolique  Factorisation LU  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  Hypercube  Information, Théorie de l'  Informatique dans les nuages  Intelligence artificielle  Interaction homme-ordinateur  Interfaces graphiques  Interfaces utilisateur  Isabelle/HOL  Langages formels  Linked Data  Logiciels -- Vérification  Logique  Logique du premier ordre  Logique propositionnelle  MapReduce  Maximums et minimums  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  Preuve de programmes  Preuve formelle  Prise de décision séquentielle  Processeurs graphiques  Programmation dynamique  Programmation générative  Programmation générique  Programmation parallèle  Programmation parallèle  Programmation stochastique  Projection  Protocoles de population  Provenance  Pseudo-noeuds  Psychologie expérimentale  Qualité de Service  Qualité de service  RDF  Recherche de l'information  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 sociaux  Réseaux sociaux  SMT  SPARQL  Services Web  Simulation  Solveurs  Stochastique  Stratégies d'évolution  Systèmes adaptatifs  Systèmes d'affichage  Systèmes de recommandation  Systèmes informatiques -- Mesures de sûreté  Sémantique  Technique d'interaction  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  UML  Vision par ordinateur  Vérification de programmes  Vérification déductive  Web sémantique  XML  XML  

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

Informatique
Soutenue le 15-12-2017
thèse
Mathématiques et Informatique
Soutenue le 14-12-2017
thèse

Informatique
Soutenue le 27-05-2017
thèse

Informatique
Soutenue le 25-11-2016
thèse