Program Proving: Jumps and Functions by Clint, M, Hoare, C

Remarks on “Program Proving: Jumps and Functions” by Ashcroft, E, Clint, M, Hoare, C

Carbon Sequestration in Turfgrass–Soil Systems by Ruying Wang, Clint M. Mattox, Claire L. Phillips, Alec R. Kowalewski

Get full text

The clinical relevance of heme detoxification by the macrophage heme oxygenase system by Scott Yeudall, Scott Yeudall, Clint M. Upchurch, Norbert Leitinger, Norbert Leitinger

Get full text

Differential Lipid Profiles of Normal Human Brain Matter and Gliomas by Positive and Negative Mode Desorption Electrospray Ionization - Mass Spectrometry Imaging. by Alan K Jarmusch, Clint M Alfaro, Valentina Pirro, Eyas M Hattab, Aaron A Cohen-Gadol, R Graham Cooks

Get full text

Macrophages sensing oxidized DAMPs reprogram their metabolism to support redox homeostasis and inflammation through a TLR2-Syk-ceramide dependent mechanism by Vlad Serbulea, Clint M. Upchurch, Katelyn W. Ahern, Gael Bories, Paxton Voigt, Dory E. DeWeese, Akshaya K. Meher, Thurl E. Harris, Norbert Leitinger

Get full text

The KINDRA project: sharing and evaluating groundwater research and knowledge in Europe by Marco Petitta, Balazs Bodo, Adrienn Cseko, Andrea Del Bon, Isabel Fernandez, Clint M. García Alibrandi, Mercedes Garcia Padilla, Eva Hartai, Klaus Hinsby, Peter Muller, Viktoria Mikita, Peter Szucs, Peter van der Keur

Get full text

Building a psychosocial and spiritual care service for children with cancer and their families by Marc Hendricks, Clint M. Steenveld, Vanessa Thompson, Anabela Andrade, Gisela Kahl, Peter Farlam, Joyce Balagadde-Kambugu, Shehaam Hendricks, Angela Rackstraw, Lynn Pedersen, Dianne R. Burger, Michelle A. Meiring, Alan Davidson, Ann van Eyssen

Get full text

Multiple organ system defects and transcriptional dysregulation in the Nipbl(+/-) mouse, a model of Cornelia de Lange Syndrome. by Shimako Kawauchi, Anne L Calof, Rosaysela Santos, Martha E Lopez-Burks, Clint M Young, Michelle P Hoang, Abigail Chua, Taotao Lao, Mark S Lechner, Jeremy A Daniel, Andre Nussenzweig, Leonard Kitzes, Kyoko Yokomori, Benedikt Hallgrimsson, Arthur D Lander

Get full text

Distinct insulin granule subpopulations implicated in the secretory pathology of diabetes types 1 and 2 by Alex J B Kreutzberger, Volker Kiessling, Catherine A Doyle, Noah Schenk, Clint M Upchurch, Margaret Elmer-Dixon, Amanda E Ward, Julia Preobraschenski, Syed S Hussein, Weronika Tomaka, Patrick Seelheim, Iman Kattan, Megan Harris, Binyong Liang, Anne K Kenworthy, Bimal N Desai, Norbert Leitinger, Arun Anantharam, J David Castle, Lukas K Tamm

Get full text

Adaptive thermogenesis in brown adipose tissue involves activation of pannexin-1 channels by Subramanian Senthivinayagam, Vlad Serbulea, Clint M. Upchurch, Renata Polanowska-Grabowska, Suresh K. Mendu, Srabani Sahu, Prathiba Jayaguru, Kevin W. Aylor, Mahendra D. Chordia, Limor Steinberg, Nathaniel Oberholtzer, Seichii Uchiyama, Noriko Inada, Ulrike M. Lorenz, Thurl E. Harris, Susanna R. Keller, Akshaya K. Meher, Alexandra Kadl, Bimal N. Desai, Bijoy K. Kundu, Norbert Leitinger

Get full text