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