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