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
76 %
Dernières publications
-
Pierrick Dartois, Luciano Maino, Giacomo Pope, Damien Robert. An Algorithmic Approach to (2, 2)-isogenies in the Theta Model and Applications to Isogeny-based Cryptography. Advances in Cryptology – ASIACRYPT 2024, 15486, Springer Nature Singapore, pp.304-338, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-981-96-0891-1_10⟩. ⟨hal-04297088⟩
-
Sami Tliba, Islam Boussaada, Silviu-Iulian Niculescu, Ricardo Falcon Prado. Design of Quasipolynomial-Based Controllers with Dynamical Parameters—Application to Active Vibration Damping. Control Theory and Inverse Problems, Springer Nature Switzerland, pp.241-263, In press, Trends in Mathematics, 978-3-031-68045-8. ⟨10.1007/978-3-031-68046-5_12⟩. ⟨hal-04844537⟩
-
Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan. VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. ⟨10.1145/3672608.3707854⟩. ⟨hal-04833623⟩
Nombre de dépôts en texte intégral
94 574
Répartition des dépôts par type de document
Mots-clés
Data assimilation
Finite element method
Monitoring
Embedded systems
Ontology
Real-time
Ensemble
Deep Learning
Routing
Calcule
Sécurité
Tridimensional
Machine learning
Privacy
Segmentation
Modélisation
Virtual reality
IoT
EEG
Compilation
Inverse problem
Algorithms
Robotics
Data mining
Reliability
Coq
Concurrency
Semantic Web
Visualisation
Algorithm
GPU
Vision par ordinateur
Image processing
Classification
Stability
Deep learning
Neural networks
Security
Natural language processing
Scalability
Tridimensionnelle
Clustering
Performance
Registration
Interoperability
Performance evaluation
Apprentissage profond
Estimation
Game theory
Static analysis
HPC
MRI
Robustness
Semantic web
Rewriting
Fractal
Pseudo
Réécriture
Modeling
Julia
Juliabulb
Simulation
Machine Learning
Apprentissage automatique
FPGA
Cloud computing
Reinforcement learning
Scheduling
Ordonnancement
Evaluation
Modelling
Optimisation
RDF
Validation
Internet of Things
Artificial intelligence
Mandelbrot
FMRI
Virtual Reality
Quaternions
MPI
Optimization
Formal methods
Sparsity
Inverse problems
Visualization
Cryptography
Distributed systems
Bioinformatics
Computer vision
Control
Mandelbulb
Verification
Cloud
Optimal control
Parallelism
Complexity
Quaternionic
Apprentissage
Semantics