Issue Date | Title | Author(s) |
2022 | CoqQ: Foundational Verification of Quantum Programs. | Zhou, L; Barthe, G; Strub, P-Y; Liu, J; Ying, M |
2022 | A Tensor Network based Decision Diagram for Representation of Quantum Circuits. | Hong, X; Zhou, X; Li, S; Feng, Y; Ying, M |
2022 | Automatic Diagnosis of Myocarditis Disease in Cardiac MRI Modality using Deep Transformers and Explainable Artificial Intelligence. | Jafari, M; Shoeibi, A; Ghassemi, N; Heras, J; Khosravi, A; Ling, SH; Alizadehsani, R; Beheshti, A; Zhang, Y-D; Wang, S-H; Górriz, JM; Acharya, UR; Alinejad-Rokny, H |
2022-12-05 | Better Together: Attaining the Triad of Byzantine-robust Federated Learning via Local Update Amplification | Shen, L; Zhang, Y; Wang, J; Bai, G |
2021-11-13 | A discrete event-triggered scheme for networked control systems | Zhang, L; Swain, A; Zhang, D; Wen, S |
2020-04-07 | Lag H<inf>∞</inf> synchronization and lag synchronization for multiple derivative coupled complex networks | Zhao, LH; Wang, JL |
2022-12-28 | Feasibility of corneal epithelial transplantation with polyethylene glycol hydrogel membrane as a carrier for limbal stem cell deficiency | Guo, Y; Xian, H; Shereen, T; Qiang, F; Jin, X; Daniel, M; Qiao, GG; Zhang, H |
2022 | Genome-wide analyses of platinum-induced ototoxicity in childhood cancer patients: Results of GO-CAT and United Kingdom MAGIC consortia. | Hurkmans, EGE; Klumpers, MJ; Dello Russo, C; De Witte, W; Guchelaar, H-J; Gelderblom, H; Cleton-Jansen, A-M; Vermeulen, SH; Kaal, S; van der Graaf, WTA; Flucke, U; Gidding, CEM; Schreuder, HWB; de Bont, ESJM; Caron, HN; Gattuso, G; Schiavello, E; Terenziani, M; Massimino, M; McCowage, G; Nagabushan, S; Limaye, A; Rose, V; Catchpoole, D; Jorgensen, AL; Barton, C; Delaney, L; Hawcutt, DB; Pirmohamed, M; Pizer, B; Coenen, MJH; Te Loo, DMWM |
2021 | Model Checking for Verification of Quantum Circuits. | Ying, M; Huisman, M; Pasareanu, CS; Zhan, N |
2022-11-29 | Exploring the Affordances of Digital Toys for Young Children's Active Play | Wang, Y; Vickery, NEM; Tarlinton, D; Ploderer, B; Knight, L; Blackler, A; Wyeth, P |