CORC

在结果中检索

CORC

浏览/检索结果: 共317条，第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
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Separations in circular security for arbitrary length key cycles, revisited 其他
2016-01-01
Chang, Jinyong; Dai, Honglong; Xu, Maozhi; Xue, Rui
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Radiation-induced graft copolymerization of dimethylaminoethyl methacrylate onto graphene oxide for Cr(VI) removal 其他
2016-01-01
Ma, Hui-Ling; Zhang, Youwei; Zhang, Long; Wang, Liancai; Sun, Chao; Liu, Pinggui; He, Lihua; Zeng, Xinmiao; Zhai, Maolin
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Inorganic-Organic Hybrid Assembled Materials Based on Block Copolymers and Polyoxometalates 其他
2016-01-01
Haibin Wei; Nan Shi; Jinlong Zhang; Dandan Chong; Jie Zhang; Xinhua Wan
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Numerical simulations of piecewise deterministic Markov processes with an application to the stochastic Hodgkin-Huxley model 其他
2016-01-01
Ding, Shaojie; Qian, Min; Qian, Hong; Zhang, Xuejuan
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
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
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
Protocol design and performance analysis for X-Duplex amplify-and-forward relay networks 其他
2016-01-01
Li, Shuai; Zhou, Mingxin; Wu, Jianjun; Song, Lingyang; Li, Yonghui; Li, Hongbin
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03

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