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
-
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 338
Répartition des dépôts par type de document
Mots Clés
Economic intelligence
Vérification
Semantics
Automated deduction
Refinement
Fouille de données
Clustering
Multicast
Apprentissage
Formal concept analysis
Interoperability
Proof
Réécriture
Real-time
Document analysis
Speech
B method
Parallélisme
Sécurité
Data mining
Temps réel
Term rewriting
Workflow
M
Learning
Verification
Ordonnancement
Formal Concept Analysis
Optimization
Privacy
Coordination
Complexité
Case-based reasoning
Performance evaluation
Machine Learning
Automatic speech recognition
Security
Scheduling
Complexity
Web sémantique
Optimisation
Formal methods
Termination
Cryptographic protocols
Natural language processing
Annotation
Java
Monitoring
Réseaux de neurones
Modélisation
Matching
Rewriting
Model checking
Intelligence économique
Algorithm
Linear logic
Uml
Embedded systems
Validation
Ontology
Narrowing
Event-B
Strategy
Machine learning
Induction
Security protocols
Neural networks
Spécification
Real-time systems
Robustness
Simulation
Performance
Management
Supervision
Sémantique
Reconnaissance automatique de la parole
Knowledge representation
Reinforcement learning
Logique linéaire
Web services
Raisonnement à partir de cas
Network management
Recherche d'information
Constraints
Augmented reality
Parallelism
Classification
Information retrieval
Deep learning
Reconnaissance de la parole
Adaptation
Speech recognition
Raffinement
Modeling
Apprentissage par renforcement
Association rules
Modelling
Parole
Segmentation
Xml