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