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