ARN  ARN non codants  ARN non-codant  Adressage calculé  Algorithme  Algorithme Multiplicative Weights Update  Algorithme combinatoire  Algorithme d'alignement stochastique  Algorithme extérieur à l'extérieur  Algorithmes  Algorithmes randomisés  Algorithmes évolutionnaires  Algorithmique  Algèbre  Algèbres amassées  Alignement avec la précision maximale attendue  Alignement sous-optimal  AltaRica  AltaRica  Analyse combinatoire  Analyse de formes  Analyse de la Complexité  Analyse topologique des données  Aperçus de preuve  Applications mobiles  Apprentissage  Apprentissage automatique  Apprentissage machine  Apprentissage profond  Approximation  Approximation numérique  Architecture  Architecture des réseaux d'ordinateurs  Arithmétique interne des ordinateurs  Arithmétique polynomiale  Arn  Assistants de preuve  Associaèdre  Aviation  Aéronautique  Bacule métabolique  Barycentres  Base de données  Bases de Gröebner  Bases de données -- Interrogation  Bases de données  Bioinformatique  Bioinformatique structurale  Biologie des systèmes  Biologie systémique  Biotechnologie  Block designs  Calcul  Calcul formel  Calcul Évolutif  Calcul évolutionnaire  Calculs de processus  Calculs numériques  Calculs numériques exacts  Cancer de la prostate  Cartes combinatoires  Cartes en genre supérieur  Catégorie  Catégories  Catégories de Gray  Catégories strictes  Catégories supérieures  Cellules eucaryotes  Centres de traitement informatique  Certificats de Preuve Fondamentaux  Certificats numériques  Chemins et cycles  Chiffres  Chiffres par bloc  Cinétique  Citrate  Clustering  Code exécutable  Codes correcteurs  Codes correcteurs d'erreurs  Codes correcteurs d'erreurs  Codes localement corrigibles  Combinatoire  Combinatoire algébrique  Combinatoire algébrique et géométrique  Combinatoire bijective  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  Convergence de mesures positives  Convolution  Corps fini  Correspondance RSK  Courbes algébriques  Cryptographie  Cryptographie symétrique  Cryptographie à clé publique  Cube  Diagrammes de compositions  Diagrammes de persistance  Diagrammes de recollement  Diagrammes décroissants  Disponibilité  Disponibilité  Distances  Distribution  Données de probing  Dualité  Dualité, Principe de  Décision  Dégénérécence de Graphes  Démonstration automatique de théorèmes  Détecteurs de mensonge  Echantillonnage de conformations  Ensembles invariants  Estimation des fuites  Exploration de Graphe  Exploration de données  Explorations de graphes  Factorisation  Fft  Fiabilité  Fonctions de Schur  Fonctions de hachage  Fonctions quasisymétriques de type B  Fouille de graphes  Graphe  Graphes, Théorie des  Groupe hyperoctaèdral  Groupes de permutations  Groupes de symétrie  Génération d'invariants  Géométrie  Géométrie algébrique  Géométrie combinatoire  Géométrie des distances  Helmholtz, Équation d'  IA  Identité de Cauchy  Infaisabilité  Information, Théorie de l'  Informatique -- Mathématiques  Informatique -- Recherche  Informatique  Informatique fondamentale  Informatique graphique  Intelligence artificielle  Interprétation abstraite  Invariance par rotation  K-mers de sequences  Langages de programmation  Langages formels  Languages de programmation  Les algorithmes distribués  Les algorithmes épidémiques  Lieurs  Logiciels  Logique  Logique computationnelle  Logique informatique  Logique mathématique  Logique modale  Logique Épistémique  Logique épistémique  Logiques épistémiques  Maillage  Maintenance conditionnelle  Maintenance predictive  Matheuristiques  Mensonges  Mobilité  Modalité  Modelisation in silico  Modèle thermodynamique  Modèles de langage naturels  Modélisation des données  Modélisation et animation 3D  Modélisation tridimensionnelle  Multicast  Optimisation  Optimisation combinatoire  Optimisation mathématique  Programmation non linéaire  Programmation par contraintes  Réseaux neuronaux  Systèmes dynamiques  Sémantique  Théorie de la complexité  Treillis, Théorie des  Vision par ordinateur  Web sémantique  

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

Informatique, données, IA
Soutenue le 18-10-2019
thèse
Réseaux, information et communications
Soutenue le 10-04-2019
thèse