CSpace

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Fine-Gray proportional subdistribution hazards model for competing risks data under length-biased sampling 期刊论文
STATISTICS AND ITS INTERFACE, 2019, 卷号: 12, 期号: 1, 页码: 107-122
Authors:  Zhang, Feipeng;  Peng, Heng;  Zhou, Yong
Favorite  |  View/Download:58/0  |  Submit date:2019/12/13
Competing risks data  Length-biased sampling  Fine-Gray model  Model checking techniques  
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
Authors:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
Favorite  |  View/Download:55/0  |  Submit date:2018/07/30
Stochastic hybrid systems  safety verification  barrier certificate