Acquisition des connaissances  Adressage calculé  Affectation de ressources  Agrégation supervisée de préférences  Algorithme de coupes et branchements  Algorithmes optimaux  Algorithmes parallèles  Algèbre de Hopf de φ−shuffle  Algèbre de Lie libre  Algèbres de processus  Analyse Syntaxique  Analyse combinatoire  Analyse d'opinions  Analyse de réseaux multiplexes  Analyse des données  Analyse formelle de concepts  Analyse relationnelle de concepts  Apache Spark  Application aérospatiale  Apprentissage automatique  Apprentissage interactif  Apprentissage no supervisé  Apprentissage non supervisé  Apprentissage par la pratique  Apprentissage par renforcement  Apprentissage supervisé  Arborescence généralisée de poids maximum  Automates  Automates temporisés  Automates à pile  Base de Ponicaré-Birkhoff-Witt  Base de Transcendance  Bases de données relationnelles  Bases multiplicatives  Bernoulli, Polynômes de  Bi-clustering  Bicyclettes en libre-service  Calcul des Systèmes Communicants  Calcul formel  Calcul symbolique  Carte topologique  Clustering  Clustering de flux de données  Clustering topologique  Combinatoire algébrique  Combinatoire bijective  Compilateurs  Complexité de calcul  Complexité implicite  Comportements Zeno  Coopération entre entreprises  Coordonnées Barycentriques,  Cristallisation  Diagrammes états-transitions UML  Différentiation fonctionnelle  Données Relationnelles et Dynamiques  Données bruitées  Données massives  Double ascension heuristique  Drones  Dynamique symbolique  Dépliage  Détection de communautés  Détection de logiciel malveillant  Détection de sujet  Développement de Taylor  Développement durable  Elément de Lie  Enrichissement du contenu  Entreprises -- Systèmes d'information  Equivalence observationnelle  Etude polyédrale  Euler, Polynômes d'  Exploration de données  Extraction d'information  Extraction d'événements  Factorisations tangente à l'identité  Flot de Teichmüller  Forcing  Format sonore  Fouille de données  Gestion -- Informatique  Gestion d'entreprise  Grammaire d'arbres adjoints  Graphe Pondéré  Graphe d'Observation Symbolique  Graphes colorés  Graphes, Théorie des  Gravité quantique  Grille de PCs  Grilles informatiques  Génération aléatoire  Géométrie combinatoire  Géométrie de l'interaction  Hadoop  Heuristique  Hopf, Algèbres de  Hospitalisation à domicile  Informatique dans les nuages  Informatique documentaire  Informatique mobile  Innovations technologiques  Intelligence artificielle répartie  Internautes  Intertextualité  Isomorphisme de Curry-Howard  Itération  Lambda-calcul  Langages de programmation -- Syntaxe  Langages de programmation -- Sémantique  Langages de programmation  Lie, Algèbres de, de dimension infinie  Logiciels -- Vérification  Logiciels  Logique de seuil  Logique linéaire  Logique temporelle  Logistique urbaine  MapReduce  Marketing sur Internet  Matheuristique  Matroïdes  Modèle λ-König  Modèles relationnels probabilistes  Modélisation formelle  Motifs descripteurs  Mots-clés - Extraction  Multiplexage  Métadonnées  Métaheuristiques  Méthodes formelles  Ontologies  Optimisation combinatoire  Optimisation mathématique  Opérades  Ordonnancement  Parallélisme  Petri, Réseaux de  Planification -- Informatique  Planification  Polylogarithmes  Polynôme de Tutte  Polytope lexicographique  Polytopes  Problème du voyageur de commerce  Problèmes de localisation et routage  Processus Métier Inter-Entreprises  Processus décisionnel de Markov  Processus décisionnels de Markov relationnels  Processus stochastiques  Produit de Shuffle  Produit de q-Stuffle  Produit de q-shuffle  Programmation dynamique  Programmation heuristique  Programmation logique  Programmation logique inductive  Propagation d'activation  Prévisions de liens  Publication-souscription  Recherche d'Information sémantique  Recherche documentaire automatisée  Recherche opérationnelle  Recommandation de métadonnées  Relaxation Lagrangienne  Relaxation, Méthodes de  Réalisabiblité  Réseau de documents  Réseau sémantico-documentaire  Réseaux de Petri colorés  Réseaux Attribués  Réseaux complexes  Réseaux de preuve  Réseaux multiplexes  Scalabilité  Semantique relationnelle  Signaux et signalisation  Simulation par ordinateur  Sommes harmoniques  Son -- Enregistrement et reproduction -- Techniques numériques  Son -- Propagation  Son -- Traitement par ordinateur  Sondages d'opinion  Statistique -- Informatique  Synchronisation d'images  Synthèse de paramètres  Système de décision  Système de recommandation  Systèmes auto-organisés  Systèmes autonomes distribués  Systèmes experts  Systèmes temporisés  Systèmes virtuels  Sélection de variables  Sémantique  Sémantique catégorique  Sémantique formelle  Théorie de la démonstration  Traitement automatique du langage naturel  Vérification de modèles  Web sémantique  

45 thèses soutenues ayant pour partenaire de recherche Laboratoire informatique de Paris-Nord (Villetaneuse, Seine-Saint-Denis)
Extrait des plus récentes :

Informatique
Soutenue le 14-10-2019
thèse