Loading...
Collection of the publications of the LORIA, Lorraine Laboratory of IT Research and its Applications - UMR 7503
This collection contains all the HAL, HAL-INRIA, TEL publications (notice or deposit with full text) where at least one author is affliated to the LORIA.
A consultation by subcollection is also possible, each subcollection corresponding to a scientific department of the laboratory:
- Department 1: Algorithms, Computation, Image & Geometry
- Department 2: Formal methods
- Department 3: Networks, Systems and Services
- Department 4: Natural Language Processing & Knowledge Discovery
- Department 5: Complex Systems, Artificial Intelligence and Robotics
For all your questions or comments about this collection, please contact us at: publications@loria.fr
Latest deposits

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