Showing results 1 to 20 of 189
next >
Issue Date | Title | Author(s) |
2022-11-22 | A Cognitive-Emotional Model From Mobile Short-Form Video Addiction to Intermittent Discontinuance: The Moderating Role of Neutralization | Feng, Y; LI, L; Zhao, A |
2021-12-01 | A Dual-Protective Artificial Interface for Stable Lithium Metal Anodes | Fan, L; Sun, B; Yan, K; Xiong, P; Guo, X; Guo, Z; Zhang, N; Feng, Y; Sun, K; Wang, G |
2020-11-02 | A Monte Carlo Tree Search Framework for Quantum Circuit Transformation | Zhou, X; Feng, Y; Li, S |
2022-01-01 | A Mortar Method Based Domain Decomposition Approach for Winding Loss Computation of Electrical Machines | Huang, S; Li, Y; Ma, B; Feng, Y; Lei, G; Zhu, J |
2020-01-01 | A New Supply Chain System and Its Impulsive Synchronization | Peng, Y; Wu, J; Wen, S; Feng, Y; Tu, Z; Zou, L |
2022-01-02 | A proof system for disjoint parallel quantum programs | Ying, M; Zhou, L; Li, Y; Feng, Y |
2020 | A Tensor Network based Decision Diagram for Representation of Quantum Circuits. | Hong, X; Zhou, X; Li, S; Feng, Y; Ying, M |
2022 | A Tensor Network based Decision Diagram for Representation of Quantum Circuits. | Hong, X; Zhou, X; Li, S; Feng, Y; Ying, M |
2023-01-01 | A three-way Pythagorean fuzzy correlation coefficient approach and its applications in deciding some real-life problems | Ejegwa, PA; Wen, S; Feng, Y; Zhang, W; Liu, J |
2023-10-01 | Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs | Feng, Y; Li, S |
2012-10-15 | Active learning for social image retrieval using Locally Regressive Optimal Design | Feng, Y; Xiao, J; Zha, Z; Zhang, H; Yang, Y |
2021-01-01 | Adapted block hybrid method for the numerical solution of duffing equations and related problems | Abdulganiy, RI; Wen, S; Feng, Y; Zhang, W; Tang, N |
2009-04-01 | An algebra of quantum processes | Ying, M; Feng, Y; Duan, R; Ji, Z |
2009-06-02 | An algebraic language for distributed quantum computing | Ying, M; Feng, Y |
2023-06-27 | Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows | Basheer, A; Feng, Y; Ferrie, C; Li, S |
- | Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs | Ying, M; Yu, N; Feng, Y |
2021-01-01 | An Acceleration Method for AC Steady State Performance of Dual Three-Phase Machine: Modeling and Implementation | Li, Y; Feng, Y; Huang, S; Ma, B; Zhu, S; Zhu, J |
2021-12-05 | Approximate Equivalence Checking of Noisy Quantum Circuits | Hong, X; Ying, M; Feng, Y; Zhou, X; Li, S |
2021 | Approximate Equivalence Checking of Noisy Quantum Circuits. | Hong, X; Ying, M; Feng, Y; Zhou, X; Li, S |
2016-07-01 | Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters | Su, G; Feng, Y; Chen, T; Rosenblum, DS |