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