Collection des publications du LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503

Security Modélisation Apprentissage par renforcement Parallelism Supervision Linear logic Formal methods Modelling Semantics M Management Réseaux de neurones Cryptographic protocols Real-time systems Real-time Java Formal Concept Analysis Proof Term rewriting Coordination Simulation Réécriture Termination Parole Modeling Security protocols Monitoring Machine Learning Reinforcement learning Complexité Algorithm Multicast Refinement Induction Automated deduction Narrowing Interoperability Apprentissage Uml Privacy Raffinement Embedded systems Recherche d'information Reconnaissance de la parole Speech Model checking Recommender systems Web services Sémantique Segmentation Optimisation Fouille de données Speech recognition Automatic speech recognition Adaptation Vérification Spécification Case-based reasoning Performance evaluation Intelligence économique Annotation Information retrieval Raisonnement à partir de cas Performance Optimization Parallélisme Clustering Workflow Network management Robustness Deep learning Neural networks Machine learning Complexity B method Validation Strategy Temps réel Classification Reconnaissance automatique de la parole Logique linéaire Verification Ontology Artificial intelligence Formal concept analysis Association rules Augmented reality Learning Xml Sécurité Ordonnancement Constraints Economic intelligence Robotics Rewriting Event-B Scheduling Web sémantique Natural language processing Data mining