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