作者： Ramana Kumar ; Rob Arthan ; Magnus O. Myreen ; Scott Owens

关键词：HOL ; Higher ; order logic ; Verification ; Interactive theorem proving ; Theorem proving ; Consistency ; Semantics ; Self ; formalisation ; Self ; verification

刊名：Journal of Automated Reasoning

出版年：2016

作者： Matthew Harrison-Trainor ; Wesley H. Holliday ; Thomas F. Icard III

关键词：Cancellation axioms ; Comparative probability ; Qualitative probability ; Incomplete relations

刊名：Theory and Decision

出版年：2016

作者： Kristina Harrison ; Gwen Hoad ; Paula Scott ; Louise Simpson…

关键词：Imprinting ; Methylation ; Breast cancer ; Invasive ductal carcinoma ; Ductal carcinoma in situ

刊名：Clinical Epigenetics

出版年：2015

作者：Paul Rossiter (1)
Leslie J. S. Harrison (2)

1. St Michael鈥檚 House ; Poughill ; Devon ; EX17 4LA ; UK
2. University of Edinburgh ; Easter Bush Veterinary Centre ; Roslin ; Midlothian ; EH25 9RG ; UK

刊名：Tropical Animal Health and Production

出版年：2015

作者：Joran Verspreet (1)
Anders Holmgaard Hansen (2)
Emmie Dornez (1)
Christophe M. Courtin (1)
Scott J. Harrison (2)

关键词：Fructan ; Trifunctional C18 ; Porous graphitized carbon ; Liquid chromatography ; mass spectrometry ; Wheat grains

刊名：Analytical and Bioanalytical Chemistry

出版年：2014

作者：Anne C Wheeler (12) (4)
Donald B Bailey Jr (4)
Elizabeth Berry-Kravis (5)
Jan Greenberg (6)
Molly Losh (7)
Marsha Mailick (6)
Montserrat Mil脿 (8)
John M Olichney (11) (9)
Laia Rodriguez-Revenga (8)
Stephanie Sherman (10)
Leann Smith (6)
Scott Summers (11) (9)
Jin-Chen Yang (11) (9)
Randi Hagerman (11) (9)

12. Carolina Institute for Developmental Disabilities ; University of North Carolina at Chapel Hill ; Chapel Hill ; NC ; 27599 ; USA
4. RTI International ; 3040 Cornwallis Road ; Research Triangle Park ; NC ; 27709 ; USA
5. Rush Medical Center ; 1735 West Harrison Street Suite 718 ; Chicago ; IL ; 60612 ; USA
6. Waisman Center ; University of Wisconsin ; 1500 Highland Avenue ; Madison ; WI ; 53705 ; USA
7. Northwestern University ; 2240 Campus Drive ; Evanston ; IL ; 60208-3507 ; USA
8. Biochemistry and Molecular Genetics Department ; Hospital Clinic ; Villarroel 170 ; 08036 ; Barcelona ; Spain
11. MIND Institute ; University of California Davis ; 2825 50th Street ; Sacramento ; CA ; 95817 ; USA
9. Center for Mind and Brain ; University of California-Davis ; 1 Shields Avenue ; Davis ; CA ; 95616 ; USA
10. Emory University ; 615 Michael Street ; Atlanta ; GA ; 30322 ; USA

关键词：fragile X ; FMR1 premutation ; health risks

刊名：Journal of Neurodevelopmental Disorders

出版年：2014

作者：C. Keith Harrison (1)
Laurel Tranyowicz (2)
Scott Bukstein (1)
Ginny McPherson-Botts (1)
Suzanne Malia Lawrence (3)

关键词：Identity ; Student ; athlete ; Motivation ; Baller

刊名：Sport Sciences for Health

出版年：2014

作者：Thomas R Binder (8)
Christopher M Holbrook (9)
Scott M Miehls (9)
Henry T Thompson (9)
Charles C Krueger (10)

8. Department of Fisheries and Wildlife ; Michigan State University ; Hammond Bay Biological Station ; 11188 Ray Rd ; Millersburg ; MI ; 49759 ; USA
9. United States Geological Survey ; Hammond Bay Biological Station ; 11188 Ray Rd ; Millersburg ; MI ; 49759 ; USA
10. Center for Systems Integration and Sustainability ; Michigan State University ; 1405 South Harrison Road ; 115 Manly Miles Building ; East Lansing ; MI ; 48823 ; USA

关键词：Acoustic telemetry ; Changepoint analysis ; Gymnovarian ; Spawning behavior ; Transmitter retention ; Detection probability

刊名：Animal Biotelemetry

出版年：2014

作者： David A Harrison ; Nazir I Lone ; Catriona Haddow ; Moranne MacGillivray…

关键词：Critical care ; Intensive care units ; Models ; Statistical ; Prognosis ; Risk adjustment ; Severity of illness index ; Validation studies

刊名：BMC Anesthesiology

出版年：2014

刊名：The European Physical Journal C - Partic