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