Zobrazeno 1 - 10
of 5 274
pro vyhledávání: '"LI, Guoqiang"'
Deep reinforcement learning (DRL) shows promising potential for autonomous driving decision-making. However, DRL demands extensive computational resources to achieve a qualified policy in complex driving scenarios due to its low learning efficiency.
Externí odkaz:
http://arxiv.org/abs/2412.18511
Automated program verification has always been an important component of building trustworthy software. While the analysis of real-world programs remains a theoretical challenge, the automation of loop invariant analysis has effectively resolved the
Externí odkaz:
http://arxiv.org/abs/2412.10483
Transformer-based large language models (LLMs) have demonstrated significant potential in addressing logic problems. capitalizing on the great capabilities of LLMs for code-related activities, several frameworks leveraging logical solvers for logic r
Externí odkaz:
http://arxiv.org/abs/2403.16097
Zero-knowledge proof (ZKP) systems have surged attention and held a fundamental role in contemporary cryptography. Zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) protocols dominate the ZKP usage, implemented through arithmet
Externí odkaz:
http://arxiv.org/abs/2403.15676
Autor:
Long, Feifei, Xia, Xiangze, Liu, Jian, Liu, Zixi, Wu, Xiaodong, Wu, Xiaohe, Wan, Chenguang, Gao, Xiang, Li, Guoqiang, Luo, Zhengping, Qian, Jinping, Team, EAST
The accurate construction of tokamak equilibria, which is critical for the effective control and optimization of plasma configurations, depends on the precise distribution of magnetic fields and magnetic fluxes. Equilibrium fitting codes, such as EFI
Externí odkaz:
http://arxiv.org/abs/2403.10114
Autor:
Kujawa, Joanna, Gharabli, Samer Al, Szymczyk, Anthony, Terzyk, Artur P., Boncel, Slawomir, Knozowska, Katarzyna, Li, Guoqiang, Kujawski, Wojciech
Publikováno v:
Coordination Chemistry Reviews, Volume 493, 15 October 2023, 215340
This article aims to: i) review the current membrane-based methods in REEs separation focusing on non-liquid membranes (imprinted, polymer inclusion, nanocomposite, metal-/covalent organic framework membranes), ii) present the considerations of the e
Externí odkaz:
http://arxiv.org/abs/2402.17288
The accuracy and robustness of vehicle localization are critical for achieving safe and reliable high-level autonomy. Recent results show that GPS is vulnerable to spoofing attacks, which is one major threat to autonomous driving. In this paper, a no
Externí odkaz:
http://arxiv.org/abs/2310.05407
The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed to solve privacy issues, ZKPs have now evolved into an effective remedy for scalability concerns and
Externí odkaz:
http://arxiv.org/abs/2309.04274