Collection of the publications of the LORIA, Lorraine Laboratory of IT Research and its Applications - UMR 7503

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