Clinical Risk Factors, DNA Variants, and the Development of Type 2 Diabetes
- 期刊名称New England Journal of Medicine
- 作者Lyssenko, Valeriya; Jonsson, Anna; Almgren, Peter; Pulizzi, Nicoló; Isomaa, Bo; Tuomi, Tiinamaija; Berglund, Göran; Altshuler, David; Nilsson, Peter; Groop, Leif
- 卷第359卷
- 期第21期
- 印刷ISSN0028-4793
- 电子ISSN1533-4406
- 文件大小487.25KB
- 发表时间2008-11-20
- DOI10.1056/NEJMoa0801869
- 页码2220-2232
Lecture Notes in Computer Science 89 Computer Aided Design ModellingSystems Engineering · Springer-Verlag · 1980
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4144 ||Ball, Thomas; Jones, Robert B. · 2006
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||Bouajjani, Ahmed; Maler, Oded · 2009
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 ||Biere, Armin; Bloem, Roderick · 2014
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 ||Damm, Werner; Hermanns, Holger · 2007
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5123 ||Gupta, Aarti; Malik, Sharad · 2008
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 ||Sharygina, Natasha; Veith, Helmut · 2013
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Termination of Linear ProgramsAlur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || DPLL(T): Fast Decision ProceduresAlur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Range Allocation for Separation LogicAlur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || An Experimental Evaluation of Ground Decision ProceduresAlur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || MCK: Model Checking the Logic of KnowledgeAlur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction RefinementAlur, Rajeev; Peled, Doron A. · 2004