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