中文版 | English

在结果中检索

CSpace

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
收藏  |  浏览/下载：110/0  |  提交时间：2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery  
Targeted agreement of multiple Lagrangian systems* 期刊论文
AUTOMATICA, 2017, 卷号: 84, 页码: 109-116
作者:  Meng, Ziyang;  Yang, Tao;  Shi, Guodong;  Dimarogonas, Dimos V.;  Hong, Yiguang;  Johansson, Karl Henrik
收藏  |  浏览/下载：116/0  |  提交时间：2018/07/30
Lagrangian systems  Switching topologies  Targeted agreement  
Simultaneous identification of diffusion coefficient, spacewise dependent source and initial value for one-dimensional heat equation 期刊论文
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2017, 卷号: 40, 期号: 10, 页码: 3552-3565
作者:  Zhao, Zhi-Xue;  Banda, Mapundi K.;  Guo, Bao-Zhu
浏览  |  Adobe PDF(475Kb)  |  收藏  |  浏览/下载：553/168  |  提交时间：2018/07/30
Inverse Problem  Matrix Pencil Method  Finite Difference Method  Truncated Singular Value Decomposition  Generalized Cross-validation  
Berry-Esseen bounds for compound-Poisson loss percentiles 期刊论文
SCANDINAVIAN ACTUARIAL JOURNAL, 2017, 期号: 6, 页码: 519-534
作者:  Feng, Frank Y.;  Powers, Michael R.;  Xiao, Rui'an;  Zhao, Lin
收藏  |  浏览/下载：134/0  |  提交时间：2018/07/30
Berry-Esseen theorem  compound-Poisson sums  percentile estimation  risk theory  reinsurance retention