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
-
-
-
-
Nariman Khaledian, Pierre-Frédéric Villard, Peter E. Hammer, Douglas P. Perrin, Marie-Odile Berger. Influence of Anisotropy on Fluid-Structure Interaction Simulations of Image-Based and Generic Mitral Valves. The 12th International Conference On Functional Imaging And Modeling Of The Heart, Jun 2023, Lyon, France. ⟨hal-04117508⟩
-
-
-
Number of full text documents
8 870
Submissions distribution by document type
Keywords
Data mining
Term rewriting
Sémantique
Parallélisme
Network management
Reconnaissance automatique de la parole
Speech
Intelligence économique
Economic intelligence
Real-time systems
Matching
Security protocols
M
Ordonnancement
Performance
Validation
Réseaux de neurones
Proof
Connexionnisme
B method
Verification
Parallelism
Semantics
Adaptation
Constraints
Raisonnement à partir de cas
Web services
Narrowing
Formal concept analysis
Model checking
Modeling
Rewriting
Fouille de données
Reinforcement learning
Web sémantique
Robustness
Segmentation
Machine learning
Complexité
Information retrieval
Java
Case-based reasoning
Formal Concept Analysis
Logique linéaire
Spécification
Multicast
Neural networks
Apprentissage
Learning
Termination
Classification
Recommender systems
Formal methods
Embedded systems
Recherche d'information
Simulation
Supervision
Management
Automatic speech recognition
Xml
Clustering
Uml
Speech recognition
Modelling
Cryptographic protocols
Privacy
Event-B
Sécurité
Ontology
Refinement
Augmented reality
Annotation
Modélisation
Interoperability
Coordination
Cooperation
Linear logic
Security
Document analysis
Complexity
Induction
Parole
Reconnaissance de la parole
Real-time
Optimisation
Natural language processing
Raffinement
Automated deduction
Vérification
Optimization
Temps réel
Performance evaluation
Scheduling
Association rules
Workflow
Monitoring
Réécriture
Apprentissage par renforcement
Deep learning
Strategy