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
76 %
Dernières publications
-
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, et al.. HpC: A Calculus for Hybrid and Mobile Systems. Proceedings of the ACM on Programming Languages, In press, Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA), ⟨10.48550/arXiv.2501.09430⟩. ⟨hal-04892767⟩
-
Sami Tliba, Islam Boussaada, Silviu-Iulian Niculescu, Ricardo Falcon 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⟩
Nombre de dépôts en texte intégral
95 227
Répartition des dépôts par type de document
Mots-clés
Virtual reality
Finite element method
Image processing
Ontology
Tridimensional
Performance evaluation
Optimization
Mandelbulb
Inverse problems
Coq
Robotics
Reliability
Monitoring
MRI
Neural networks
Security
Rewriting
Simulation
Julia
Control
Natural language processing
Fractal
Sécurité
RDF
Deep Learning
Modélisation
Scheduling
FMRI
Internet of Things
Calcule
Evaluation
Reinforcement learning
Concurrency
Stability
Cloud
Semantic Web
Complexity
GPU
Algorithms
Apprentissage
Juliabulb
Computer vision
Scalability
Cryptography
EEG
Apprentissage automatique
Ensemble
Deep learning
Verification
Quaternions
Quaternionic
Modeling
Cloud computing
Embedded systems
FOS Computer and information sciences
Compilation
MPI
HPC
Artificial intelligence
FPGA
Clustering
Privacy
Machine learning
Registration
Apprentissage profond
Modelling
Data mining
Virtual Reality
Distributed systems
Robustness
Routing
Data assimilation
Segmentation
Real-time
Semantics
Formal methods
IoT
Mandelbrot
Classification
Bioinformatics
Performance
Estimation
Vision par ordinateur
Optimisation
Visualisation
Pseudo
Algorithm
Validation
Game theory
Semantic web
Static analysis
Ordonnancement
Réécriture
Inverse problem
Visualization
Sparsity
Machine Learning
Optimal control
Tridimensionnelle
Parallelism