Browsing by Author Feng, Y

Showing results 1 to 20 of 92  next >
Issue DateTitleAuthor(s)
15-Sep-2019Impacts of diffuse radiation fraction on light use efficiency and gross primary production of winter wheat in the North China PlainYang, X; Li, J; Yu, Q; Ma, Y; Tong, X; Feng, Y; Tong, Y
1-Jan-2019Model-checking quantum systemsYing, M; Feng, Y
1-Nov-2018Super-activating quantum memory with entanglementGuan, JI; Feng, Y; Ying, MS
1-Aug-2018Decomposition of quantum Markov chains and its applicationsGuan, J; Feng, Y; Ying, M
1-Jun-2018Phytoplankton functional groups variation and influencing factors in a shallow temperate lakeTian, C; Hao, D; Pei, H; Doblin, MA; Ren, Y; Wei, J; Feng, Y
1-Jun-2018Comparing the UK EQ-5D-3L and English EQ-5D-5L Value SetsMulhern, B; Feng, Y; Shah, K; Janssen, MF; Herdman, M; van Hout, B; Devlin, N
1-May-2018Valuing EQ-5D-5L health states ‘in context’ using a discrete choice experimentCole, A; Shah, K; Mulhern, B; Feng, Y; Devlin, N
7-Feb-2018Bisimulations for probabilistic linear lambda calculiDeng, Y; Feng, Y
1-Jan-2018Model checking probabilistic epistemic logic for probabilistic multiagent systemsFu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, L
1-Jan-2018Dimerization of p15RS mediated by a leucine zipper–like motif is critical for its inhibitory role on Wnt signalingFan, X; Zhao, J; Ren, F; Wang, Y; Feng, Y; Ding, L; Zhao, L; Shang, Y; Li, J; Ni, J; Jia, B; Liu, Y; Chang, Z
1-Jan-2018New methods for modelling EQ-5D-5L value sets: An application to English dataFeng, Y; Devlin, NJ; Shah, KK; Mulhern, B; van Hout, B
1-Jan-2018Valuing health-related quality of life: An EQ-5D-5L value set for EnglandDevlin, NJ; Shah, KK; Feng, Y; Mulhern, B; van Hout, B
1-Dec-2017Probabilistic bisimilarity as testing equivalenceDeng, Y; Feng, Y
1-Nov-2017Precisely deciding CSL formulas through approximate model checking for CTMCsFeng, Y; Zhang, L
1-Aug-2017Model checking ω-regular properties for quantum Markov chainsFeng, Y; Hahn, EM; Turrini, A; Ying, S
19-Jul-2017ProEva: Runtime proactive performance evaluation based on continuous-time markov chainsSu, G; Chen, T; Feng, Y; Rosenblum, DS
5-Dec-2016Verify LTL with Fairness Assumptions EfficientlyLi, Y; Song, L; Feng, Y; Zhang, L
1-Jul-2016Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability ParametersSu, G; Feng, Y; Chen, T; Rosenblum, DS
1-May-2016Critical review on PPP Research - A search from the Chinese and International JournalsZhang, S; Chan, APC; Feng, Y; Duan, H; Ke, Y
1-May-2016Critical review on PPP Research - A search from the Chinese and International JournalsZhang, S; Chan, APC; Feng, Y; Duan, H; Ke, Y