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