Loading...
You can consult and search here for all Inria publications on HAL or on HAL-Inria.
This list of publications is automatically generated each night.
If at least one of the authors of the publication is associated with Inria, it will be included in this collection. Here to deposit HAL-Inria
Contact : archive-ouverte@inria.fr
Open Access
76 %
The latest 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⟩
Number of full text documents
95 228
Submissions distribution by document type
Keywords
Clustering
Machine Learning
Tridimensionnelle
Stability
Semantics
Computer vision
Virtual Reality
Intelligence artificielle
Mandelbrot
Rewriting
Cloud
Réécriture
Modélisation
Modeling
Neural networks
RDF
Bioinformatics
Robustness
Reliability
Deep Learning
Validation
Natural language processing
Algorithm
Semantic Web
Evaluation
Parallelism
Robotics
Complexity
Real-time
Quaternionic
Formal methods
Ontology
Cloud computing
Game theory
MRI
Reinforcement learning
IoT
Apprentissage profond
GPU
Finite element method
Juliabulb
Verification
Internet of Things
Algorithms
Inverse problems
Inverse problem
Scalability
Data assimilation
Deep learning
Virtual reality
Performance
Simulation
Visualisation
Machine learning
Cryptography
Classification
Static analysis
HPC
Sécurité
Data mining
FPGA
Pseudo
Concurrency
Security
Optimisation
Tridimensional
Coq
MPI
Fractal
Control
Ordonnancement
Estimation
Calcule
Routing
Distributed systems
Vision par ordinateur
Semantic web
Visualization
EEG
Image processing
Julia
Scheduling
Sparsity
Quaternions
Privacy
Artificial intelligence
Apprentissage automatique
Apprentissage
Segmentation
Modelling
Optimization
Mandelbulb
Monitoring
Performance evaluation
Optimal control
Compilation
Registration
Ensemble
FOS Computer and information sciences
Embedded systems