Issue Date | Title | Author(s) |
2019-01-01 | Formal verification of quantum algorithms using quantum hoare logic | Liu, J; Zhan, B; Wang, S; Ying, S; Liu, T; Li, Y; Ying, M; Zhan, N; Dillig, I; Tasiran, S |
2009-12-01 | An improved series equivalent circuit of a single-sided linear induction motor | Xu, W; Zhu, J; Zhang, Y; Dorrell, DG; Li, Y |
2005-01 | Benefits of Fixed to Mobile Substitution in Africa | Li, Y; Agbinya, JI; N/A |
2007-12-01 | Range extension and channel capacity increase in direct short range vehicular UWB communications | Agbinya, JI; Gyasi-Agyei, A; Vucetic, B; Li, Y; Umuhoza, D |
2012-12-10 | Difficulty guided image retrieval using linear multiple feature embedding | Li, Y; Geng, B; Tao, D; Zha, ZJ; Yang, L; Xu, C |
2016-05-31 | On Quantum Tensor Product Codes | Fan, J; Li, Y; Hsieh, M-H; Chen, H |
2021-07-13 | From Generalization of Bacon-Shor Codes to High Performance Quantum LDPC Codes | Fan, J; Li, J; Wang, Y; Li, Y; Hsieh, M-H; Du, J |
2016-03-08 | Semantic SPARQL Query in a Relational Database Based on Ontology Construction | Hazber, MAG; Li, R; Gu, X; Xu, G; Li, Y |
2021-04-30 | Optimal Adaptive Strategies for Sequential Quantum Hypothesis Testing | Li, Y; Tan, VYF; Tomamichel, M |
2010-12-20 | Torque ripples and estimation performance of high frequency signal injection based sensorless pmsm drive strategies | Wang, Y; Zhu, J; Guo, Y; Li, Y; Xu, W |