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