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