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