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