×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
理论物理研究所 [23]
近代物理研究所 [19]
清华大学 [5]
半导体研究所 [5]
软件研究所 [5]
湖南大学 [4]
更多...
内容类型
会议论文 [82]
发表日期
2018 [4]
2016 [3]
2015 [3]
2013 [11]
2012 [2]
2011 [6]
更多...
学科主题
半导体物理 [5]
Computer S... [2]
Engineerin... [2]
Physics, A... [1]
天文学::星系与宇宙... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共82条,第1-10条
帮助
限定条件
内容类型:会议论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
SCOPE-T1ρ: Signal Compensation for Low-rank Plus Sparse Matrix Decomposition for Fast T1ρ Mapping
会议论文
巴黎, 2018年
作者:
Yuanyuan Liu
;
Yanjie Zhu
;
Leslie Ying
;
Yi-Xiang J Wang
;
Jing Yuan
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2019/01/31
Signatures of triaxiality in low-spin spectra of Ge-86
会议论文
作者:
Lettmann, M.
;
Werner, V.
;
Pietralla, N.
;
Doornenbal, P.
;
Obertelli, A.
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2019/03/27
Determinations of Shape and Photometric Phase Function of Selected Asteroids
会议论文
Natl Central Univ, Inst Astron, Taiwan, TAIWAN, 2017-07-10
作者:
Wang XB(王晓彬)
;
Muninonen, K
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2018/09/11
Formal Modeling and Verification of Smart Contracts
会议论文
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018-01-01
作者:
Bai, Xiaomin
;
Cheng, Zijing
;
Duan, Zhangbo
;
Hu, Kai
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2019/12/30
Smart contracts
Formal methods
Model checking
Modeling
Formal Verification
SPIN
An electrical model of spin field effect transistors for circuits design and performance analysis
会议论文
2017 IEEE International Magnetics Conference, INTERMAG 2017, Dublin, Ireland, 2017-04-24
作者:
Wang, G.
;
Wang, Z.
;
Klein, J.
;
Zhao, W.
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/30
Formal Verification of Security Protocols Using Spin
会议论文
15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2016-06-26
作者:
Chen, Shengbo[1]
;
Fu, Hao[2]
;
Miao, Huaikou[3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/26
security protocols
network security
model checking
Spin
LTL
Translation Method for SysML State Machine Diagram into Simple SPIN Model
会议论文
14th International Conference on Software Engineering Research and Practice (SERP)
作者:
Kong WQ(孔维强)
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/09
Projected shell model for Gamow-Teller transitions in heavy, deformed nuclei
会议论文
Beijing, PEOPLES R CHINA, JUN 24-27, 2015
作者:
Wang, LJ
;
Sun, Y
;
Gao, ZC
;
Ghorui, SK
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/07/24
WEAK-INTERACTION RATES
INTERMEDIATE-MASS NUCLEI
HIGH-SPIN SPECTROSCOPY
DOUBLE-BETA DECAY
RATE TABLES
SUPERHEAVY ELEMENTS
CAPTURE RATES
ENVIRONMENTS
EXCITATIONS
SUPERNOVAE
Correction of Mid-spatial-frequency Errors by Smoothing in Spin Motion for CCOS
会议论文
conference on optical manufacturing and testing xi
作者:
Zhang, Yizhong
;
Wei, Chaoyang
;
Shao, Jianda
;
Xu, Xueke
;
Liu, Shijie
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2016/11/28
MOLECULAR STRUCTURES IN LIGHT ATOMIC NUCLEI
会议论文
Transilvania Univ Brasov, Brasov, ROMANIA, SEP 01-05, 2014
作者:
Xu, FR
;
Wang, SM
;
Pei, JC
;
Chen, WJ
;
Xu, ZX
收藏
  |  
浏览/下载:40/0
  |  
提交时间:2019/07/24
STATES
CARBON
©版权所有 ©2017 CSpace - Powered by
CSpace