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