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