CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Towards Concolic Testing for Hybrid Systems 其他
2016-01-01
Kong, Pingfan; Li, Yi; Chen, Xiaohong; Sun, Jun; Sun, Meng; Wang, Jingyi
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Special algorithm for stability analysis of multistable biological regulatory systems 其他
2015-01-01
Hong, Hoon; Tang, Xiaoxian; Xia, Bican
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Discovering polynomial Lyapunov functions for continuous dynamical systems 其他
2013-01-01
She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/11
Termination of linear programs with nonlinear constraints 其他
2010-01-01
Xia, Bican; Zhang, Zhihai
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10
Recent advances in program verification through computer algebra 其他
2010-01-01
Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection 其他
2010-01-01
Wang, Tielei; Wei, Tao; Gu, Guofei; Zou, Wei
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16
On eigenvalue problems of real symmetric tensors 其他
2009-01-01
Chang, K. C.; Pearson, Kelly; Zhang, Tan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10
A semi-algebraic approach for the computation of Lyapunov functions 其他
2006-01-01
She, Zhikun; Xia, Bican; Xiao, Rong
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13
Quantifier elimination for quartics 其他
2006-01-01
Yang, Lu; Xia, Bican
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/16
An algorithm for isolating the real solutions of semi-algebraic systems 其他
2002-01-01
Xia, BC; Yang, L
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10

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