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