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