中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共6条，第1-6条 帮助

条数/页： 排序方式：
Protein-altering variants associated with body mass index implicate pathways that control energy intake and expenditure in obesity 期刊论文  OAI收割
NATURE GENETICS, 2018, 卷号: 50, 期号: 1, 页码: 26-41
作者:  Turcot, Valerie;  Dube, Marie-Pierre;  Lo, Ken S.;  Rioux, John D.;  Tardif, Jean-Claude
  |  收藏  |  浏览/下载：91/0  |  提交时间：2020/12/09
Interethnic analyses of blood pressure loci in populations of East Asian and European descent 期刊论文  OAI收割
NATURE COMMUNICATIONS, 2018, 卷号: 9, 期号: -, 页码: 5052
作者:  Takeuchi, Fumihiko;  Kato, Norihiro;  Isono, Masato;  Akiyama, Masato;  Matoba, Nana
  |  收藏  |  浏览/下载：39/0  |  提交时间：2020/12/09
Rapidity and centrality dependence of particle production for identified hadrons in Cu plus Cu collisions at root s(NN)=200 GeV 期刊论文  OAI收割
PHYSICAL REVIEW C, 2016, 卷号: 94, 页码: 14
作者:  Arsene, I. C.;  Bearden, I. G.;  Beavis, D.;  Bekele, S.;  Besliu, C.
  |  收藏  |  浏览/下载：61/0  |  提交时间：2018/05/31
Efficient controller synthesis for a fragment of MTL0, &infin 期刊论文  OAI收割
Acta Informatica, 2014, 卷号: 51, 期号: 3-4, 页码: 165-192
Bulychev, Peter (1); David, Alexandre (1); Larsen, Kim G. (1); Li, Guangyuan (2)
  |  收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
rewrite-based statistical model checking of wmtl 会议论文  OAI收割
3rd International Conference on Runtime Verification, RV 2012, Istanbul, Turkey, September 25, 2012 - September 28, 2012
Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted
  |  收藏  |  浏览/下载：23/0  |  提交时间：2013/09/22
a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example 会议论文  OAI收割
18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012
Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G.
  |  收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22