CSpace
(本次检索基于用户作品认领结果)

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

限定条件                            
已选(0)清除 条数/页:   排序方式:
THE PSLQ ALGORITHM FOR EMPIRICAL DATA 期刊论文
MATHEMATICS OF COMPUTATION, 2019, 卷号: 88, 期号: 317, 页码: 1479-1501
作者:  Feng, Yong;  Chen, Jingwei;  Wu, Wenyuan
Adobe PDF(321Kb)  |  收藏  |  浏览/下载:250/0  |  提交时间:2019/03/01
Integer relation  PSLQ  empirical data  
SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 7, 页码: 1903-1915
作者:  Li, Yi;  Cai, Tian-Xun;  Fan, Jian-Feng;  Wu, Wen-Yuan;  Feng, Yong
收藏  |  浏览/下载:259/0  |  提交时间:2020/02/18
基于svm的多项式循环程序秩函数生成 期刊论文
软件学报, 2019, 卷号: 30, 期号: 7, 页码: 1903
作者:  李轶;  蔡天训;  樊建峰;  吴文渊;  冯勇
收藏  |  浏览/下载:305/0  |  提交时间:2019/12/03
并行lll算法研究综述 期刊论文
计算机工程与应用, 2019, 卷号: 55, 期号: 16, 页码: 36
作者:  刘洋;  陈经纬;  冯勇;  吴文渊
收藏  |  浏览/下载:280/0  |  提交时间:2019/12/03
基于mlwe的低膨胀率加密算法 期刊论文
计算机科学, 2019, 卷号: 046, 期号: 004, 页码: 144
作者:  柯程松;  吴文渊;  冯勇
收藏  |  浏览/下载:347/0  |  提交时间:2019/12/03
Computing real witness points of positive dimensional polynomial systems 期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
收藏  |  浏览/下载:162/0  |  提交时间:2018/03/05
Numerical algebraic geometry  Real algebraic geometry  Homotopy continuation  Singular critical points  Real witness points  
A novel method based on the fuzzy C-means clustering to calculate the maximal Lyapunov exponent from small data 期刊论文
ACTA PHYSICA SINICA, 2016, 卷号: 65, 期号: 2, 页码: 7
作者:  Zhou Shuang;  Feng Yong;  Wu Wen-Yuan;  Wang Wei-Hua
收藏  |  浏览/下载:60/0  |  提交时间:2018/03/15
maximal Lyapunov exponent  linear region  fuzzy C-means clustering  
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载:82/0  |  提交时间:2018/03/16
Numerical method for real root isolation of semi-algebraic system and its applications 期刊论文
Journal of Computational and Theoretical Nanoscience, 2016, 卷号: 13, 期号: 1, 页码: 803-811
作者:  Ji, Zhenyi;  Wu, Wenyuan;  Feng, Yong;  Li, Yi;  Qin, Xiao Lin
Adobe PDF(431Kb)  |  收藏  |  浏览/下载:96/0  |  提交时间:2018/03/16
Termination analysis of non-linear loops over closed and bounded connected domain 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载:62/0  |  提交时间:2018/03/16