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