Fiche Laboratoire - LORIA

• Algorithmique Discrète et ses Applications à la Génomique et à l’Imagerie (ADAGIO (LORIA))

• ALICE: Géométrie et Lumière (ALICE (LORIA))

• CARAMBA "Cryptologie, arithmétique : matériel et logiciel" (CARAMBA (LORIA))

• Geometric Algorithms & Models Beyond the Linear and Euclidean Realm (GAMBLE (LORIA))

• Augmentation visuelle d’environnements complexes (MAGRIT (LORIA))

• Matter from Graphics (MFX (LORIA))

• MOdèles de Calcul classiques et QUAntiques (MOCQUA (LORIA))

• CARBONE (CARBONE (LORIA))

• Développement de spécifications (DEDALE (LORIA))

• MOSEL - VERIDIS: Méthodes formelles & applications (MOSEL-VERIDIS (LORIA))

• Proof techniques for security protocols (PESTO (LORIA))

• TYPES: Logique, théorie de la démonstration & programmation (TYPES (LORIA))

• Supervision des Réseaux et des Services Dynamiques (RESIST(LORIA))

• SIMBIOT: conception et validation de “smart” systèmes Cyber-Physiques (SIMBIOT (LORIA))

• Méthodes d’optimisation pour systèmes intégrés (OPTIMIST (LORIA))

• Services et Coopération (COAST (LORIA))

• (Computational Epistemic Logic in LOrraine) Logique épistémique computationnelle (CELLO (LORIA))

• Extraction et représentation de connaissances (ORPAILLEUR (LORIA))

• Analyse, perception et reconnaissance automatique de la parole (MULTISPEECH (LORIA))

• Analyse, perception et reconnaissance automatique de la parole (MULTISPEECH (LORIA))

• Reconnaissance de l’écriture & analyse de documents (READ (LORIA))

• Linguistique computationnelle (SEMAGRAMME (LORIA))

• Statistical Machine Translation & Speech Modelization and Text (SMarT (LORIA))

• Symbolic and statistical NLP (SyNaLP (LORIA))

• Computational Algorithms for Protein Structures and Interactions (CAPSID (LORIA))

• Bio-Inspired Situated Cellular and Unconventional Information Technology (BISCUIT (LORIA))

• Knowledge, Information & Web Intelligence (KIWI (LORIA))

• Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (LARSEN (LORIA))

• Analysis and modeling of neural systems by a system neuroscience approach (NEUROSYS (LORIA))

• Apprentissage et biologie computationnelle (ABC (LORIA))