CORC

在结果中检索

CORC

浏览/检索结果: 共22条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他
2017-01-01
Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Genomic analysis of oesophageal squamous-cell carcinoma identifies alcohol drinking-related mutation signature and genomic alterations 其他
2017-01-01
Chang, Jiang; Tan, Wenle; Ling, Zhiqiang; Xi, Ruibin; Shao, Mingming; Chen, Mengjie; Luo, Yingying; Zhao, Yanjie; Liu, Yun; Huang, Xiancong; Xia, Yuchao; Hu, Jinlin; Parker, Joel S.; Marron, David; Cui, Qionghua; Peng, Linna; Chu, Jiahui; Li, Hongmin; Du, Zhongli; Han, Yaling; Tan, Wen; Liu, Zhihua; Zhan, Qimin; Li, Yun; Mao, Weimin; Wu, Chen; Lin, Dongxin
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他
2016-01-01
Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Computing Reachable Sets of Linear Vector Fields Revisited 其他
2016-01-01
Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Decidability of the Reachability for a Family of Linear Vector Fields 其他
2015-01-01
Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
DrugComboRanker: drug combination discovery based on target network analysis 其他
2014-01-01
Huang, Lei; Li, Fuhai; Sheng, Jianting; Xia, Xiaofeng; Ma, Jinwen; Zhan, Ming; Wong, Stephen T. C.
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/13
Generating non-linear interpolants by semidefinite programming 其他
2013-01-01
Dai, Liyun; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
A 3D multiscale model of cancer stem cell in tumor development 其他
2013-01-01
Li, Fuhai; Tan, Hua; Singh, Jaykrishna; Yang, Jian; Xia, Xiaofeng; Bao, Jiguang; Ma, Jinwen; Zhan, Ming; Wong, Stephen T. C.
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/11

©版权所有 ©2017 CSpace - Powered by CSpace