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