Loading...
Collection des publications du LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503
Cette collection contient toutes les publications de HAL, HAL-INRIA, TEL, ...
(notice ou dépôt avec texte intégral) où au moins un auteur est affilié au LORIA.
Une consultation par sous-collection est également possible, chaque sous-collection correspondant à un département scientifique du laboratoire :
- Sous-collection du département 1: Algorithmique, calcul, image et géométrie
- Sous-collection du département 2 : Méthodes formelles
- Sous-collection du département 3 : Réseaux, systèmes et services
- Sous-collection du département 4 : Traitement automatique des langues et des connaissances
- Sous-collection du département 5 : Systèmes complexes, intelligence artificielle et robotique
Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr
Derniers Dépôts
-
Hee-Soo Choi, Marie Cousin, Amandine Decker, Valentin D Richard. PENSE M'EN. THINK BEFORE LOADING, , 2024, 978-2-9591975-0-5. ⟨hal-04509290⟩
-
Athénaïs Vaginay, Aya Yaacoub, Philippe Flores, Aman Sinha. THESEUS WRECK. THINK BEFORE LOADING, , 2024, 978-2-9591975-0-5. ⟨hal-04509233⟩
Nombre de documents fulltext
9 288
Répartition des dépôts par type de document
Mots Clés
Algorithm
Complexité
Reinforcement learning
Uml
Apprentissage
Raffinement
Cryptographic protocols
Spécification
Robustness
Segmentation
Performance evaluation
Adaptation
Matching
Speech
Automatic speech recognition
Induction
Fouille de données
Intelligence économique
Java
Clustering
Interoperability
Optimisation
Network management
Scheduling
Modelling
Reconnaissance de la parole
Supervision
Workflow
Document analysis
Real-time systems
Coordination
Parallelism
Proof
Association rules
Knowledge representation
Modélisation
Data mining
M
Apprentissage par renforcement
Xml
Rewriting
Classification
Web sémantique
Performance
Raisonnement à partir de cas
Modeling
Réécriture
Vérification
Ordonnancement
Optimization
Learning
Security
Management
Temps réel
Security protocols
Refinement
Semantics
Strategy
Deep learning
Parole
Réseaux de neurones
Sémantique
Termination
Event-B
B method
Complexity
Natural language processing
Model checking
Ontology
Economic intelligence
Narrowing
Recherche d'information
Information retrieval
Machine learning
Simulation
Linear logic
Speech recognition
Machine Learning
Formal Concept Analysis
Constraints
Case-based reasoning
Multicast
Sécurité
Term rewriting
Augmented reality
Verification
Automated deduction
Annotation
Embedded systems
Logique linéaire
Parallélisme
Privacy
Formal methods
Monitoring
Neural networks
Reconnaissance automatique de la parole
Formal concept analysis
Web services
Real-time
Validation