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