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 14 of 14
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
-Improving RANSAC for Efficient and Precise Model Fitting with Statistical AnalysisZhang, Y; Tian, H; Deng, Y; Wang, J
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
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
2014Symbolic Bisimulation for Quantum Processes.Feng, Y; Deng, Y; Ying, M
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