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