Loading...
Vous pouvez consulter et rechercher ici l'ensemble des publications Inria déposées sur HAL ou sur HAL-Inria.
Cette liste de publications est générée automatiquement chaque nuit.
Si au moins un des auteurs de la publication déposée est associé à l'Inria, elle sera intégrée dans cette collection. Pour déposer sur HAL-Inria
Contact : archive-ouverte@inria.fr
Open Access
76 %
Dernières 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⟩
-
Fatmir Asllanaj, Sylvain Contassot-Vivier, Fabien Pascale, Roberta J.C. da Fonseca, Guilherme C Fraga, et al.. Unified gas radiation model over the entire temperature range based on WSGG. International Journal of Heat and Mass Transfer, In press, 241, pp.126713. ⟨10.1016/j.ijheatmasstransfer.2025.126713⟩. ⟨hal-04912190⟩
-
Elias Wirth, Mathieu Besançon, Sebastian Pokutta. The Pivoting Framework: Frank-Wolfe Algorithms with Active Set Size Control. The 28th International Conference on Artificial Intelligence and Statistics (AISTATS), The Society for Artificial Intelligence and Statistics, May 2025, Mai Khao, Thailand. ⟨hal-04913437⟩
Nombre de dépôts en texte intégral
95 618
Répartition des dépôts par type de document
Mots-clés
MPI
Verification
Internet of Things
Visualization
Distributed systems
Cloud
Natural language processing
Compilation
Artificial intelligence
Complexity
Classification
Rewriting
Quaternions
Apprentissage profond
MRI
Calcule
Reinforcement learning
Data assimilation
Machine learning
Performance
Robotics
Embedded systems
Virtual Reality
Cloud computing
Intelligence artificielle
Julia
Simulation
Evaluation
Modélisation
Concurrency
Coq
EEG
Ontology
Monitoring
RDF
Modeling
Sécurité
Computer vision
Mandelbulb
Algorithm
Segmentation
Algorithms
Formal methods
Mandelbrot
Security
Parallelism
Apprentissage
Optimal control
Semantics
Real-time
Cryptography
Privacy
Reliability
IoT
FMRI
Sparsity
Registration
Inverse problems
Semantic web
Visualisation
Bioinformatics
Inverse problem
Game theory
Deep learning
FOS Computer and information sciences
Pseudo
Modelling
HPC
Deep Learning
FPGA
Neural networks
Robustness
Estimation
Scheduling
Optimization
Performance evaluation
Image processing
Quaternionic
Stability
Tridimensional
Static analysis
Semantic Web
Routing
Ensemble
Ordonnancement
Tridimensionnelle
Scalability
Machine Learning
Control
Optimisation
Réécriture
Vision par ordinateur
Juliabulb
Virtual reality
GPU
Validation
Clustering
Fractal
Apprentissage automatique
Data mining