Browsing byAuthorDeng, Y

Jump to a point in the index:
Showing results 1 to 20 of 23  next >
Issue DateTitleAuthor(s)
2022-01-01Formal semantics of a classical-quantum languageDeng, Y; Feng, Y
2021-12-31Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ FeaturesFu, 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
2021-12-01Guest Editorial: Fuzzy Systems Toward Human-Explainable Artificial Intelligence and Their ApplicationsCao, Z; Lin, C-T; Deng, Y; Weber, G-W
2021-01-01Robust Beamforming for IRS-assisted Wireless Communications under Channel UncertaintyDeng, Y; Zou, Y; Gong, S; Lyu, B; Hoang, DT; Niyato, D
2020-09-01High grafting strength from chemically bonded 2D layered material onto carbon microfibres for reinforced composites and ultra-long flexible cable electronic devicesIslam, MS; Deng, Y; Tong, L; Faisal, SN; Roy, AK; Minett, AI
2020-02-02Melting Pot or Salad Bowl: Cultural Distance and Housing InvestmentsDeng, Y; Hu, MR; Lee, AD
2019-04-01Wnt16 attenuates osteoarthritis progression through a PCP/JNK-mTORC1-PTHrP cascadeTong, W; Zeng, Y; Chow, DHK; Yeung, W; Xu, J; Deng, Y; Chen, S; Zhao, H; Zhang, X; Ho, KK; Qin, L; Mak, KK-L
2019-02-01Design of bionic-bamboo thin-walled structures for energy absorptionFu, J; Liu, Q; Liufu, K; Deng, Y; Fang, J; Li, Q
2019-01-01An interval-valued Pythagorean prioritized operator-based game theoretical framework with its applications in multicriteria group decision makingHan, Y; Deng, Y; Cao, Z; Lin, CT
2018-02-07Bisimulations for probabilistic linear lambda calculiDeng, Y; Feng, Y
2017-12-01Probabilistic bisimilarity as testing equivalenceDeng, Y; Feng, Y
2017-10-27Single coupled-inductor dual output soft-switching DC-DC converters with improved cross-regulation and reduced componentsChen, G; Chen, L; Deng, Y; He, X; Wang, Y; Zhang, J
2017-06-01Finite Element Analysis of Vacuum Consolidation With Modified Compressibility and Permeability ParametersDeng, Y; Kan, ME; Indraratna, B; Zhong, R
2017-03-20Carbon coated CoS<inf>2</inf>thermal battery electrode material with enhanced discharge performances and air stabilityXie, S; Deng, Y; Mei, J; Yang, Z; Lau, WM; Liu, H
2017-03-01In-situ direct grafting of graphene quantum dots onto carbon fibre by low temperature chemical synthesis for high performance flexible fabric supercapacitorIslam, MS; Deng, Y; Tong, L; Roy, AK; Faisal, SN; Hassan, M; Minett, AI; Gomes, VG
2016-03-30Zero-voltage-switching buck converter with low-voltage stress using coupled inductorChen, G; Deng, Y; He, X; Wang, Y; Zhang, J
2016-01-01Grafting carbon nanotubes directly onto carbon fibers for superior mechanical stability: Towards next generation aerospace composites and energy storage applicationsIslam, MS; Deng, Y; Tong, L; Faisal, SN; Roy, AK; Minett, AI; Gomes, VG
2015-08-01On coinduction and quantum lambda calculiDeng, Y; Feng, Y; Dal Lago, U
2014-01-01Symbolic bisimulation for quantum processesFeng, Y; Deng, Y; Ying, M
2014Symbolic Bisimulation for Quantum Processes.Feng, Y; Deng, Y; Ying, M