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