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