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