Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)

383

201-300

https://www.loria.fr/fr/

https://scanr.enseignementsup-recherche.gouv.fr/structure/198912571S

ALGORITHMIQUE, CALCUL, IMAGE ET GÉOMÉTRIE : - apprentissage - géométrie discrète - infographie - cryptologie - géométrie algorithmique - vision par ordinateur - fabrication additive - calcul (symbolique, algébrique et numérique) - géométrie (computationnelle, discrète et non-linéaire) - classification et apprentissage statistique, image MÉTHODES FORMELLES : - Logique - modèles de calcul - modèles de programmation - réécriture - modélisation - spécification - sûreté - sécurité - validation - vérification RÉSEAUX, SYSTÈMES ET SERVICES : - Réseaux - systèmes parallèles - systèmes distribués - coopération - surveillance - configuration - expérimentation - validation - planification - optimisation TRAITEMENT AUTOMATIQUE DES LANGUES ET DES CONNAISSANCES : - traitement automatique des langues - linguistique computationnelle - grammaires formelles - traduction automatique - analyse/synthèse de la parole - reconnaissance de la parole - modélisation articulatoire de la parole - traitement du signal audio - séparation de sources sonores - modèles probabilistes - fouilles de données complexes - apprentissage symbolique et numérique - représentation des connaissances et raisonnement - classification - reconnaissance de formes - modélisation de l'écriture manuelle SYSTÈMES COMPLEXES, INTELLIGENCE ARTIFICIELLE ET ROBOTIQUE : - algorithmique - modélisation - neurosciences computationnelles - biologie computationnelle - sciences cognitives - filtrage collaboratif - recommandation sociale - interaction homme-machine - apprentissage automatique - planification dans l'incertain / apprentissage par renforcement - fouille de données - calcul parallèle / haute performance - applications bio-médicales Santé numérique: - Données/Data - Dispositifs/Devices - Rééducation de la parole - Réalité augmentée en imagerie médicale - Structures moléculaires en 3D - Science des données pour la santé - Des algorithmes pour ajuster les doses de médicaments Sécurité informatique: - Virologie - Management d'internet - Analyse de protocoles de sécurité - Sûreté logicielle - Cryptographie - Sécurité des réseaux industriels - Sécurité des objets connectés - Vérifiabilité des systèmes de vote électronique Robotique: - Validation, vérification formelle, évaluation de performances des systèmes - Déploiement optimal et validation - Protocoles de communication, distribution, middleware adaptatif - Réalité virtuelle et réalité augmentée - Algorithme de décision autonome - Système autonomes adaptatifs - Interfaces cerveau/ordinateur - Interactions homme/machine - Systèmes cyber-physiques - Fabrication additive E-éducation: - Intelligence artificielle au service de la parole - Intelligence artificielle pour la personnalisation des apprentissages - Intelligence artificielle au service de l'apprentissage du français - Learning analytics

- H2020 Comprise : http://www.compriseh2020.eu - H2020 NL4XAI : http://nl4xai.eu - LIA Datanet - MOU avec le Japon - Accord de partenariat avec le CISPA pour la cybersécurité - HumanE-AI-Net : http://www.humane-ai.eu - Concordia : http://www.concordia-h2020.eu - H2020 AI-PROFICIENT - H2020 HumanE-AI-NET - H2020 NEASQC - Collaboration avec Kyutech - Projet Erasmus de mobilité avec l'Ukraine - Projet LOLA, en collaboration avec le Ministère de l'éducation nationale et de la jeunesse