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