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