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