Search Results - "Ying, Mingsheng"

Toward automatic verification of quantum programs by Ying, Mingsheng

“…This paper summarises the results obtained by the author and his collaborators in a program logic approach to the verification of quantum programs, including…”
Get full text

Quantum computation, quantum theory and AI by Ying, Mingsheng

“…The main purpose of this paper is to examine some (potential) applications of quantum computation in AI and to review the interplay between quantum theory and…”
Get full text

Perfect distinguishability of quantum operations by Duan, Runyao, Feng, Yuan, Ying, Mingsheng

“…We provide a feasible necessary and sufficient condition for when an unknown quantum operation (quantum device) secretly selected from a set of known quantum…”
Get full text

An Algebraic Language for Distributed Quantum Computing by Ying, Mingsheng, Feng, Yuan

“…A classical circuit can be represented by a circuit graph or equivalently by a Boolean expression. The advantage of a circuit graph is that it can help us to…”
Get full text

Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose by Yu, Nengkun, Duan, Runyao, Ying, Mingsheng

“…We study the distinguishability of bipartite quantum states by positive operator-valued measures with positive partial transpose (PPT POVMs). The contributions…”
Get full text

Differential Privacy in Quantum Computation by Li Zhou, Mingsheng Ying

“…More and more quantum algorithms have been designed for solving problems in machine learning, database search and data analytics. An important problem then…”
Get full text

Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication by Duan, Runyao, Feng, Yuan, Ji, Zhengfeng, Ying, Mingsheng

“…We show that an arbitrary basis of a multipartite quantum state space consisting of K distant parties such that the kth party has local dimension dk always…”
Get full text

Parallel Quantum Algorithm for Hamiltonian Simulation by Zhang, Zhicheng, Wang, Qisheng, Ying, Mingsheng

“…We study how parallelism can speed up quantum simulation. A parallel quantum algorithm is proposed for simulating the dynamics of a large class of Hamiltonians…”
Get full text

Distinguishability of Quantum States by Separable Operations by Duan, Runyao, Feng, Yuan, Xin, Yu, Ying, Mingsheng

“…In this paper, we study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition…”
Get full text

Parameter Estimation of Quantum Channels by Ji, Zhengfeng, Wang, Guoming, Duan, Runyao, Feng, Yuan, Ying, Mingsheng

“…The efficiency of parameter estimation of quantum channels is studied in this paper. We introduce the concept of programmable parameters to the theory of…”
Get full text

A Flowchart Language for Quantum Programming by Ying, Mingsheng, Feng, Yuan

“…Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for…”
Get full text

Local distinguishability of multipartite unitary operations by Duan, Runyao, Feng, Yuan, Ying, Mingsheng

“…We show that any two different unitary operations acting on an arbitrary multipartite quantum system can be perfectly distinguished by local operations and…”
Get full text

Supervisory control of fuzzy discrete event systems by Cao, Yongzhi, Ying, Mingsheng

“…To cope with situations in which a plant's dynamics are not precisely known, we consider the problem of supervisory control for a class of discrete event…”
Get full text

Observability and decentralized control of fuzzy discrete-event systems by Cao, Yongzhi, Ying, Mingsheng

“…Fuzzy discrete-event systems as a generalization of (crisp) discrete-event systems have been introduced in order that it is possible to effectively represent…”
Get full text

Reasoning about cardinal directions between extended objects by Liu, Weiming, Zhang, Xiaotong, Li, Sanjiang, Ying, Mingsheng

“…Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a relation model, known as the…”
Get full text

State-Based Control of Fuzzy Discrete-Event Systems by Cao, Yongzhi, Ying, Mingsheng, Chen, Guoqing

“…To effectively represent possibility arising from states and dynamics of a system, fuzzy discrete-event systems (DESs) as a generalization of conventional DESs…”
Get full text

A formal model of computing with words by Ying, Mingsheng

“…Classical automata are formal models of computing with values. Fuzzy automata are generalizations of classical automata where the knowledge about the system's…”
Get full text

isQ: An Integrated Software Stack for Quantum Programming by Guo, Jingzhe, Lou, Huazhe, Yu, Jintao, Li, Riling, Fang, Wang, Liu, Junyi, Long, Peixun, Ying, Shenggang, Ying, Mingsheng

“…We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make programmers…”
Get full text

Quantum loop programs by Ying, Mingsheng, Feng, Yuan

“…Loop is a powerful program construct in classical computation, but its power is still not exploited fully in quantum computation. The exploitation of such…”
Get full text

Linguistic quantifiers modeled by Sugeno integrals by Ying, Mingsheng

“…Since quantifiers have the ability of summarizing the properties of a class of objects without enumerating them, linguistic quantification is a very important…”
Get full text