Showing results 1 to 20 of 24
next >
Issue Date | Title | Author(s) |
2018-02-07 | Bisimulations for probabilistic linear lambda calculi | Deng, Y; Feng, Y |
2017-03-20 | Carbon coated CoS<inf>2</inf>thermal battery electrode material with enhanced discharge performances and air stability | Xie, S; Deng, Y; Mei, J; Yang, Z; Lau, WM; Liu, H |
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 |
2017-06-01 | Finite Element Analysis of Vacuum Consolidation With Modified Compressibility and Permeability Parameters | Deng, Y; Kan, ME; Indraratna, B; Zhong, R |
2022-01-01 | Formal semantics of a classical-quantum language | Deng, Y; Feng, Y |
2023-02-25 | Global landscape of SARS-CoV-2 mutations and conserved regions | Abbasian, MH; Mahmanzar, M; Rahimian, K; Mahdavi, B; Tokhanbigli, S; Moradi, B; Sisakht, MM; Deng, 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 |
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 |
2020-09-01 | High grafting strength from chemically bonded 2D layered material onto carbon microfibres for reinforced composites and ultra-long flexible cable electronic devices | Islam, MS; Deng, Y; Tong, L; Faisal, SN; Roy, AK; Minett, AI |
- | Improving RANSAC for Efficient and Precise Model Fitting with Statistical Analysis | Zhang, Y; Tian, H; Deng, Y; Wang, J |
2017-03-01 | In-situ direct grafting of graphene quantum dots onto carbon fibre by low temperature chemical synthesis for high performance flexible fabric supercapacitor | Islam, MS; Deng, Y; Tong, L; Roy, AK; Faisal, SN; Hassan, M; Minett, AI; Gomes, VG |
2019-01-01 | An interval-valued Pythagorean prioritized operator-based game theoretical framework with its applications in multicriteria group decision making | Han, Y; Deng, Y; Cao, Z; Lin, CT |
2020-02-02 | Melting Pot or Salad Bowl: Cultural Distance and Housing Investments | Deng, Y; Hu, MR; Lee, AD |
2015-08-01 | On coinduction and quantum lambda calculi | Deng, Y; Feng, Y; Dal Lago, U |
- | Open Bisimulation for Quantum Processes | Deng, Y; Feng, Y |
2017-12-01 | Probabilistic bisimilarity as testing equivalence | Deng, Y; Feng, Y |
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 |
2021-01-01 | Robust Beamforming for IRS-assisted Wireless Communications under Channel Uncertainty | Deng, Y; Zou, Y; Gong, S; Lyu, B; Hoang, DT; Niyato, D |
2017-10-27 | Single coupled-inductor dual output soft-switching DC-DC converters with improved cross-regulation and reduced components | Chen, G; Chen, L; Deng, Y; He, X; Wang, Y; Zhang, J |
2012-09-24 | Sound radiation into air by a point source moving underwater | Deng, Y; Tao, J; Qiu, X |