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