Accès -- Contrôle  Acoustique  Adaptation  Adressage calculé  Agents autonomes  Algorithme  Algorithmes  Algorithmes bio-inspirés  Algorithmes distribués  Algorithmes optimaux  Algorithmes parallèles  Algèbre linéaire  Allocation de ressources  Allocation des ressources  Analyse automatique  Analyse comportementale  Analyse de scènes  Analyse des données  Analyse des données symboliques  Analyse et indexation des documents  Analyse formelle de concepts  Analyse informatique  Analyse linguistique  Analyse multivariée  Analyse temps-fréquence  Anesthésie  Anesthésie générale  Anesthésiques  Anonymat  Applications distribuées  Apprentissage  Apprentissage automatique  Apprentissage par renforcement  Apprentissage par renforcement  Architecture  Architecture des réseaux d'ordinateurs  Arithmétique  Audition directionnelle  Auto-organisation  B  BPM  Base de données  Bruit  CAN  Calcul de pose  Calcul formel  Capteurs optiques  Cartographie cérébrale  Champs neuronaux dynamiques  Classification  Classification automatique  Cloud Computing  Clustering  Co-simulation  Code source  Codes malveillants  Complexité  Complexité de calcul  Comportement  Conception  Confiance  Consommation d'énergie  Contexte  Contraintes  Contraintes  Corps finis  Coupe-feu  Courbes elliptiques  Courbes hyperelliptiques  Criblage pharmacologique  Cribles  Criminalité informatique  Cryptographie  Cryptographie à clé publique  DEVS  Design patterns  Discours  Données -- Transmission  Données géospatiales  Données ouvertes  Exploration de données  Factorisation  Flux de travail  Formalisation  Fouille de données  Gestion du risque  Graphes, Théorie des  Géométrie algorithmique  Géométrie discrète  Imagerie tridimensionnelle  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Intelligence artificielle  Intelligence artificielle répartie  Interaction homme-ordinateur  Lambda-calcul  Langages de programmation -- Sémantique  Langages formels  Linguistique -- Informatique  Localisation  Logiciels -- Vérification  Logique  Logique informatique  Logique mathématique  Machines à vecteurs de support  Markov, Processus de  Mesures de sûreté  Modèles bayésiens  Modèles mathématiques  Modélisation  Modélisation tridimensionnelle  Multi-modélisation  Métaheuristiques  Méthodes formelles  Méthodes formelles  Ontologies  Optimisation  Optimisation mathématique  Ordonnancement  Ordonnancement  Polynômes  Protection de l'information  Protocoles  Protocoles de réseaux d'ordinateurs  Qualité de Service  Qualité de service  Raffinement  Raisonnement par cas  Raisonnement à partir de cas  Recherche  Recherche de l'information  Recherche opérationnelle  Reconnaissance automatique de la parole  Reconnaissance de la parole  Reconnaissance des formes  Robots autonomes  Robots mobiles  Routage  Routage  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux d'ordinateurs  Réseaux de capteurs  Réseaux de neurones  Réseaux neuronaux  Réseaux neuronaux  Réseaux poste à poste  Réseaux sociaux  Réseaux sociaux  Rétro-ingénierie  Réécriture  Réécriture, Systèmes de  SDN  SDN  Segmentation  Services Web  Simulation  Simulation par ordinateur  Simulation, Méthodes de  Statistique bayésienne  Systèmes adaptatifs  Systèmes auto-organisés  Systèmes complexes  Systèmes conversationnels  Systèmes d'aide à la décision  Systèmes d'information  Systèmes de recommandation  Systèmes de recommandation  Systèmes de types  Systèmes embarqués  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Systèmes, Analyse de  Systèmes, Conception de  Sécurité  Sémantique  Séparation de sources  Tables de hachage distribuées  Temps réel  Thèses et écrits académiques  Théorie des jeux  Théorèmes -- Démonstration automatique  Traitement automatique de la parole  Traitement automatique du langage naturel  Traitement d'images -- Techniques numériques  Traitement d'images  Traitement du signal -- Techniques numériques  Traitement réparti  Travail collaboratif  Validation  Vie privée  Virus informatiques  Vision par ordinateur  Vote électronique  Vérification  Vérification formelle  Web 2.0  Web sémantique  Édition collaborative  Électroencéphalographie  

238 thèses soutenues ayant pour partenaire de recherche Laboratoire lorrain de recherche en informatique et ses applications
Extrait des plus récentes :

Mathématiques appliquées
Soutenue le 11-09-2019
thèse