Zobrazeno 1 - 10
of 441
pro vyhledávání: '"Hou, Zhe"'
Foundational verification considers the functional correctness of programming languages with formalized semantics and uses proof assistants (e.g., Coq, Isabelle) to certify proofs. The need for verifying complex programs compels it to involve express
Externí odkaz:
http://arxiv.org/abs/2411.06094
In the field of automated programming, large language models (LLMs) have demonstrated foundational generative capabilities when given detailed task descriptions. However, their current functionalities are primarily limited to function-level developme
Externí odkaz:
http://arxiv.org/abs/2410.19245
The immutable nature of blockchain technology, while revolutionary, introduces significant security challenges, particularly in smart contracts. These security issues can lead to substantial financial losses. Current tools and approaches often focus
Externí odkaz:
http://arxiv.org/abs/2410.09381
With the widespread adoption of medical informatics, a wealth of valuable personal health records (PHR) has been generated. Concurrently, blockchain technology has enhanced the security of medical institutions. However, these institutions often funct
Externí odkaz:
http://arxiv.org/abs/2410.08762
Publikováno v:
Physical Review B 110, L161406 (2024)
Minimally twisted bilayer graphene (TBG) with interlayer potential asymmetry host one-dimensional (1D) topological helical states (THSs) at domain walls between AB/BA stacking regions. However, the nature of THS propagation remains elusive. Although
Externí odkaz:
http://arxiv.org/abs/2408.09843
Autor:
Cai, Yufan, Hou, Zhe, Luan, Xiaokun, Baena, David Miguel Sanan, Lin, Yun, Sun, Jun, Dong, Jin Song
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support for program refinement is highly interactive and lacks automation. On t
Externí odkaz:
http://arxiv.org/abs/2406.18616
Autor:
Yu, Jia-Le, Hou, Zhe, Bhat, Irfan Hussain, Hu, Pei-Jia, Sun, Jia-Wen, Chen, Xiao-Feng, Guo, Ai-Min, Sun, Qing-Feng
Impurities exist inevitably in two-dimensional materials as they spontaneously adsorb onto the surface during fabrication, usually exerting detrimental effects on electronic transport. Here, we focus on a special type of impurities that preferentiall
Externí odkaz:
http://arxiv.org/abs/2404.04607
Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer science and beyond. Quantum SAT solvers have been proposed in the literat
Externí odkaz:
http://arxiv.org/abs/2308.03344
Publikováno v:
Physical Review B 109, 085412 (2024)
We investigate the mesoscopic transport through a twisted bilayer graphene (TBG) consisting of a clean graphene nanoribbon on the bottom and a disordered graphene disc on the top. We show that, with strong top-layer disorder the transmission through
Externí odkaz:
http://arxiv.org/abs/2307.09587