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