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
-
-
Méhania Doumbia, Maxime Renard, Laure Coudrat, Geoffray Bonnin. Characterizing the Emotional Context Induced by Music Listening and its Effects on Gait Initiation: Exploiting Physiological and Biomechanical Data. UMAP '23 Adjunct: Adjunct Proceedings of the 31st ACM Conference on User Modeling, Adaptation and Personalization, Association for Computing Machinery, Jun 2023, Limassol, Cyprus. pp.182-186, ⟨10.1145/3563359.3596982⟩. ⟨hal-04219575⟩
-
Geoffray Bonnin, Vaclav Bayer, Miriam Fernandez, Christothea Herodotou, Martin Hlosta, et al.. CERSEI: Cognitive Effort Based Recommender System for Enhancing Inclusiveness. 18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.692 - 697, ⟨10.1007/978-3-031-42682-7_63⟩. ⟨hal-04219595⟩
-
-
-
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, et al.. Formally verifying Kyber: Episode IV: Implementation correctness. CHES 2023 - Conference on Cryptographic Hardware and Embedded Systems, IACR, Sep 2023, Praha, Czech Republic. pp.164-193, ⟨10.46586/tches.v2023.i3.164-193⟩. ⟨hal-04218417⟩
-
Number of full text documents
9 005
Submissions distribution by document type
Keywords
Embedded systems
Refinement
Classification
Document analysis
Proof
Annotation
Speech
Termination
Formal Concept Analysis
Uml
Machine learning
Strategy
M
Induction
Ordonnancement
Apprentissage
Management
Logique linéaire
Automatic speech recognition
Parallelism
Neural networks
Speech recognition
Recherche d'information
Event-B
Data mining
Optimization
Modélisation
B method
Complexité
Security
Optimisation
Raisonnement à partir de cas
Réécriture
Automated deduction
Supervision
Complexity
Sémantique
Xml
Security protocols
Privacy
Fouille de données
Coordination
Segmentation
Modeling
Clustering
Spécification
Ontology
Model checking
Rewriting
Temps réel
Reinforcement learning
Parole
Adaptation
Real-time
Java
Constraints
Matching
Association rules
Simulation
Formal concept analysis
Performance evaluation
Reconnaissance automatique de la parole
Case-based reasoning
Raffinement
Augmented reality
Apprentissage par renforcement
Validation
Learning
Connexionnisme
Intelligence économique
Workflow
Robotics
Robustness
Natural language processing
Modelling
Réseaux de neurones
Network management
Sécurité
Term rewriting
Scheduling
Real-time systems
Performance
Verification
Parallélisme
Semantics
Monitoring
Web services
Vérification
Reconnaissance de la parole
Cooperation
Formal methods
Deep learning
Multicast
Information retrieval
Interoperability
Linear logic
Narrowing
Web sémantique
Algorithm
Economic intelligence