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