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