920 citations
- Institute of SoftwareCN78 papers
- Chinese Academy of SciencesCN77 papers
- University of WaterlooCA22 papers
- University of Chinese Academy of SciencesCN20 papers
- University of GuelphCA19 papers
- Tsinghua UniversityCN18 papers
- University of Technology SydneyAU17 papers
- Joint Center for Quantum Information and Computer ScienceUS8 papers
- Perimeter InstituteCA8 papers
- University of Maryland, College ParkUS7 papers
- Institute of PhysicsPL5 papers
- State Key Laboratory of Low-Dimensional Quantum Physics5 papers
80 papers
New Quantum Algorithms for Computing Quantum Entropies and Distances
Qisheng Wang, Ji Guan, Junyi Liu +2
We propose a series of quantum algorithms for computing a wide range of quantum entropies and distances, including the von Neumann entropy, quantum Rényi entropy, trace distance, a…
A Probabilistic Logic for Verifying Continuous-time Markov Chains
Ji Guan, Nengkun Yu
A continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, name…
Quantum Random Access Stored-Program Machines
Qisheng Wang, Mingsheng Ying
Random access machines (RAMs) and random access stored-program machines (RASPs) are models of computing that are closer to the architecture of real-world computers than Turing mach…
Balanced Binary Neural Networks with Gated Residual
Mingzhu Shen, Xianglong Liu, Ruihao Gong +1
Binary neural networks have attracted numerous attention in recent years. However, mainly due to the information loss stemming from the biased binarization, how to preserve the acc…
Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization
Ruyi Ji, Longyin Wen, Libo Zhang +5
Fine-grained visual categorization (FGVC) is an important but challenging task due to high intra-class variances and low inter-class variances caused by deformation, occlusion, ill…
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren +1
Branching bisimilarity is a behavioural equivalence relation on labelled transition systems that takes internal actions into account. It has the traditional advantage that algorith…