中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
水生生物研究所 [1]
软件研究所 [1]
昆明动物研究所 [1]
采集方式
OAI收割 [3]
内容类型
期刊论文 [2]
会议论文 [1]
发表日期
2016 [1]
2012 [1]
2002 [1]
学科主题
筛选
浏览/检索结果:
共3条,第1-3条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Genomic incompatibilities in the diploid and tetraploid offspring of the goldfish × common carp cross
期刊论文
OAI收割
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2016, 卷号: 113, 期号: 5, 页码: 1327-1332
作者:
Liu S[*]
;
Luo J
;
Chai J
;
Ren L
;
Zhou Y
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2016/01/18
allopolyploidization
chimeric genes
sequence validation
transcriptomes
vertebrate
Development and Characterization of New Single Nucleotide Polymorphism Markers from Expressed Sequence Tags in Common Carp (Cyprinus carpio)
期刊论文
OAI收割
INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, 2012, 卷号: 13, 期号: 6, 页码: 7343-7353
作者:
Zhu, Chuankun
;
Cheng, Lei
;
Tong, Jingou
;
Yu, Xiaomu
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2012/09/25
common carp (Cyprinus carpio)
expressed sequence tag (EST)
single nucleotide polymorphism (SNP)
validation
genetic variations
validating objected-oriented prototype of real-time systems with timed automata
会议论文
OAI收割
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ
;
Li C
;
Wang Q
;
Li MS
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/29
FORTS
UML
Unified Modeling Language
case study
constraint solving
formal semantics
formal specification
model checking
object-oriented real-time system development
object-oriented software validation
sequence diagram
software prototyping
timed