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
75 %
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 Falcón-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 473
Répartition des dépôts par type de document
Mots-clés
Security
Distributed systems
Privacy
Modelling
Modeling
Coq
Segmentation
Verification
Natural language processing
Fractal
Control
Ordonnancement
Optimisation
Formal methods
Deep Learning
Quaternionic
Modélisation
Virtual reality
Artificial intelligence
Visualisation
Image processing
Registration
Apprentissage
Semantic web
Robustness
Static analysis
IoT
Juliabulb
Apprentissage automatique
Interoperability
Inverse problems
MRI
Mandelbulb
Mandelbrot
Cryptography
MPI
Réécriture
Semantics
Visualization
Computer vision
Internet of Things
Inverse problem
Optimization
Robotics
Stability
Performance
Calcule
Data mining
Machine Learning
Reinforcement learning
Machine learning
Semantic Web
Scheduling
Finite element method
Ontology
Cloud
Cloud computing
Tridimensional
Validation
Tridimensionnelle
Estimation
Game theory
Ensemble
Complexity
Virtual Reality
Bioinformatics
Reliability
Neural networks
Embedded systems
Clustering
Algorithm
Quaternions
Julia
Monitoring
GPU
EEG
Routing
Sparsity
Parallelism
Algorithms
Performance evaluation
Compilation
Evaluation
HPC
Vision par ordinateur
Data assimilation
Sécurité
FMRI
Simulation
Apprentissage profond
Pseudo
Classification
Scalability
Concurrency
FPGA
Rewriting
Real-time
Deep learning
Optimal control
RDF