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