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⟩
-
-
-
Fabien Charmet, Harry Chandra Tanuwidjaja, Solayman Ayoubi, Pierre-François Gimenez, Yufei Han, et al.. Explainable artificial intelligence for cybersecurity: a literature survey. Annals of Telecommunications - annales des télécommunications, 2022, 77 (11-12), pp.789-812. ⟨10.1007/s12243-022-00926-7⟩. ⟨hal-03965590⟩
-
-
-
Number of full text documents
8 868
Submissions distribution by document type
Keywords
Strategy
Ordonnancement
Event-B
Simulation
Reconnaissance automatique de la parole
Performance evaluation
Economic intelligence
Security protocols
Semantics
Sécurité
Induction
Speech recognition
Parallélisme
Data mining
Information retrieval
Reinforcement learning
Fouille de données
Machine learning
Embedded systems
Privacy
Performance
Cryptographic protocols
Narrowing
Augmented reality
Speech
Scheduling
Termination
Complexité
Formal Concept Analysis
Logique linéaire
Uml
Raisonnement à partir de cas
Modeling
Formal methods
Multicast
Formal concept analysis
Apprentissage par renforcement
Vérification
Parole
Supervision
Annotation
Modelling
Interoperability
Clustering
Document analysis
Model checking
Recommender systems
Classification
Web sémantique
Constraints
Monitoring
Coordination
Apprentissage
Web services
Modélisation
Deep learning
Real-time
Ontology
Verification
Network management
Cooperation
Automatic speech recognition
B method
Rewriting
Workflow
Natural language processing
Spécification
Robustness
Java
M
Xml
Proof
Complexity
Association rules
Optimisation
Reconnaissance de la parole
Linear logic
Validation
Matching
Automated deduction
Recherche d'information
Connexionnisme
Real-time systems
Segmentation
Management
Adaptation
Intelligence économique
Term rewriting
Security
Parallelism
Learning
Optimization
Réseaux de neurones
Temps réel
Sémantique
Refinement
Raffinement
Case-based reasoning
Réécriture
Neural networks