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

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