中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
国家天文台 [2]
软件研究所 [2]
地理科学与资源研究所 [1]
上海天文台 [1]
西北高原生物研究所 [1]
植物研究所 [1]
更多
采集方式
OAI收割 [8]
内容类型
期刊论文 [7]
会议论文 [1]
发表日期
2020 [3]
2019 [3]
2013 [1]
2010 [1]
学科主题
Multidisci... [1]
筛选
浏览/检索结果:
共8条,第1-8条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
The FLUXNET2015 dataset and the ONEFlux processing pipeline for eddy covariance data
期刊论文
OAI收割
SCIENTIFIC DATA, 2020, 卷号: 7, 期号: 1, 页码: 27
作者:
Pastorello, Gilberto
;
Trotta, Carlo
;
Canfora, Eleonora
;
Chu, Housen
;
Christianson, Danielle
  |  
收藏
  |  
浏览/下载:135/0
  |  
提交时间:2021/03/18
The FLUXNET2015 dataset and the ONEFlux processing pipeline for eddy covariance data
期刊论文
OAI收割
SCIENTIFIC DATA, 2020, 卷号: 7, 期号: 1
作者:
Pastorello, Gilberto
;
Trotta, Carlo
;
Canfora, Eleonora
;
Chu, Housen
;
Christianson, Danielle
  |  
收藏
  |  
浏览/下载:73/0
  |  
提交时间:2020/11/25
The FLUXNET2015 dataset and the ONEFlux processing pipeline for eddy covariance data
期刊论文
OAI收割
SCIENTIFIC DATA, 2020, 卷号: 7, 期号: 1
作者:
Pastorello, Gilberto
;
Trotta, Carlo
;
Canfora, Eleonora
;
Chu, Housen
;
Christianson, Danielle
  |  
收藏
  |  
浏览/下载:51/0
  |  
提交时间:2022/03/01
A Supernova Remnant Counterpart for HESS J1832?085
期刊论文
OAI收割
The Astrophysical Journal, 2019, 卷号: 885, 期号: 2
作者:
Maxted,Nigel I.
;
Filipovi?,M. D.
;
Hurley-Walker,N.
;
Boji?i?,I.
;
Rowell,G. P.
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2020/03/10
Supernova remnants
Interstellar medium
Interstellar molecules
Gamma-ray sources
Galactic cosmic-rays
Overview of the DESI Legacy Imaging Surveys
期刊论文
OAI收割
ASTRONOMICAL JOURNAL, 2019, 卷号: 157, 期号: 5, 页码: 29
作者:
Dey, Arjun
;
Schlegel, David J.
;
Lang, Dustin
;
Blum, Robert
;
Burleigh, Kaylan
  |  
收藏
  |  
浏览/下载:157/0
  |  
提交时间:2019/05/23
catalogs
surveys
Overview of the DESI Legacy Imaging Surveys
期刊论文
OAI收割
The Astronomical Journal, 2019, 卷号: 157, 期号: 5
作者:
Dey,Arjun
;
Schlegel,David J.
;
Lang,Dustin
;
Blum,Robert
;
Burleigh,Kaylan
  |  
收藏
  |  
浏览/下载:45/0
  |  
提交时间:2020/03/10
catalogs
surveys
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS
期刊论文
OAI收割
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 卷号: 24, 期号: 4, 页码: 419-444
Lomuscio, Alessio
;
Strulo, Ben
;
Walker, Nigel
;
Wu, Peng
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Assume-guarantee reasoning
compositional model checking
distributed system
assume-guarantee reasoning with local specifications
会议论文
OAI收割
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio
;
Strulo Ben
;
Walker Nigel
;
Wu Peng
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/03/31
Specifications
System stability