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