76 citations · 156 across the 20 of their papers we have counts for
4 papers · 1 filter
Formal Semantics of a Classical-Quantum Language
Yuxin Deng, Yuan Feng
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, we provide an operational semantics, a denota…
SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning
Jiayi Ma, Yuxin Deng
Modifications on triplet loss that rescale the back-propagated gradients of special pairs have made significant progress on local descriptor learning. However, current gradient mod…
Quantum Circuit Transformation Based on Tabu Search
Hui Jiang, Yuxin Deng, Ming Xu
The goal of quantum circuit transformation is to map a logical circuit to a physical device by inserting additional gates as few as possible in an acceptable amount of time. We pre…
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Ming Xu, Jianling Fu, Jingyi Mei +1
Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…