中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	2000–2020年中国陆地生态系统年总初级生产力数据集期刊论文 OAI收割中国科学数据(中英文网络版), 2023, 卷号: 8, 期号: 02, 页码: 160-172 作者: 范仁雪; 朱先进; 陈智; 于贵瑞; 张维康 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2023/12/01 中国陆地生态系统总初级生产力随机森林回归树模型时空格局
	锦屏深地核天体物理实验(JUNA)进展期刊论文 OAI收割原子能科学技术, 2019, 卷号: 53.0, 期号: 010, 页码: 1729 作者: 柳卫平; 李志宏; 何建军; 唐晓东; 连钢 \| 收藏 \| 浏览/下载：97/0 \| 提交时间：2021/12/06 天体物理深地实验室直接测量伽莫夫能量窗口
	Experimental Study of Two-Alpha Emission from High-Lying Excited States of ~(17,18)Ne 期刊论文 OAI收割 Plasma Science & Technology, 2012, 卷号: 14, 页码: 371-374 作者: Xu XX(徐新星); Lin CJ(林承键); Jia HM(贾会明); Yang F(杨峰); Jia F(贾飞) \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2017/04/01 Two-alpha Emission Coulomb Excitation Complete Kinematics Measurements Sequential Emission
	可满足性问题研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 贾祥雪 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2010/06/04 SAT，同构，剪枝，Local Lemma，DASH
	local lemma: a new strategy of pruning in sat solvers 会议论文 OAI收割 25th Annual ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22, Jia Xiangxue; Lu Runming; Liu Sheng; Zhang Jian \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/31
	a powerful technique to eliminate isomorphism in finite model search 会议论文 OAI收割 3rd International Joint Conference on Automated Reasoning, Seattle, WA, AUG 17-20, Jia Xiangxue; Zhang Jian \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/28 isomorphism scheme symmetry breaking LNH DASH
	A powerful technique to eliminate isomorphism in finite model search 期刊论文 iSwitch采集 Automated reasoning, proceedings, 2006, 卷号: 4130, 页码: 318-331 作者: Jia, Xiangxue; Zhang, Jian 收藏 \| 浏览/下载：25/0 \| 提交时间：2019/05/10 Isomorphism Scheme Symmetry breaking Lnh Dash