已选(0)清除
条数/页: 排序方式:
|
| High Order Hierarchical Divergence-Free Constrained Transport H(div) Finite Element Method for Magnetic Induction Equation 其他 2017-01-01 Cai, Wei; Hu, Jun; Zhang, Shangyou 收藏  |  浏览/下载:5/0  |  提交时间:2017/12/03
|
| 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
|
| The skein polynomial for links 其他 2017-01-01 Jiang, Boju; Wang, Jiajun; Zheng, Hao 收藏  |  浏览/下载:6/0  |  提交时间:2017/12/03
|
| Virasoro constraints and polynomial recursion for the linear Hodge integrals 其他 2017-01-01 Guo, Shuai; Wang, Gehao 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Resource constrained scheduling with general truncated job-dependent learning effect 期刊论文 JOURNAL OF COMBINATORIAL OPTIMIZATION, 2017 He, Hongyu; Liu, Mengqi; Wang, Ji-Bo 收藏  |  浏览/下载:4/0  |  提交时间:2017/12/03
|
| Net primary productivity (NPP) dynamics and associated urbanization driving forces in metropolitan areas: a case study in Beijing City, China 期刊论文 LANDSCAPE ECOLOGY, 2016 Peng, Jian; Shen, Hong; Wu, Wenhuan; Liu, Yanxu; Wang, Yanglin 收藏  |  浏览/下载:4/0  |  提交时间:2017/12/03
|
| Multivariate Discriminant and Iterated Resultant 其他 2016-01-01 Han, Jing Jun 收藏  |  浏览/下载:4/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 |
| On Conway's Potential Function for Colored Links 其他 2016-01-01 Jiang, Bo Ju 收藏  |  浏览/下载:4/0  |  提交时间:2017/12/03
|
| Model checking computation tree logic over finite lattices 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016 Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou 收藏  |  浏览/下载:3/0  |  提交时间:2017/12/03
|