Loading...
You can consult and search here for all Inria publications on HAL or on HAL-Inria.
This list of publications is automatically generated each night.
If at least one of the authors of the publication is associated with Inria, it will be included in this collection. Here to deposit HAL-Inria
Contact : archive-ouverte@inria.fr
Open Access
74 %
The latest 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⟩
-
Ariane Pinche, Thibault Clérice, Alix Chagué, Jean-Baptiste Camps, Malamatenia Vlachou-Efstathiou, et al.. CATMuS-Medieval: Consistent Approaches to Transcribing ManuScripts: A generalized set of guidelines and models for Latin scripts from Middle Ages (8th--16th century). DH2024, ADHO, Aug 2024, Washington DC, United States. ⟨hal-04346939⟩
-
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⟩
-
Samir Si-Mohammed, Anthony Bardou, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc. NS+NDT: Smart Integration of Network Simulation in Network Digital Twin, Application to IoT Networks. Future Generation Computer Systems, 2024, 157, pp.124-144. ⟨10.1016/j.future.2024.03.038⟩. ⟨hal-04529664⟩
Number of full text documents
87 343
Submissions distribution by document type
Keywords
Segmentation
Formal verification
RDF
Static analysis
XML
Game theory
Semantic Web
Apprentissage profond
Ontology
Image processing
Deep learning
Cryptography
Performance evaluation
Modélisation
IoT
Robotics
Robotique
Semantic web
FPGA
Stability
Optimal control
Formal methods
Complexity
Bioinformatics
Clustering
GPU
Robustness
Energy efficiency
Evaluation
Algorithm
Virtual reality
Cloud computing
Finite element method
Classification
Security
Scalability
Data assimilation
HPC
Rewriting
Embedded systems
Estimation
Performance
Validation
Coq
Modeling
Registration
Réécriture
Cloud
Learning
FMRI
Visualization
Apprentissage automatique
Inverse problems
Algorithms
Adaptation
Inverse problem
Cloud Computing
Model checking
Matching
Routing
EEG
Sparsity
Artificial intelligence
Scheduling
Reinforcement learning
Optimisation
Fault tolerance
MPI
Data mining
Optimization
Ordonnancement
Verification
Virtual Reality
Reliability
Compilation
Interoperability
Machine Learning
Deep Learning
Apprentissage
Real-time
Simulation
Ontologies
Intelligence artificielle
Control
Diffusion MRI
Distributed systems
Monitoring
Machine learning
Modelling
Neural networks
Vision par ordinateur
Semantics
Sécurité
Parallelism
Privacy
Computer vision
Internet of Things
Concurrency
MRI
Web sémantique