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