×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [6]
力学研究所 [1]
理论物理研究所 [1]
科技战略咨询研究院 [1]
自动化研究所 [1]
上海生物化学与细胞生... [1]
更多...
内容类型
期刊论文 [11]
发表日期
2015 [3]
2013 [1]
2012 [1]
2011 [1]
2010 [2]
2009 [1]
更多...
学科主题
Computer ... [11]
Mathematic... [2]
Biochemist... [1]
Biotechnol... [1]
Cybernetic... [1]
Hardware &... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共11条,第1-10条
帮助
限定条件
学科主题:Computer Science
内容类型:期刊论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Visualization and measurement of the self-propelled and rotational motion of the Janus microparticles
期刊论文
JOURNAL OF VISUALIZATION, 2015, 卷号: 18, 期号: 3, 页码: 425-435
作者:
Zheng, Xu
;
Wu, Meiling
;
Kong, Fandong
;
Cui, Haihang
;
Silber-Li, Zhanhua
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2015/09/22
Self-propulsion
Janus microparticle
Rotation
Accurate disulfide-bonding network predictions improve ab initio structure prediction of cysteine-rich proteins
期刊论文
BIOINFORMATICS, 2015, 卷号: 31, 期号: 23, 页码: 3773-3781
作者:
Yang, J
;
He, BJ
;
Jang, R
;
Zhang, Y
;
Shen, HB
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2016/11/21
A novel CBIR system with WLLTSA and ULRGA
期刊论文
NEUROCOMPUTING, 2015, 卷号: 147, 期号: 0, 页码: 509-522
作者:
Feng, Lin
;
Liu, Shenglan
;
Xiao, Yao
;
Hong, Qiao
;
Wu, Bin
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2016/12/05
Dimensionality reduction
Local curvature
Tangent space
CBIR
RF
an efficient certificateless aggregate signature with constant pairing computations
期刊论文
INFORMATION SCIENCES, 2013, 卷号: 219, 页码: 225-235
Xiong Hu
;
Guan Zhi
;
Chen Zhong
;
Li Fagen
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2013/09/17
Message authentication
Certificateless cryptography
Aggregate signature
holographic reduction, interpolation and hardness
期刊论文
COMPUTATIONAL COMPLEXITY, 2012, 卷号: 21, 期号: 4, 页码: 573-604
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/09/17
Holographic reduction
polynomial interpolation
#P-hard
counting complexity
组合优化问题简约与算法推演
期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军
;
薛锦云
;
凌海风
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/10/08
组合优化问题
问题简约
算法推演
正确性证明
Modelica软件中微分代数方程指标约简算法分析
期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 130-133,140
阳海军
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2011/05/23
Modelica
微分代数方程
微分指标
高指标DAE
指标约简Modelica
Modelica
algebraic differential equation
differential index
high index DAE
index reduction
a problem reduction based approach to discrete optimization algorithm design
期刊论文
COMPUTING, 2010, 卷号: 88, 期号: 40545, 页码: 31-54
Zheng Yujun
;
Xue Jinyun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/05/23
Discrete optimization
Program calculation
Problem reduction graph (PRG)
Algorithm design
improved bounded model checking for the universal fragment of ctl
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang
;
Chen Wei
;
Xu Yan-Yan
;
Zhang Wen-Hui
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/03/18
software verification
model checking algorithm
bounded model checking
ACTL
SAT
A kernel-based case retrieval algorithm with application to bioinformatics
期刊论文
PRICAI 2004: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 卷号: 3157, 期号: 1, 页码: 544-553
作者:
Fu, Y
;
Yang, Q
;
Ling, CX
;
Wang, HP
;
Li, DQ
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2015/07/22
©版权所有 ©2017 CSpace - Powered by
CSpace