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