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