Loading...
Vous pouvez consulter et rechercher ici l'ensemble des publications Inria déposées sur HAL ou sur HAL-Inria.
Cette liste de publications est générée automatiquement chaque nuit.
Si au moins un des auteurs de la publication déposée est associé à l'Inria, elle sera intégrée dans cette collection. Pour déposer sur HAL-Inria
Contact : archive-ouverte@inria.fr
Open Access
Dernières publications
-
Nataliia Bielova, Laura Litvine, Anysia Nguyen, Mariam Chammat, Vincent Toubiana, et al.. The Effect of Design Patterns on (Present and Future) Cookie Consent Decisions: Supplemental Materials. USENIX 2024 - 33rd USENIX Security Symposium, Aug 2024, Philadelphia, United States. pp.1-9. ⟨hal-04235032⟩
-
Adrien Bella, Noé Lahaye, Gilles Tissot. Internal Tides Energy Transfers and Interactions with the Mesoscale Circulation in Two Contrasted Areas of the North Atlantic. Stochastic Transport in Upper Ocean Dynamics II, 11, Springer Nature Switzerland, pp.1-16, 2024, Mathematics of Planet Earth, ⟨10.1007/978-3-031-40094-0_1⟩. ⟨hal-04357365v2⟩
-
Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Houssam Hajj Hassan, Valérie Issarny. Automating the evaluation of interoperability effectiveness in heterogeneous IoT systems. 21st IEEE International Conference on Software Architecture (ICSA 2024), IEEE, Jun 2024, Charminar, Hyderabad, India. ⟨hal-04482364⟩
Nombre de dépôts en texte intégral
87 914
Répartition des dépôts par type de document
Mots-clés
Stability
RDF
Semantic Web
Parallelism
Simulation
Reinforcement learning
Matching
Visualization
Coq
Robotics
Validation
Cloud
Internet of Things
Deep Learning
Concurrency
MPI
Modélisation
Verification
Computer vision
Complexity
Neural networks
Optimal control
Control
Virtual reality
Machine Learning
Privacy
Classification
Artificial intelligence
Virtual Reality
Routing
Semantic web
Performance evaluation
MRI
Algorithms
Interoperability
Monitoring
GPU
Data mining
Performance
Apprentissage
Security
Optimisation
Sparsity
Learning
Clustering
Modeling
EEG
Diffusion MRI
Optimization
Formal methods
Segmentation
Distributed systems
Web sémantique
Scalability
HPC
Real-time
Deep learning
Image processing
Algorithm
Estimation
Bioinformatics
Ontologies
Model checking
Reliability
Formal verification
Finite element method
Cryptography
Scheduling
Inverse problems
Robustness
Cloud Computing
Ontology
Adaptation
Ordonnancement
Compilation
IoT
Game theory
FPGA
Rewriting
Embedded systems
Apprentissage automatique
Energy efficiency
Static analysis
Modelling
Apprentissage profond
Fault tolerance
Data assimilation
Interaction
Evaluation
Réécriture
Vision par ordinateur
Robotique
Semantics
Sécurité
Inverse problem
FMRI
XML
Registration
Cloud computing
Machine learning