1. OPUS at UTS

Browsing byAuthorYing, M

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 83 to 102 of 222< previous   next >
Issue DateTitleAuthor(s)
2006-05-29Identification and distance measures of measurement apparatusJi, Z; Feng, Y; Duan, R; Ying, M
2002-02-01Implication operators in fuzzy logicYing, M
2017-01-01Invariants of quantum programs: Characterisations and generationYing, M; Ying, S; Wu, X
2023-01-01isQ: An Integrated Software Stack for Quantum ProgrammingGuo, J; Lou, H; Yu, J; Li, R; Fang, W; Liu, J; Long, P; Ying, S; Ying, M
2005-03-01Knowledge transformation and fusion in diagnostic systemsYing, M
2002-08-01Lattice-theoretic models of conjectures, hypotheses and consequencesYing, M; Wang, H
2006-05-01Linguistic quantifiers modeled by Sugeno integralsYing, M
2005-09-01Local cloning of two product statesJi, Z; Feng, Y; Ying, M
2004-12-06Local discrimination of maximally entangled states in canonical formCao, H; Ying, M
2008-01-17Local distinguishability of multipartite unitary operationsDuan, R; Feng, Y; Ying, M
2010-09-30Local unambiguous discrimination with remaining entanglementLi, Y; Duan, R; Ying, M
2010-03-29Locally indistinguishable subspaces spanned by three-qubit unextendible product basesDuan, R; Xin, Y; Ying, M
2009-11-01Locally undetermined states, generalized schmidt decomposition, and application in deistributed comutingFeng, Y; Duan, R; Ying, M
2002-01-01Lower bound on inconclusive probability of unambiguous discriminationFeng, Y; Zhang, S; Duan, R; Ying, M
2010-01-01The LU-LC conjecture is falseZhengfeng, JI; Chen, J; Wei, Z; Ying, M
2006-10-25Majorization in quantum adiabatic algorithmsWei, Z; Ji, Z; Ying, M
2002-01-01Mathematical nature of and a family of lower bounds for the success probability of unambiguous discriminationSun, X; Zhang, S; Feng, Y; Ying, M
2024Measurement-Based Verification of Quantum Markov ChainsGuan, J; Feng, Y; Turrini, A; Ying, M
2019Model Checking Applied to Quantum Physics.Guan, J; Feng, Y; Turrini, A; Ying, M
2021-01-01Model Checking for Verification of Quantum CircuitsYing, M
Showing results 83 to 102 of 222< previous   next >