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
-
Guilherme Dean Pelegrina, Miguel Couceiro, Leonardo Tomazeli Duarte. A preprocessing Shapley value-based approach to detect relevant and disparity prone features in machine learning. ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT 2024), Fabro Steibel, Meg Young, Ricardo Baeza-Yates, Jun 2024, Rio de Janeiro (BR), Brazil. ⟨10.1145/3630106.3658905⟩. ⟨hal-04568343⟩
-
Arman Izadi, Yasaman Karami, Eleni Bratanis, Sebastian Wrighton, Hamed Khakzad, et al.. The hinge-engineered IgG1-IgG3 hybrid subclass IgGh47 potently enhances Fc-mediated function of anti-streptococcal and SARS-CoV-2 antibodies. Nature Communications, 2024, 15 (1), pp.3600. ⟨10.1038/s41467-024-47928-8⟩. ⟨hal-04567019⟩
-
Nicolas Hubert, Pierre Monnin, Armelle Brun, Davy Monticolo. Enrichissement de fonctions de perte avec contraintes de domaine et co-domaine pour la prédiction de liens dans les graphes de connaissance. 27e Conférence Nationale en Intelligence Artificielle, Jul 2024, La Rochelle, France. ⟨hal-04566996⟩
Nombre de documents fulltext
9 342
Répartition des dépôts par type de document
Mots Clés
Machine learning
Verification
Embedded systems
Cryptographic protocols
Sémantique
Recherche d'information
Speech
Machine Learning
Raffinement
Temps réel
Validation
Coordination
Complexity
Parole
Raisonnement à partir de cas
Matching
Event-B
Ontology
Uml
Semantics
Web sémantique
Augmented reality
Simulation
Formal methods
Java
Intelligence économique
Modélisation
Robustness
Proof
Reinforcement learning
Refinement
Réécriture
Modeling
Segmentation
Model checking
Case-based reasoning
Web services
Adaptation
Monitoring
Modelling
Neural networks
Performance evaluation
Automated deduction
Management
Constraints
Scheduling
Complexité
Ordonnancement
Security
Information retrieval
Data mining
Formal Concept Analysis
Workflow
Reconnaissance de la parole
Interoperability
Spécification
Knowledge representation
Learning
Apprentissage
Annotation
Xml
Network management
Sécurité
Linear logic
Supervision
Strategy
Parallelism
B method
Optimisation
Rewriting
Term rewriting
Apprentissage par renforcement
Real-time systems
Classification
Security protocols
Vérification
Logique linéaire
Induction
Parallélisme
Termination
Privacy
Optimization
Deep learning
Reconnaissance automatique de la parole
Fouille de données
Association rules
Algorithm
Speech recognition
Document analysis
Narrowing
Formal concept analysis
Economic intelligence
Automatic speech recognition
Réseaux de neurones
Real-time
Multicast
M
Natural language processing
Clustering
Performance