Search

Your search keyword '"Scott A Smith"' showing total 9 results
Start Over Author "Scott A Smith" Database OAIster
9 results on '"Scott A Smith"'

1. Higher-Order Demand-Driven Program Analysis (Artifact)

Author

Leandro Facchinetti and Zachary Palmer and Scott F. Smith, Facchinetti, Leandro, Palmer, Zachary, Smith, Scott F., Leandro Facchinetti and Zachary Palmer and Scott F. Smith, Facchinetti, Leandro, Palmer, Zachary, and Smith, Scott F.

Abstract

This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higher-order functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the user and is capable of rendering the control flow graphs and pushdown systems using the GraphViz language DOT. This artifact was used to verify the conclusions of the companion paper and produces visualizations matching those figures in the companion paper's overview.

Published
2016
Full Text
View/download PDF

2. Higher-Order Demand-Driven Program Analysis

Author

Zachary Palmer and Scott F. Smith, Palmer, Zachary, Smith, Scott F., Zachary Palmer and Scott F. Smith, Palmer, Zachary, and Smith, Scott F.

Abstract

We explore a novel approach to higher-order program analysis that brings ideas of on-demand lookup from first-order CFL-reachability program analyses to higher-order programs. The analysis needs to produce only a control-flow graph; it can derive all other information including values of variables directly from the graph. Several challenges had to be overcome, including how to build the control-flow graph on-the-fly and how to deal with non-local variables in functions. The resulting analysis is flow- and context-sensitive with a provable polynomial-time bound. The analysis is formalized and proved correct and terminating, and an initial implementation is described.

Published
2016
Full Text
View/download PDF

3. World Health Organization infant and young child feeding indicators and their associations with child anthropometry

Author

Jones, Andrew D.; Ickes, Scott B.; Smith, Laura E. ; Mbuya, Mduduzi N. N.; Chasekwa, Bernard; Heidkamp, Rebecca A.; Menon, Purnima; Zongrone, Amanda; Stoltzfus, Rebecca J., http://orcid.org/0000-0001-5988-2894 Menon, Purnima; http://orcid.org/0000-0003-1134-088X Zongrone, Amanda, Jones, Andrew D.; Ickes, Scott B.; Smith, Laura E. ; Mbuya, Mduduzi N. N.; Chasekwa, Bernard; Heidkamp, Rebecca A.; Menon, Purnima; Zongrone, Amanda; Stoltzfus, Rebecca J., and http://orcid.org/0000-0001-5988-2894 Menon, Purnima; http://orcid.org/0000-0003-1134-088X Zongrone, Amanda

Abstract

PR, IFPRI3; ISI; CRP4, PHND; A4NH, CGIAR Research Program on Agriculture for Nutrition and Health (A4NH)

Published
2014

5. New gene functions in megakaryopoiesis and platelet formation

Author

Gieger, Christian Radhakrishnan, Aparna Cvejic, Ana Tang, Weihong Porcu, Eleonora Pistis, Giorgio Serbanovic-Canic, Jovana Elling, Ulrich Goodall, Alison H. Labrune, Yann and Lopez, Lorna M. Maegi, Reedik Meacham, Stuart Okada, Yukinori Pirastu, Nicola Sorice, Rossella Teumer, Alexander and Voss, Katrin Zhang, Weihua Ramirez-Solis, Ramiro Bis, Joshua C. Ellinghaus, David Goegele, Martin Hottenga, Jouke-Jan Langenberg, Claudia Kovacs, Peter O'Reilly, Paul F. Shin, So-Youn Esko, Toenu Hartiala, Jaana Kanoni, Stavroula Murgia, Federico Parsa, Afshin Stephens, Jonathan and van der Harst, Pim van der Schoot, C. Ellen Allayee, Hooman and Attwood, Antony Balkau, Beverley Bastardot, Francois and Basu, Saonli Baumeister, Sebastian E. Biino, Ginevra Bomba, Lorenzo Bonnefond, Amelie Cambien, Francois Chambers, John C. Cucca, Francesco D'Adamo, Pio Davies, Gail de Boer, Rudolf A. de Geus, Eco J. C. Doering, Angela Elliott, Paul and Erdmann, Jeanette Evans, David M. Falchi, Mario Feng, Wei Folsom, Aaron R. Frazer, Ian H. Gibson, Quince D. and Glazer, Nicole L. Hammond, Chris Hartikainen, Anna-Liisa and Heckbert, Susan R. Hengstenberg, Christian Hersch, Micha and Illig, Thomas Loos, Ruth J. F. Jolley, Jennifer Khaw, Kay Tee Kuehnel, Brigitte Kyrtsonis, Marie-Christine Lagou, Vasiliki Lloyd-Jones, Heather Lumley, Thomas Mangino, Massimo Maschio, Andrea Leach, Irene Mateo McKnight, Barbara and Memari, Yasin Mitchell, Braxton D. Montgomery, Grant W. and Nakamura, Yusuke Nauck, Matthias Navis, Gerjan Noethlings, Ute Nolte, Ilja M. Porteous, David J. Pouta, Anneli and Pramstaller, Peter P. Pullat, Janne Ring, Susan M. Rotter, Jerome I. Ruggiero, Daniela Ruokonen, Aimo Sala, Cinzia and Samani, Nilesh J. Sambrook, Jennifer Schlessinger, David and Schreiber, Stefan Schunkert, Heribert Scott, James Smith, Nicholas L. Snieder, Harold Starr, John M. Stumvoll, Michael and Takahashi, Atsushi Tang, W. H. Wilson Taylor, Kent and Tenesa, Albert Thein, Swee Lay Toenjes, Anke Uda, Manuel and Gieger, Christian Radhakrishnan, Aparna Cvejic, Ana Tang, Weihong Porcu, Eleonora Pistis, Giorgio Serbanovic-Canic, Jovana Elling, Ulrich Goodall, Alison H. Labrune, Yann and Lopez, Lorna M. Maegi, Reedik Meacham, Stuart Okada, Yukinori Pirastu, Nicola Sorice, Rossella Teumer, Alexander and Voss, Katrin Zhang, Weihua Ramirez-Solis, Ramiro Bis, Joshua C. Ellinghaus, David Goegele, Martin Hottenga, Jouke-Jan Langenberg, Claudia Kovacs, Peter O'Reilly, Paul F. Shin, So-Youn Esko, Toenu Hartiala, Jaana Kanoni, Stavroula Murgia, Federico Parsa, Afshin Stephens, Jonathan and van der Harst, Pim van der Schoot, C. Ellen Allayee, Hooman and Attwood, Antony Balkau, Beverley Bastardot, Francois and Basu, Saonli Baumeister, Sebastian E. Biino, Ginevra Bomba, Lorenzo Bonnefond, Amelie Cambien, Francois Chambers, John C. Cucca, Francesco D'Adamo, Pio Davies, Gail de Boer, Rudolf A. de Geus, Eco J. C. Doering, Angela Elliott, Paul and Erdmann, Jeanette Evans, David M. Falchi, Mario Feng, Wei Folsom, Aaron R. Frazer, Ian H. Gibson, Quince D. and Glazer, Nicole L. Hammond, Chris Hartikainen, Anna-Liisa and Heckbert, Susan R. Hengstenberg, Christian Hersch, Micha and Illig, Thomas Loos, Ruth J. F. Jolley, Jennifer Khaw, Kay Tee Kuehnel, Brigitte Kyrtsonis, Marie-Christine Lagou, Vasiliki Lloyd-Jones, Heather Lumley, Thomas Mangino, Massimo Maschio, Andrea Leach, Irene Mateo McKnight, Barbara and Memari, Yasin Mitchell, Braxton D. Montgomery, Grant W. and Nakamura, Yusuke Nauck, Matthias Navis, Gerjan Noethlings, Ute Nolte, Ilja M. Porteous, David J. Pouta, Anneli and Pramstaller, Peter P. Pullat, Janne Ring, Susan M. Rotter, Jerome I. Ruggiero, Daniela Ruokonen, Aimo Sala, Cinzia and Samani, Nilesh J. Sambrook, Jennifer Schlessinger, David and Schreiber, Stefan Schunkert, Heribert Scott, James Smith, Nicholas L. Snieder, Harold Starr, John M. Stumvoll, Michael and Takahashi, Atsushi Tang, W. H. Wilson Taylor, Kent and Tenesa, Albert Thein, Swee Lay Toenjes, Anke Uda, Manuel

Abstract

Platelets are the second most abundant cell type in blood and are essential for maintaining haemostasis. Their count and volume are tightly controlled within narrow physiological ranges, but there is only limited understanding of the molecular processes controlling both traits. Here we carried out a high-powered meta-analysis of genome-wide association studies (GWAS) in up to 66,867 individuals of European ancestry, followed by extensive biological and functional assessment. We identified 68 genomic loci reliably associated with platelet count and volume mapping to established and putative novel regulators of megakaryopoiesis and platelet formation. These genes show megakaryocyte-specific gene expression patterns and extensive network connectivity. Using gene silencing in Danio rerio and Drosophila melanogaster, we identified 11 of the genes as novel regulators of blood cell formation. Taken together, our findings advance understanding of novel gene functions controlling fate-determining events during megakaryopoiesis and platelet formation, providing a new example of successful translation of GWAS to function.

Published
2011

6. Lucky creature attacks! anthologies: .

Author

Scott, Shawn Smith, White, Jessica C., Scott, Shawn Smith, and White, Jessica C.

Abstract

Joan Flasch Artists' Book Collection

Published
2007

8. The ability of a basal ration to alleviate biological changes in rats resulting from previous consumption of high zinc diets

Author

NC DOCKS at The University of North Carolina at Greensboro, Scott, Alice Smith, NC DOCKS at The University of North Carolina at Greensboro, and Scott, Alice Smith

Abstract

The ability of a basal ration to alleviate the adverse effects of a high level, of dietary zinc on growth, hemoglobin, liver mineral constituents, and bone mineralization in young male rats was studied. Zinc toxicity resulted in a marked decrease in growth and hemoglobin levels. Significant decreases in liver copper and iron deposition associated with zinc toxicity did not occur until the second week. A marked increase in liver zinc was produced by the 0.75% level of zinc. Bone calcium was significantly decreased from the beginning while the decrease in bone phosphorus did not occur until the fourth week. A highly significant increase in bone magnesium and bone zinc occurred.

Published
1965

Catalog

Books, media, physical & digital resources
See catalog results