ARN  ARN non codants  ARN non-codant  Adressage calculé  Alg?bre  Algorithme Multiplicative Weights Update  Algorithme d'alignement stochastique  Algorithme extérieur à l'extérieur  Algorithmes  Algorithmes randomisés  Algorithmes évolutionnaires  Algorithmique  Algèbres amassées  Alignement avec la précision maximale attendue  Alignement sous-optimal  AltaRica  AltaRica  Aperçus de preuve  Applications mobiles  Apprentissage  Apprentissage automatique  Approximation  Approximation numérique  Architecture  Assistants de preuve  Associaèdre  Aviation  Aéronautique  Base de données  Bases de données -- Interrogation  Bases de données  Bioinformatique structurale  Block designs  Calculs de processus  Calculs numériques  Calculs numériques exacts  Catégorie  Catégories  Certificats de Preuve Fondamentaux  Certificats numériques  Chemins et cycles  Chiffres  Chiffres par bloc  Clustering  Code exécutable  Codes correcteurs  Codes correcteurs d'erreurs  Codes correcteurs d'erreurs  Codes localement corrigibles  Combinatoire algébrique  Combinatoire algébrique et géométrique  Combinatoire des permutations Commutation, Théorie de la  Commérage  Complexe  Complexité de calcul  Complexité de la requête  Conception  Concurrence -- Restrictions  Concurrence  Confluence  Contrainte cumulative  Contraintes  Convergence  Courbes algébriques  Cryptographie  Cryptographie symétrique  Cryptographie à clé publique  Cube  Diagrammes décroissants  Disponibilit?  Disponibilit?  Distances  Distribution  Données de probing  Dualité  Dualité, Principe de  Décision  Démonstration automatique de théorèmes  Détecteurs de mensonge  Echantillonnage de conformations  Ensembles invariants  Exploration de donn?es  Explorations de graphes  Factorisation  Fiabilit?  Fonctions de hachage  Fouille de graphes  Graphe  Groupes de permutations  Groupes de symétrie  Géométrie combinatoire  Helmholtz, Équation d'  IA  Infaisabilité  Information, Théorie de l'  Informatique -- Recherche  Informatique  Informatique fondamentale  Intelligence artificielle  Interprétation abstraite  Les algorithmes distribués  Les algorithmes épidémiques  Logique computationnelle  Logique informatique  Logique math?matique  Logique modale  Logique Épistémique  Logique épistémique  Logiques ?pist?miques  Maintenance conditionnelle  Maintenance predictive  Matheuristiques  Mensonges  Mobilité  Mod?lisation des donn?es  Modalit?  Mutation  Ontologies  Optimisation  Optimisation des requêtes  Optimisation math?matique  Optimisation mathématique  Ordonnancement  Ordonnancement  Paires critiques  Pattern  Performance  Permutations  Planification de la production hydroélectrique  Polystores  Polytope  Polytopes convexes  Polyèdres  Prise de décision -- Logiciels  Probabilités  Probl?me du sac ? dos  Problème inverse de diffusion  Problèmes inverses  Processus des ragots  Processus stochastiques  Profil de mutation  Programmation  Programmation Mathematique  Programmation heuristique  Programmation mixte en nombres entiers  Programmation non lin?aire en nombres entiers  Programmation non linéaire  Programmation par contraintes  Programmation parallèle  Propriété de Wazewski  Protocoles cryptographiques  Protéines -- Conformation  Protéines  Pseudo-noeuds  R?seaux complexes  Raisonnement énergétique  Recherche de l'information  Recherche op?rationnelle  Reconstruction de modèles  Reformulation des requêtes  Reformulations  Représentations de groupe et des monoïdes  Représentations de groupes  Représentations de semigroupes  Ressource Description Framework  Règles  Réduction de dimension  Région Cubique  Répondre à des requêtes en présence de contraintes  Réseaux sociaux  Réseaux sociaux  Réécriture, Systèmes de  S?lection du portefeuille moyenne-Variance  Sac ? dos multiple non lin?aire  Science Computationelle  Shape  Statistiques  Stockage distant  Structure d'ARN  Symétries  Système  Systèmes complexes  Systèmes continus  Systèmes de Contraintes  Systèmes dynamiques  Systèmes à commutations  Sécurité  Th?orie d'ordre  Th?orie moderne du portefeuille  Théorie de l'indice de Conley  Théorie de la Concurrence  Théorie de la complexité  Théorie de la démonstration  Théorie des algorithmes  Théorie des jeux  Théorie des polytopes  Tomographie en océanographie  Top k  Treillis, Th?orie des  Web sémantique  

29 thèses soutenues ayant pour partenaire de recherche Laboratoire d'informatique de l'École polytechnique (Palaiseau, Essonne)
Extrait des plus récentes :

Mathématiques et Informatique
Soutenue le 19-12-2017
thèse
Informatique
Soutenue le 31-08-2017
thèse
Informatique
Soutenue le 29-08-2017
thèse
Mathématiques et Informatique
Soutenue le 06-07-2017
thèse
Informatique
Soutenue le 02-12-2016
thèse

Informatique
Soutenue le 18-11-2016
thèse
Informatique
Soutenue le 05-07-2016
thèse
Mathématiques et informatique
Soutenue le 09-06-2016
thèse