Showing results 1 to 20 of 187
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 |
| 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 | Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows | Basheer, A; Feng, Y; Ferrie, C; Li, S |
| 2023-06-27 | Two Views of Constrained Differential Privacy: Belief Revision and Update | Liu, L; Sun, K; Zhou, C; Feng, Y |
| 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 | 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 |
| 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 | iPSCs-derived mesenchymal stromal cells mitigate anxiety and neuroinflammation in aging female mice. | Wei, X; Li, R; Li, X; Wang, B; Huang, J; Mu, H; Zhang, Q; Zhang, Z; Ru, Y; Wu, X; Qiu, Y; Ye, Y; Feng, Y; Wang, S; Chen, H; Yi, C; Wang, J |
| 2023-01-01 | Virtual modelling technique for geometric-material nonlinear dynamics of structures | Feng, Y; Wang, Q; Chen, X; Wu, D; Gao, W |
