×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [3]
昆明植物研究所 [2]
南华大学 [1]
清华大学 [1]
北京大学 [1]
广州生物医药与健康研... [1]
更多...
内容类型
期刊论文 [10]
会议论文 [1]
发表日期
2020 [1]
2014 [1]
2013 [1]
2012 [2]
2010 [1]
2006 [4]
更多...
学科主题
Computer S... [3]
Theory & M... [3]
Biochemist... [1]
Evolutiona... [1]
Plant Scie... [1]
天文学 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共11条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Detection and Characterization of Oscillating Red Giants: First Results from the TESS Satellite
期刊论文
ASTROPHYSICAL JOURNAL LETTERS, 2020, 卷号: 889, 期号: 2, 页码: 8
作者:
Aguirre, Víctor Silva
;
Stello, Dennis
;
Stokholm, Amalie
;
Mosumgaard, Jakob R.
;
Ball, Warrick H.
收藏
  |  
浏览/下载:76/0
  |  
提交时间:2020/03/02
Asteroseismology
Fundamental parameters of stars
Red giant stars
Phylogenetic placement of the enigmatic genus Holocheila (Lamiaceae) inferred from plastid DNA sequences
期刊论文
TAXON, 2014, 卷号: 63, 期号: 2, 页码: 355-366
作者:
Chen, Ya-Ping
;
Li, Bo
;
Olmstead, Richard G.
;
Cantino, Philip D.
;
Liu, En-De
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/06/23
China
Holocheila
Lamioideae
monotypic
plastid DNA
Pogostemoneae
The monophyly of Chimonocalamus and conflicting gene trees in Arundinarieae (Poaceae: Bambusoideae) inferred from four plastid and two nuclear markers
期刊论文
MOLECULAR PHYLOGENETICS AND EVOLUTION, 2013, 卷号: 68, 期号: 2, 页码: 340-356
作者:
Yang, Hong-Mei
;
Zhang, Yu-Xiao
;
Yang, Jun-Bo
;
Li, De-Zhu
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2013/07/24
Chimonocalamus
Plastid DNA
GBSSI
LEAFY
Phylogeny
Incongruence
Characterization of Hepatic and Intestinal Glucuronidation of Magnolol: Application of the Relative Activity Factor Approach to Decipher the Contributions of Multiple UDP-Glucuronosyltransferase Isoforms
期刊论文
drug metabolism and disposition, 2012, 卷号: 40, 期号: 3, 页码: 529-538
作者:
Zhu, Liangliang
;
Ge, Guangbo
;
Zhang, Hongbo
;
Liu, Huixin
;
He, Guiyuan
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2013/10/11
Distilling zinc for the Ming Dynasty: the technology of large scale zinc production in Fengdu, southwest China
期刊论文
journal of archaeological science, 2012
Zhou, Wenli
;
Martinon-Torres, Marcos
;
Chen, Jianli
;
Liu, Haiwang
;
Li, Yanxiang
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/10
Zinc distillation
Retort
Coal
Brass
Mints
China
TOUGHNESS
STRENGTH
CERAMICS
EUROPE
从《滇南矿厂图略》看清代云南铸币铜矿的运输问题
期刊论文
2010, 2010
陈海连
;
高瑄
;
CHEN Hai-lian
;
GAO Xuan
收藏
  |  
浏览/下载:1/0
Regulation of MT-MMP trafficking by Intracellular Effectors
会议论文
San Francisco, CA, APR 01-05, 2006
作者:
Duanqing Pei
;
yunkai xu
;
Jun Fu
;
Shuhong Yang
;
Xiao Chen
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2018/12/18
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
©版权所有 ©2017 CSpace - Powered by
CSpace