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