×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
计算技术研究所 [2]
高能物理研究所 [2]
力学研究所 [1]
清华大学 [1]
北京大学 [1]
金属研究所 [1]
更多...
内容类型
期刊论文 [11]
学位论文 [3]
发表日期
2019 [1]
2018 [2]
2017 [1]
2016 [3]
2015 [3]
2012 [1]
更多...
学科主题
Astronomy ... [1]
Physics [1]
天文学 [1]
环境工程 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共14条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Search for photonic signatures of gauge-mediated supersymmetry in 13 tev pp collisions with the atlas detector
期刊论文
Physical review d, 2018, 卷号: 97, 期号: 9, 页码: 32
作者:
Aaboud, M.
;
Aad, G.
;
Abbott, B.
;
Abdinov, O.
;
Abeloos, B.
收藏
  |  
浏览/下载:148/0
  |  
提交时间:2019/04/23
极值方法在分子模拟中的计算效率和可靠性研究
学位论文
北京: 中国科学院大学, 2018
作者:
双飞
收藏
  |  
浏览/下载:56/0
  |  
提交时间:2018/05/23
Search for new phenomena in a lepton plus high jet multiplicity final state the atlas experiment using root s=13 tev proton-proton collision data
期刊论文
Journal of high energy physics, 2017, 期号: 9, 页码: 50
作者:
Aaboud, M.
;
Collaboration, A. T. L. A. S.
;
Aad, G.
;
Abbott, B.
;
Abdinov, O.
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2019/04/23
Beyond standard model
Hadron-hadron scattering (experiments)
Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 999-1011
作者:
Zhou, Yanhong
;
Wang, Tiancheng
;
Li, Huawei
;
Lv, Tao
;
Li, Xiaowei
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2019/12/13
Abstraction-guided simulation
functional test generation
hard-to-reach states
path constraint solving
美德是幸福的前提吗?
期刊论文
2016, 2016
喻丰
;
彭凯平
;
窦东徽
;
董蕊
;
韩婷婷
;
Yu Feng
;
Peng Kaiping
;
Dou Donghui
;
Dong Rui
;
Han Tingting
收藏
  |  
浏览/下载:5/0
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 2, 页码: 285-297
作者:
Wang, Jian
;
Li, Huawei
;
Lv, Tao
;
Wang, Tiancheng
;
Li, Xiaowei
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/12/13
Abstraction-guided simulation
Markov analysis
semi-formal verification
太阳望远镜海量数据存储关键技术研究
学位论文
博士, 北京: 中国科学院研究生院, 2015
作者:
刘应波
收藏
  |  
浏览/下载:82/0
  |  
提交时间:2016/04/01
海量太阳观测数据
高速分布式存储
数据一致性
海量数据检索
LHC phenomenology of the type II seesaw mechanism: Nondegenerate case
期刊论文
PHYSICAL REVIEW D, 2015, 卷号: 91, 期号: 9, 页码: 93006
作者:
Han, ZL
;
Ding, R
;
Liao, Y
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2016/11/21
流沙地砾级沙粒胶结体基本特征及抗风蚀效益的风洞模拟
学位论文
硕士, 北京: 中国科学院大学, 2015
作者:
孙娜
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2016/12/21
砾石级沙粒胶结体,风蚀率,抗风蚀效率,风沙流结构
©版权所有 ©2017 CSpace - Powered by
CSpace