中国科学院重庆绿色智能技术研究院机构知识库

浏览/检索结果: 共17条，第1-10条

帮助

限定条件	专题：自动推理与认知研究中心    第一作者的第一单位    第一作者单位    通讯作者单位

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	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
	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
	Full Rank Representation of Real Algebraic Sets and Applications 会议论文 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017 作者:  Chen, Changbo;  Wu, Wenyuan;  Feng, Yong Adobe PDF(1096Kb)  |  收藏  |  浏览/下载：121/0  |  提交时间：2018/03/16
	Faster binary arithmetic operations on encrypted integers 会议论文 2017 7th International Workshop on Computer Science and Engineering, WCSE 2017, No. 38 A, Xueqing Road, Haidian District, Beijing, China, June 25, 2017 - June 27, 2017 作者:  Chen, Jingwei;  Feng, Yong;  Liu, Yang;  Wu, Wenyuan 收藏  |  浏览/下载：103/0  |  提交时间：2018/03/16
	Sparse non-negative matrix factorization with generalized kullback-leibler divergence 会议论文 17th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2016, Yangzhou, China, October 12, 2016 - October 14, 2016 作者:  Chen, Jingwei;  Feng, Yong;  Liu, Yang;  Tang, Bing;  Wu, Wenyuan Adobe PDF(1029Kb)  |  收藏  |  浏览/下载：121/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
	Homomorphically encrypted arithmetic operations over the integer ring 会议论文 12th International Conference on Information Security Practice and Experience, ISPEC 2016, Zhangjiajie, China, November 16, 2016 - November 18, 2016 作者:  Xu, Chen;  Chen, Jingwei;  Wu, Wenyuan;  Feng, Yong Adobe PDF(349Kb)  |  收藏  |  浏览/下载：125/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
	Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System 期刊论文 JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 卷号: 11, 期号: 9, 页码: 1942-1946 作者:  Ji, Zhenyi;  Liu, Zijian;  Wu, Wenyuan;  Feng, Yong;  Li, Yi 收藏  |  浏览/下载：45/0  |  提交时间：2018/03/15 Homotopy Method  Real Root Isolation  Stability Analysis  Lyapunov's First Method