Issue Date | Title | Author(s) |
2019-02-01 | Design of bionic-bamboo thin-walled structures for energy absorption | Fu, J; Liu, Q; Liufu, K; Deng, Y; Fang, J; Li, Q |
2014 | Symbolic Bisimulation for Quantum Processes. | Feng, Y; Deng, Y; Ying, M |
2014-01-01 | Symbolic bisimulation for quantum processes | Feng, Y; Deng, Y; Ying, M |
2018-02-07 | Bisimulations for probabilistic linear lambda calculi | Deng, Y; Feng, Y |
2019-04-01 | Wnt16 attenuates osteoarthritis progression through a PCP/JNK-mTORC1-PTHrP cascade | Tong, W; Zeng, Y; Chow, DHK; Yeung, W; Xu, J; Deng, Y; Chen, S; Zhao, H; Zhang, X; Ho, KK; Qin, L; Mak, KK-L |
2017-12-01 | Probabilistic bisimilarity as testing equivalence | Deng, Y; Feng, Y |
2021-12-01 | Guest Editorial: Fuzzy Systems Toward Human-Explainable Artificial Intelligence and Their Applications | Cao, Z; Lin, C-T; Deng, Y; Weber, G-W |
2021-12-31 | Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features | Fu, X; Yu, J; Su, X; Jiang, H; Wu, H; Cheng, F; Deng, X; Zhang, J; Jin, L; Yang, Y; Xu, L; Hu, C; Huang, A; Huang, G; Qiang, X; Deng, M; Xu, P; Xu, W; Liu, W; Zhang, Y; Deng, Y; Wu, J; Feng, Y |
2016-01-01 | Grafting carbon nanotubes directly onto carbon fibers for superior mechanical stability: Towards next generation aerospace composites and energy storage applications | Islam, MS; Deng, Y; Tong, L; Faisal, SN; Roy, AK; Minett, AI; Gomes, VG |
2016-03-30 | Zero-voltage-switching buck converter with low-voltage stress using coupled inductor | Chen, G; Deng, Y; He, X; Wang, Y; Zhang, J |