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