×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
重庆绿色智能技术研... [34]
内容类型
期刊论文 [20]
会议论文 [14]
发表日期
2021 [1]
2020 [1]
2019 [5]
2018 [4]
2017 [5]
2016 [3]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共34条,第1-10条
帮助
限定条件
专题:重庆绿色智能技术研究院
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Synthesis of ranking functions via DNN
期刊论文
NEURAL COMPUTING & APPLICATIONS, 2021, 页码: 21
作者:
Tan, Wang
;
Li, Yi
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2021/04/06
Ranking function
DNN
Termination
Loop programs
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 23
作者:
Chen, Changbo
;
Wu, Wenyuan
;
Feng, Yong
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2020/08/24
Continuation method
critical point method
real algebraic curve
singularity
On ranking functions for single-path linear-constraint loops
期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:
Li, Yi
;
Wu, Wenyuan
;
Feng, Yong
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2020/08/24
Software reliability
Program termination
Linear ranking functions
Farkas' lemma
Estimation of monthly pan evaporation using support vector machine in Three Gorges Reservoir Area, China
期刊论文
THEORETICAL AND APPLIED CLIMATOLOGY, 2019, 卷号: 138, 期号: 1-2, 页码: 1095-1107
作者:
Chen, Ji-Long
;
Yang, Hong
;
Lv, Ming-Quan
;
Xiao, Zuo-Lin
;
Wu, Sheng Jun
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2020/08/24
Pan evaporation
Support vector machine
Meteorological variables
Three Gorges Reservoir Area
Static decontamination of oil-based drill cuttings with pressurized hot water using response surface methodology
期刊论文
ENVIRONMENTAL SCIENCE AND POLLUTION RESEARCH, 2019, 卷号: 26, 期号: 7, 页码: 7216-7227
作者:
Chen, Zhong
;
Li, Dongyuan
;
Tong, Kun
;
Chen, Zeliang
;
Chen, Hongzhen
收藏
  |  
浏览/下载:44/0
  |  
提交时间:2019/04/19
Petroleum contamination
Hazardous solid waste
Oily sludge
Waste drill fluids
Shale gas
Detection of Ranking Functions of Polynomial Loop Programs
期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:
Li, Yi
;
Feng, Yong
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/02/18
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
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/02/18
Large Aperture Membrane Diffractive Lens Deformation Error Analysis
期刊论文
Guangzi Xuebao/Acta Photonica Sinica, 2018, 卷号: 47, 期号: 2
作者:
Li, Tao-Jie
;
Wu, Peng
;
Yang, Zheng
;
Yin, Shao-Yun
;
Du, Chun-Lei
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/06/26
Early ending in homotopy path-tracking for real roots
会议论文
Suzhou, China, September 16, 2018 - September 19, 2018
作者:
Wang, Yu
;
Wu, Wenyuan
;
Xia, Bican
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/06/25
Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically
会议论文
Suzhou, China, September 16, 2018 - September 19, 2018
作者:
Chen, Changbo
;
Wu, Wenyuan
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2019/06/25
©版权所有 ©2017 CSpace - Powered by
CSpace