Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms by Grégoire, Thomas, Chlipala, Adam

Get full text

A novel method for interrogating receiver operating characteristic curves for assessing prognostic tests by Grégoire Thomas, Louise C. Kenny, Philip N. Baker, Robin Tuytten

Get full text

Prediction of preeclampsia risk in first time pregnant women: Metabolite biomarkers for a clinical test. by Louise C Kenny, Grégoire Thomas, Lucilla Poston, Jenny E Myers, Nigel A B Simpson, Fergus P McCarthy, Leslie W Brown, Alison E Bond, Robin Tuytten, Philip N Baker, Screening for Pregnancy Endpoints Consortium

Get full text

A machine learning algorithm to differentiate bipolar disorder from major depressive disorder using an online mental health questionnaire and blood biomarker data by Jakub Tomasik, Sung Yeon Sarah Han, Giles Barton-Owen, Dan-Mircea Mirea, Nayra A. Martin-Key, Nitin Rustogi, Santiago G. Lago, Tony Olmert, Jason D. Cooper, Sureyya Ozcan, Pawel Eljasz, Grégoire Thomas, Robin Tuytten, Tim Metcalfe, Thea S. Schei, Lynn P. Farrag, Lauren V. Friend, Emily Bell, Dan Cowell, Sabine Bahn

Get full text