Showing results 1 to 20 of 190
next >
| Issue Date | Title | Author(s) |
| 2024-02 | Virtual modelling aided safety assessment for ductile structures against high-velocity impact | Feng, Y; Alamdari, MM; Wu, D; Luo, Z; Ruan, D; Egbelakin, T; Chen, X; Gao, W |
| 2024 | Measurement-Based Verification of Quantum Markov Chains | Guan, J; Feng, Y; Turrini, A; Ying, M |
| 2023-12-01 | Photoreduction adjusted surface oxygen vacancy of Bi<inf>2</inf>MoO<inf>6</inf> for boosting photocatalytic redox performance | Shi, T; Jia, H; Feng, Y; Gong, B; Chen, D; Liang, Y; Ding, H; Chen, K; Hao, D |
| 2023-11-30 | Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping | Li, S; Nguyen, KD; Clare, Z; Feng, Y |
| 2023-11-30 | Decision Diagrams for Symbolic Verification of Quantum Circuits | Hong, X; Huang, W-J; Chien, W-C; Feng, Y; Hsieh, M-H; Li, S; Yeh, C-S; Ying, M; Cour, BL; Yeh, L; Osinski, M |
| 2023-11-01 | Robust numerical solution for assessing corrosion of reinforced concrete structures under external power supply | Dong, B; Yu, Y; Feng, Y; Wu, D; Zhao, G; Liu, A; Gao, W |
| 2023-10-01 | Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs | Feng, Y; Li, S |
| 2023-09-01 | Model Checking for Probabilistic Multiagent Systems | Fu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, LJ |
| 2023-08-15 | Virtual modelling integrated phase field method for dynamic fracture analysis | Liu, Y; Feng, Y; Wu, D; Chen, X; Gao, W |
| 2023-08-01 | Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping | Li, S; Nguyen, KD; Clare, Z; Feng, Y |
| 2023-07-01 | Past, current and future trends and challenges in non-deterministic fracture mechanics: A review | Feng, Y; Wu, D; Stewart, MG; Gao, W |
| 2023-06-27 | Two Views of Constrained Differential Privacy: Belief Revision and Update | Liu, L; Sun, K; Zhou, C; 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 |
| 2023-06-01 | Swirling flow and capillary diameter effect on the performance of an active dry powder inhalers | Taheri, MH; Askari, N; Feng, Y; Nabaei, M; Islam, MS; Farnoud, A; Cui, X |
| 2023-04 | Zone of flow: A new finding on the characteristics of airflow within the zone of influence during air sparging in aquifers. | Cheng, K; Zhang, T; Peng, K; Feng, Y; Liu, H; Medawela, S |
| 2023-03-25 | Verification of Nondeterministic Quantum Programs | Feng, Y; Xu, Y |
| 2023-03-01 | Experimental-numerical-virtual (ENV) modelling technique for composite structure against low velocity impacts | Feng, Y; Wang, Q; Yu, Y; Zhang, T; Wu, D; Chen, X; Luo, Z; Gao, W |
| 2023-02-01 | Supervised Learning Enhanced Quantum Circuit Transformation | Zhou, X; Feng, Y; Li, S |
| 2023-02-01 | System Framework for Digital Monitoring of the Construction of Asphalt Concrete Pavement Based on IoT, BeiDou Navigation System, and 5G Technology | Zhang, J; Zhu, Z; Liu, H; Zuo, J; Ke, Y; Philbin, SP; Zhou, Z; Feng, Y; Ni, Q |
| 2023-02-01 | Nonlinear dynamic analysis of the functionally graded graphene platelets reinforced porous plate under moving mass | Tian, Y; Li, Q; Feng, Y; Yu, Y; Wu, D; Chen, X; Gao, W |
