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