×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院重庆绿色智能技术研究院机构知识库
KMS Chongqing Institute of Green and Intelligent Technology, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
自动推理与认知研究中... [8]
大数据挖掘及应用中心 [2]
高性能计算应用研究中... [1]
作者
冯勇 [2]
张学睿 [2]
张帆 [2]
吴文渊 [2]
周博天 [1]
李轶 [1]
更多...
文献类型
会议论文 [11]
发表日期
2014 [11]
语种
英语 [11]
出处
4th Intern... [5]
2014 Sympo... [3]
2014 5th I... [1]
3rd IEEE I... [1]
9th Intern... [1]
资助项目
收录类别
EI [11]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共11条,第1-10条
帮助
限定条件
收录类别:EI
发表日期:2014
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
作者升序
作者降序
题名升序
题名降序
WOS被引频次升序
WOS被引频次降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Two variants of HJLS-PSLQ with applications
会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014
作者:
Feng, Yong
;
Chen, Jingwei
;
Wu, Wenyuan
Adobe PDF(673Kb)
  |  
收藏
  |  
浏览/下载:78/0
  |  
提交时间:2018/03/16
Remote sensing image enhancement based on wavelet analysis and histogram specification
会议论文
3rd IEEE International Conference on Cloud Computing and Intelligence Systems, CCIS 2014, Shenzhen, China, November 27, 2014 - November 29, 2014
作者:
Xie, Liang
;
Wang, Guoyin
;
Zhang, Xuerui
;
Xiao, Bin
;
Zhou, Botian
;
Zhang, Fan
Adobe PDF(940Kb)
  |  
收藏
  |  
浏览/下载:88/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
Parallel attribute reduction based on mapreduce
会议论文
9th International Conference on Rough Sets and Knowledge Technology, RSKT 2014, Shanghai, China, October 24, 2014 - October 26, 2014
作者:
Xi, Dachao
;
Wang, Guoyin
;
Zhang, Xuerui
;
Zhang, Fan
Adobe PDF(262Kb)
  |  
收藏
  |  
浏览/下载:80/0
  |  
提交时间:2018/03/16
Solving parametric polynomial systems by RealComprehensiveTriangularize
会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:
Chen, Changbo
;
Maza, Marc Moreno
Adobe PDF(972Kb)
  |  
收藏
  |  
浏览/下载:50/0
  |  
提交时间:2018/03/16
Numerical and geometric properties of a method for finding points on real solution components
会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014
作者:
Wu, Wenyuan
;
Reid, Greg
;
Feng, Yong
Adobe PDF(386Kb)
  |  
收藏
  |  
浏览/下载:60/0
  |  
提交时间:2018/03/16
The basic polynomial algebra subprograms
会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:
Chen, Changbo
;
Covanov, Svyatoslav
;
Mansouri, Farnam
;
Maza, Marc Moreno
;
Xie, Ning
;
Xie, Yuzhen
Adobe PDF(434Kb)
  |  
收藏
  |  
浏览/下载:58/0
  |  
提交时间:2018/03/16
Doing algebraic geometry with the RegularChains library
会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:
Alvandi, Parisa
;
Chen, Changbo
;
Marcus, Steffen
;
Maza, Marc Moreno
;
Schost, Éric
;
Vrbik, Paul
Adobe PDF(969Kb)
  |  
收藏
  |  
浏览/下载:47/0
  |  
提交时间:2018/03/16
Cylindrical algebraic decomposition in the RegularChains library
会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:
Chen, Changbo
;
Moreno Maza, Marc
Adobe PDF(1579Kb)
  |  
收藏
  |  
浏览/下载:54/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)
  |  
收藏
  |  
浏览/下载:54/0
  |  
提交时间:2018/03/16