Browsing byAuthorDeng, Y

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 23  next >
Issue DateTitleAuthor(s)
2018-02-07Bisimulations for probabilistic linear lambda calculiDeng, Y; Feng, Y
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
2019-02-01Design of bionic-bamboo thin-walled structures for energy absorptionFu, J; Liu, Q; Liufu, K; Deng, Y; Fang, J; Li, Q
2017-06-01Finite Element Analysis of Vacuum Consolidation With Modified Compressibility and Permeability ParametersDeng, Y; Kan, ME; Indraratna, B; Zhong, R
2022-01-01Formal semantics of a classical-quantum languageDeng, Y; Feng, Y
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
2021-12-01Guest Editorial: Fuzzy Systems Toward Human-Explainable Artificial Intelligence and Their ApplicationsCao, Z; Lin, C-T; Deng, Y; Weber, G-W
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
-Improving RANSAC for Efficient and Precise Model Fitting with Statistical AnalysisZhang, Y; Tian, H; Deng, Y; Wang, J
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
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
2020-02-02Melting Pot or Salad Bowl: Cultural Distance and Housing InvestmentsDeng, Y; Hu, MR; Lee, AD
2015-08-01On coinduction and quantum lambda calculiDeng, Y; Feng, Y; Dal Lago, U
-Open Bisimulation for Quantum ProcessesDeng, Y; Feng, Y
2017-12-01Probabilistic bisimilarity as testing equivalenceDeng, 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-01-01Robust Beamforming for IRS-assisted Wireless Communications under Channel UncertaintyDeng, Y; Zou, Y; Gong, S; Lyu, B; Hoang, DT; Niyato, D
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
2012-09-24Sound radiation into air by a point source moving underwaterDeng, Y; Tao, J; Qiu, X
2014-01-01Symbolic bisimulation for quantum processesFeng, Y; Deng, Y; Ying, M