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

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

帮助

限定条件

发表日期：2014

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	Evaluation of support vector machine for estimation of solar radiation from measured meteorological variables 期刊论文 THEORETICAL AND APPLIED CLIMATOLOGY, 2014, 卷号: 115, 期号: 3-4, 页码: 627-638 作者:  Chen, Ji-Long;  Li, Guo-Sheng Adobe PDF(338Kb)  |  收藏  |  浏览/下载：69/0  |  提交时间：2018/03/15
	Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition 会议论文 2014 International Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra, Portugal, July 7, 2014 - July 11, 2014 作者:  England, Matthew;  Bradford, Russell;  Chen, Changbo;  Davenport, James H.;  Maza, Marc Moreno;  Wilson, David Adobe PDF(557Kb)  |  收藏  |  浏览/下载：52/0  |  提交时间：2018/03/16
	有界闭域上的线性赋值循环终止性分析 期刊论文 软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142 作者:  李轶;  吴文渊;  冯勇 Adobe PDF(738Kb)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/16
	一类带初始输入的线性循环终止性分析 期刊论文 四川大学学报. 工程科学版, 2014, 卷号: 46, 期号: 5, 页码: 81-87 作者:  李轶;  李传璨;  吴文渊 Adobe PDF(293Kb)  |  收藏  |  浏览/下载：61/0  |  提交时间：2018/03/16
	The design and implementation of patent collaboration managing platform based on cloud architecture 会议论文 2014 5th IEEE International Conference on Software Engineering and Service Science, ICSESS 2014, Beijing, China, June 27, 2014 - June 29, 2014 作者:  Wang, Xiang;  Yang, Yong;  Lin, Xiaoguang;  Chen, Yongyuan;  Zhang, Ju Adobe PDF(293Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2018/03/16
	A recursive decision method for termination of linear programs 会议论文 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014 作者:  Li, Yi Adobe PDF(409Kb)  |  收藏  |  浏览/下载：55/0  |  提交时间：2018/03/16