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