Article-Journal

Reasoning about probabilistic sequential programs in a probabilistic logic
We introduce a notion of strong monotonicity of probabilistic predicate transformers. This notion enables us to establish a normal form …
引用 DOI URL
Extensionality of the RCC8 Composition Table
This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism …
Sanjiang Li, Mingsheng Ying
引用 DOI URL
Region Connection Calculus: Its models and composition table
Originating in Allen’s analysis of temporal relations, the notion of composition table has become a key technique in providing an …
Sanjiang Li, Mingsheng Ying
引用 DOI URL
Lower bound on inconclusive probability of unambiguous discrimination
Yuan Feng, Shengyu Zhang, Runyao Duan, Mingsheng Ying
引用 DOI URL
Set discrimination of quantum states
Shengyu Zhang, Mingsheng Ying
引用 DOI URL
Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination
Xiaoming Sun, Shengyu Zhang, Yuan Feng, Mingsheng Ying
引用 DOI URL
Probabilistic cloning and deleting of quantum states
Yuan Feng, Shengyu Zhang, Mingsheng Ying
引用 DOI URL
A formal model of computing with words
引用 DOI
Additive models of probabilistic processes
We propose a new model of probabilistic processes. In this model, a probability is assigned to the action of a prefix and a probability …
引用 DOI URL
Bisimulation indexes and their applications
Bisimulation expresses the equivalence of processes whose external actions are identical. Sometimes we may meet two processes which are …
引用 DOI URL