清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Article-Journal
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search
Xiangzhen Zhou
,
Sanjiang Li
,
Yuan Feng
引用
DOI
Quantum Supremacy Circuit Simulation on Sunway TaihuLight
Riling Li
,
Bujiao Wu
,
Mingsheng Ying
,
Xiaoming Sun
,
Guangwen Yang
引用
DOI
Strassen's theorem for quantum couplings
Strassen’s theorem for probabilistic couplings is a fundamental theorem in probability theory that can be used to bound the …
Li Zhou
,
Shenggang Ying
,
Nengkun Yu
,
Mingsheng Ying
引用
DOI
URL
Zero-Knowledge Proof Systems for QMA
Prior work has established that all problems in NP admit classical zero-knowledge proof systems, and under reasonable hardness …
Anne Broadbent
,
Zhengfeng Ji
,
Fang Song
,
John Watrous
引用
DOI
URL
Carrier recombination mechanism at defects in wide band gap two-dimensional materials from first principles
Feng Wu
,
Tyler J. Smart
,
Junqing Xu
,
Yuan Ping
引用
DOI
URL
Minimum entangling power is close to its maximum
Jianxin Chen
,
Zhengfeng Ji
,
David W Kribs
,
Bei Zeng
,
Fang Zhang
引用
DOI
URL
Preface to special topic on quantum computing
Guang-Can Guo
,
Mingsheng Ying
引用
DOI
URL
Ruthenium atomically dispersed in carbon outperforms platinum toward hydrogen evolution in alkaline media
Hydrogen evolution reaction is an important process in electrochemical energy technologies. Herein, ruthenium and nitrogen codoped …
Bingzhang Lu
,
Lin Guo
,
Feng Wu
,
Yi Peng
,
Jia En Lu
,
Tyler J. Smart
,
Nan Wang
,
Y. Zou Finfrock
,
David Morris
,
Peng Zhang
,
Ning Li
,
Peng Gao
,
Yuan Ping
,
Shaowei Chen
引用
DOI
URL
Toward automatic verification of quantum programs
This paper summarises the results obtained by the author and his collaborators in a program logic approach to the verification of …
Mingsheng Ying
引用
DOI
URL
Dimensionality and anisotropicity dependence of radiative recombination in nanostructured phosphorene
Feng Wu
,
Dario Rocca
,
Yuan Ping
引用
DOI
URL
«
»
引用
×