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