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