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