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