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