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