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

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