Article-Journal

A proof system for disjoint parallel quantum programs
In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint …
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
引用 DOI URL
Data augmentation for Convolutional LSTM based brain computer interface system
Electroencephalogram (EEG) is a noninvasive method to detect spatio-temporal electric signals in human brain, actively used in the …
Kahoko Takahashi, Zhe Sun, Jordi Solé-Casals, Andrzej Cichocki, Anh Huy Phan, Qibin Zhao, Huihai Zhao, Shangkun Deng, Ruggero Micheletto
引用 DOI URL
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
引用 DOI
Formal semantics of a classical-quantum language
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, …
Yuxin Deng, Yuan Feng
引用 DOI URL
Integrating quantum processor device and control optimization in a gradient-based framework
Xiaotong Ni, Huihai Zhao, Lei Wang, Feng Wu, Jianxin Chen
引用
Measuring the constrained reachability in quantum Markov chains
Constrained reachability is a kind of quantitative path property, which is generally specified by multiphase until formulas originated …
Ming Xu, Cheng-Chao Huang, Yuan Feng
引用 DOI URL
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
The increasing control complexity of Noisy Intermediate-Scale Quantum (NISQ) systems underlines the necessity of integrating quantum …
X. Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng
引用 DOI URL
Symbolic Reasoning About Quantum Circuits in Coq
A quantum circuit is a computational unit that transforms an input quantum state to an output state. A natural way to reason about its …
Wen-Jun Shi, Qin-Xiang Cao, Yu-Xin Deng, Han-Ru Jiang, Yuan Feng
引用 DOI URL
MIP* = RE
Note from the Research Highlights Co-Chairs: A Research Highlights paper appearing in Communications is usually peer-reviewed prior to …
Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
引用 DOI URL
Separation of Out-Of-Time-Ordered Correlation and Entanglement
Aram W. Harrow, Linghang Kong, Zi-Wen Liu, Saeed Mehraban, Peter W. Shor
引用 DOI URL