ARN  ARN non codants  ARN non-codant  Active Learning  Adressage calculé  Algorithme  Algorithme Multiplicative Weights Update  Algorithme combinatoire  Algorithme d'alignement stochastique  Algorithme de Sudan  Algorithme extérieur à l'extérieur  Algorithmes  Algorithmes distribués  Algorithmes parallèles  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 données  Analyse de formes  Analyse de la Complexité  Analyse des données  Analyse topologique des données  Apache Spark  Aperçus de preuve  Appel-Par-Nécessité  Applications mobiles  Apprentissage  Apprentissage actif  Apprentissage automatique  Apprentissage machine  Apprentissage profond  Approximation  Approximation numérique  Architecture  Architecture des réseaux d'ordinateurs  Architecture logicielle  Arithmétique interne des ordinateurs  Arithmétique polynomiale  Arn  Arrangement d’hyperplans  Assistants de preuve  Associaèdre  Aviation  Aéronautique  Bacule métabolique  Barycentres  Base de données  Bases de Gröebner  Bases de connaissances  Bases de données -- Gestion  Bases de données -- Interrogation  Bases de données  Bases de données sur le Web  Big Data  Bioinformatique  Bioinformatique structurale  Biologie des systèmes  Biologie systémique  Biotechnologie  Block designs  Bruit des étiquettes  Calcul  Calcul formel  Calcul intensif  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  Cloud computing  Clustering  Code exécutable  Codes correcteurs  Codes correcteurs d'erreurs  Codes correcteurs d'erreurs  Codes géométriques  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  Compréhension du langage parlé  Conception  Concurrence -- Restrictions  Concurrence  Cone de type  Confidentialité différentielle  Confluence  Congruence et quotient de treillis  Consensus asymptotique  Consensus de moyenne  Contrainte cumulative  Contraintes  Convergence  Convergence de mesures positives  Convolution  Corps fini  Correspondance RSK  Courbes algébriques  Cryptographie  Cryptographie symétrique  Cryptographie à clé publique  Cube  Development de Modèles intéractifs  Diagrammes de compositions  Diagrammes de persistance  Diagrammes de recollement  Diagrammes décroissants  Disponibilité  Disponibilité  Distances  Distribution  Données de probing  Données massives  Dualité  Dualité, Principe de  Débruitage  Décision  Décodage  Dégénérécence de Graphes  Démonstration automatique de théorèmes  Détecteurs de mensonge  Echantillonnage de conformations  Enchères en temps réel  Ensembles invariants  Error correcting pairs  Estimation des fuites  Exploration de Graphe  Exploration de données  Exploration de données de grande dimension  Exploration de données interactive  Explorations de graphes  Extension d’audience  Factorisation  Factorization  Fft  Fiabilité  Fonctions de Schur  Fonctions de hachage  Fonctions quasisymétriques de type B  Fouille de graphes  Gigue  Gigue  Graphes, Théorie des  Groupes de permutations  Géométrie  Géométrie algébrique  Information, Théorie de l'  Informatique -- Mathématiques  Informatique  Intelligence artificielle  Interprétation abstraite  Langages de programmation  Langages formels  Logique informatique  Logique épistémique  Maillage  Mobilité  Modélisation des données  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  

62 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