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
8 991
Submissions distribution by document type

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