Accès -- Contrôle  Acoustique  Adaptation  Adressage calculé  Algorithme  Algorithmes  Algorithmes distribués  Algorithmes optimaux  Algorithmique distribuée  Algèbre linéaire  Allocation de ressources  Allocation des ressources  Analyse automatique  Analyse comportementale  Analyse de scènes  Analyse des données symboliques  Analyse et indexation des documents  Analyse formelle de concepts  Analyse informatique  Analyse linguistique  Analyse temps-fréquence  Anesthésie  Anesthésie générale  Anesthésiques  Applications distribuées  Apprentissage  Apprentissage automatique  Apprentissage par renforcement  Apprentissage par renforcement  Arithmétique  Auto-organisation  BPM  Base de données  CAN  Calcul de pose  Calcul formel  Capteurs optiques  Cartographie cérébrale  Champs neuronaux dynamiques  Classification  Classification automatique  Clustering  Code source  Codes malveillants  Complexité  Complexité de calcul  Comportement  Confiance  Consommation d'énergie  Contraintes  Corps finis  Courbes elliptiques  Courbes hyperelliptiques  Criblage pharmacologique  Cribles  Criminalité informatique  Cryptographie  Cryptographie à clé publique  Design patterns  Discours  Données -- Transmission  Données géospatiales  Dynamique  Exploration de données  Extraction de connaissances  Factorisation  Fiabilité  Filtrage collaboratif  Fonctions thêta  Formalisation  Fouille de données  Gestion d'entreprise -- Systèmes d'information  Gestion d'entreprise  Gestion des connaissances  Gestion du risque  Grammaire catégorielle  Grammaire d'arbres adjoints  Grammaire de Montague  Graphes, Théorie des  Grilles informatiques  Géométrie -- Informatique  Géométrie algorithmique  Géométrie discrète  ICN  Imagerie tridimensionnelle  Impression 3D  Incertitude  Indexation automatique  Information  Informatique autonome  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Intelligence ambiante  Intelligence artificielle  Intelligence artificielle répartie  Interaction homme-ordinateur  Internet des Objets  Internet des objets  Isogénies  Lambda-calcul  Langages de programmation -- Sémantique  Langages formels  Linguistique -- Informatique  Localisation  Logarithme discret  Logarithmes  Logarithmes discrets  Logiciels -- Validation  Logiciels -- Vérification  Logique  Logique floue  Logique informatique  Logique mathématique  Maillages polyédriques  Markov, Processus de  Matériaux -- Texture  Mesures de sûreté  Microprocesseurs multi-coeurs  Model checking  Model-checking  Modèles bayésiens  Modèles mathématiques  Modélisation  Modélisation tridimensionnelle  Multi-modélisation  Métaheuristiques  Méthodes formelles  Méthodes formelles  Méthodes symboliques  Neuroscience computationnelle  Optimisation  Optimisation mathématique  Ordonnancement  Ordonnancement  Polynômes  Protection de l'information  Protocoles  Protocoles de réseaux d'ordinateurs  Qualité de Service  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 multivues  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  Segmentation  Services Web  Simulation  Simulation par ordinateur  Simulation, Méthodes de  Statistique bayésienne  Systèmes adaptatifs  Systèmes auto-organisés  Systèmes conversationnels  Systèmes d'aide à la décision  Systèmes d'information  Systèmes de recommandation  Systèmes de types  Systèmes embarqués  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Systèmes, Conception de  Sécurité  Sémantique  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 réparti  Travail collaboratif  Virus informatiques  Vision par ordinateur  Vérification  Vérification formelle  Web 2.0  Web sémantique  Édition collaborative  Électroencéphalographie  

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

Informatique
Soutenue le 18-01-2018
thèse
Informatique
Soutenue le 06-10-2017
thèse