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
75 %
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⟩
-
-
-
-
-
-
-
-
-
-
Elias Wirth, Mathieu Besançon, Sebastian Pokutta. The Pivoting Framework: Frank-Wolfe Algorithms with Active Set Size Control. AISTATS 2025 - 28th International Conference on Artificial Intelligence and Statistics, The Society for Artificial Intelligence and Statistics, May 2025, Mai Khao, Thailand. pp.1-24. ⟨hal-04913437⟩
-
Number of full text documents
92 048
Submissions distribution by document type
Keywords
Classification
Virtual Reality
Performance evaluation
Real-time
Machine learning
Reinforcement learning
Security
Parallelism
Routing
Machine Learning
HPC
Fractal
Registration
Distributed systems
Visualization
Clustering
Validation
Rewriting
Modeling
Modélisation
Mandelbrot
Ordonnancement
Complexity
FPGA
Scheduling
Scalability
Réécriture
Robotics
FMRI
Data assimilation
Game theory
Cloud computing
Static analysis
Quaternions
Sécurité
Formal methods
Control
Ensemble
Vision par ordinateur
Apprentissage profond
Julia
Algorithms
IoT
MPI
EEG
Embedded systems
Compilation
Tridimensional
Pseudo
Computer vision
RDF
Modelling
Algorithm
Deep Learning
Monitoring
GPU
Deep learning
Neural networks
FOS Computer and information sciences
Simulation
Sparsity
Bioinformatics
Cryptography
Mandelbulb
Apprentissage
Cloud
Data mining
Artificial intelligence
Optimisation
Segmentation
Finite element method
Calcule
Virtual reality
Juliabulb
Stability
Semantics
Semantic web
Optimal control
Quaternionic
Semantic Web
Interoperability
Internet of Things
Coq
MRI
Tridimensionnelle
XML
Ontology
Estimation
Inverse problem
Inverse problems
Optimization
Verification
Visualisation
Evaluation
Performance
Privacy
Image processing
Robustness
Reliability
Apprentissage automatique