CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
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
Renormalized powers of Ornstein-Uhlenbeck processes and well-posedness of stochastic Ginzburg-Landau equations 其他
2016-01-01
Weinan, E.; Jentzen, Arnulf; Shen, Hao
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Sensor intercomparison of distributed surface radiation measurement system 其他
2015-01-01
Dou, Baocheng; Wen, Jianguang; Li, Xiuhong; Liu, Qiang; Xiao, Qing; Bai, Junhua; Peng, Jingjing; Lin, Xingwen; Zhang, Zhigang; Wu, Xiaodan; Cai, Erli; Zhang, Jialin; Chang, Chongyan
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
An eigenspace method for computing derivatives of semi-simple eigenvalues and corresponding eigenvectors of quadratic eigenvalue problems 其他
2015-01-01
Lu, Xin; Xu, Shu-Fang
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12
A third-order accurate direct Eulerian GRP scheme for the Euler equations in gas dynamics 其他
2014-01-01
Wu, Kailiang; Yang, Zhicheng; Tang, Huazhong
收藏  |  浏览/下载：13/0  |  提交时间：2015/11/11
A Note on Semi-bent and Hyper-bent Boolean Functions 其他
2014-01-01
Tang, Chunming; Lou, Yu; Qi, Yanfeng; Xu, Maozhi; Guo, Baoan
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16
On the Strong Nilpotence Problem 其他
2014-01-01
Sun, Xiaosong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
Partial derivatives of the eigen-triplet of the quadratic eigenvalue problem depending on several parameters 其他
2013-01-01
Lu, Xin; Xu, Shu-Fang; Cai, Yun-Feng
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/10
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
A method of evaluation of exponential sum of binary quadratic functions 其他
2012-01-01
Zhang, Xiyong; Cao, Xiwang; Feng, Rongquan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/12

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