中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

软件研究所 [7]

理论物理研究所 [2]

科技战略咨询研究院 [1]

内容类型

期刊论文 [10]

发表日期

学科主题

Computer ... [10]

Theory & M... [3]

Artificial... [1]

Electrical... [1]

Hardware &... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

限定条件	学科主题：Computer Science

已选(0)清除条数/页：排序方式：
	Adaptive multi-GPU Exchange Monte Carlo for the 3D Random Field Ising Model 期刊论文 COMPUTER PHYSICS COMMUNICATIONS, 2016, 卷号: 205, 页码: 48-60 作者: Navarro, CA; Huang, W; Deng, YJ; Navarro, CA (reprint author), Univ Austral Chile, Inst Informat, Valdivia, Chile. 收藏 \| 浏览/下载：18/0 \| 提交时间：2017/10/13 Gpu Computing Adaptive Temperatures Exchange Monte Carlo Algorithm Random Field Ising Model
	Adaptive multi-GPU Exchange Monte Carlo for the 3D Random Field Ising Model 期刊论文 COMPUTER PHYSICS COMMUNICATIONS, 2016, 卷号: 205, 页码: 48-60 作者: Navarro, CA; Huang, W; Deng, YJ 收藏 \| 浏览/下载：14/0 \| 提交时间：2019/04/08 GPU computing STATE POTTS-MODEL Adaptive temperatures CLUSTER ALGORITHM Exchange Monte Carlo algorithm CRITICAL-BEHAVIOR Random Field Ising Model SPIN-GLASSES SIMULATION
	Evolution strategies based adaptive L-p LS-SVM 期刊论文 INFORMATION SCIENCES, 2011, 卷号: 181, 期号: 14, 页码: 17,3000-3016 Wei, LW; Chen, ZY; Li, JP 收藏 \| 浏览/下载：16/0 \| 提交时间：2012/11/12 Adaptive penalty Least squares support vector machine Classification Evolution strategies
	大规模稀疏线性方程组的GMRES--GPU快速求解算法期刊论文 Journal of Compute-Aided Design and Graphics, 2011, 卷号: 23, 期号: 4 柳有权; 尹康学; 吴恩华收藏 \| 浏览/下载：105/0 \| 提交时间：2013/10/08 重开始广义极小残量法稀疏矩阵矢量乘法
	基于极小T-不变量增加的Petri网可达性分析期刊论文计算机应用研究, 2010, 卷号: 27, 期号: 10, 页码: 3798-3802 彭建兵; 焦莉收藏 \| 浏览/下载：11/0 \| 提交时间：2011/05/23 Petri网可达性极小T-不变量极小T-不变量关系图扩展极小T-不变量关系图借矩阵扩展借矩阵Petri net reachability minimal T-invariant relation graph of minimal T-invariants extended relation graph of minimal T-invariants borrowing matrix extended borrowing matrix
	inconsistent ontology revision based on ontology constructs 期刊论文 EXPERT SYSTEMS WITH APPLICATIONS, 2010, 卷号: 37, 期号: 10, 页码: 7269-7275 Ma Yinglong; Liu Shaohua; Jin Beihong; Xu Gang 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/05/24 Ontology Ontology reuse Semantic metrics Ontology evaluation Ontology inconsistency revision
	runtime monitoring compositeweb services through stateful aspect extension 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 2, 页码: 294-308 Huang Tao; Wu Guo-Quan; Wei Jun 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/03/18 runtime monitoring aspect-oriented programming WS-BPEL
	eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/13 minimal logic system F sequent calculus positive quantifier bound variable decidability
	eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/13 minimal logic system F sequent calculus positive quantifier bound variable decidability
	eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/07/13 minimal logic system F sequent calculus positive quantifier bound variable decidability

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace