Browsing byAuthorFeng, Y

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 1 to 20 of 135  next >
Issue DateTitleAuthor(s)
2021-12-01A Dual-Protective Artificial Interface for Stable Lithium Metal AnodesFan, L; Sun, B; Yan, K; Xiong, P; Guo, X; Guo, Z; Zhang, N; Feng, Y; Sun, K; Wang, G
2020-11-02A Monte Carlo Tree Search Framework for Quantum Circuit TransformationZhou, X; Feng, Y; Li, S
2020-01-01A New Supply Chain System and Its Impulsive SynchronizationPeng, Y; Wu, J; Wen, S; Feng, Y; Tu, Z; Zou, L
2022-01-02A proof system for disjoint parallel quantum programsYing, M; Zhou, L; Li, Y; Feng, Y
2012-10-15Active learning for social image retrieval using Locally Regressive Optimal DesignFeng, Y; Xiao, J; Zha, Z; Zhang, H; Yang, Y
2021-01-01Adapted block hybrid method for the numerical solution of duffing equations and related problemsAbdulganiy, RI; Wen, S; Feng, Y; Zhang, W; Tang, N
2009-04-01An algebra of quantum processesYing, M; Feng, Y; Duan, R; Ji, Z
2009-06-02An algebraic language for distributed quantum computingYing, M; Feng, Y
-Alternation in Quantum Programming: From Superposition of Data to Superposition of ProgramsYing, M; Yu, N; Feng, Y
2021-01-01An Acceleration Method for AC Steady State Performance of Dual Three-Phase Machine: Modeling and ImplementationLi, Y; Feng, Y; Huang, S; Ma, B; Zhu, S; Zhu, J
2021-12-05Approximate Equivalence Checking of Noisy Quantum CircuitsHong, X; Ying, M; Feng, Y; Zhou, X; Li, S
2016-07-01Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability ParametersSu, G; Feng, Y; Chen, T; Rosenblum, DS
2012-12-01Bisimulation for quantum processesFeng, Y; Duan, R; Ying, M
2011-01-01Bisimulation for quantum processesFeng, Y; Duan, R; Ying, M
2012-01Bisimulation For Quantum ProcessesFeng, Y; Duan, R; Ying, M
2018-02-07Bisimulations for probabilistic linear lambda calculiDeng, Y; Feng, Y
2006-03-27Boundary effect of deterministic dense codingJi, Z; Feng, Y; Duan, R; Ying, M
2005-03-01Catalyst-assisted probabilistic entanglement transformationFeng, Y; Duan, R; Ying, M
2009-06-17Characterizing locally indistinguishable orthogonal product statesFeng, Y; Shi, Y
2007-11-15Commutativity of quantum weakest preconditionsYing, M; Chen, J; Feng, Y; Duan, R