AN INTRODUCTION TO VIRGINIA ISSUES: INFORMATION AND ANALYSIS: SPECIAL REPORT FOR VIRGINIA COOPERATIVE EXTENSION

Community/Rural/Urban Development, Labor and Human Capital, Land Economics/Use,

The First Stars

We review recent theoretical results on the formation of the first stars in the universe, and emphasize related open questions. In particular, we discuss the initial conditions for Population III star formation, as given by variants of the cold dark matter cosmology. Numerical simulations have investigated the collapse and the fragmentation of metal-free gas, showing that the first stars were predominantly very massive. The exact determination of the stellar masses, and the precise form of the primordial initial mass function, is still hampered by our limited understanding of the accretion physics and the protostellar feedback effects. We address the importance of heavy elements in bringing about the transition from an early star formation mode dominated by massive stars, to the familiar mode dominated by low mass stars, at later times. We show how complementary observations, both at high redshifts and in our local cosmic neighborhood, can be utilized to probe the first epoch of star formation.Comment: 38 pages, 10 figures, draft version for 2004 Annual Reviews of Astronomy and Astrophysics, high-resolution version available at http://cfa-www.harvard.edu/~vbromm

A systematic assessment of the association between frequently-prescribed medicines and the risk of common cancers : a series of nested case-control studies

Funding: This work was supported by Cancer Research UK (reference C37316/A25535). Acknowledgements: We wish to thank PCCIUR, University of Aberdeen, especially Artur Wozniak, for extracting the data and performing case-control matching.Peer reviewedPublisher PD

The effect of medications associated with drug-induced pancreatitis on pancreatic cancer risk : a nested case-control study of routine Scottish data

Funding: This work was supported by Cancer Research UK (reference C37316/A25535). Acknowledgements: We wish to thank PCCIUR, University of Aberdeen, especially Artur Wozniak, for extracting the data and performing case-control matching.Peer reviewedPublisher PD

How Reasoning Aims at Truth

Many hold that theoretical reasoning aims at truth. In this paper, I ask what it is for reasoning to be thus aim-directed. Standard answers to this question explain reasoning’s aim-directedness in terms of intentions, dispositions, or rule-following. I argue that, while these views contain important insights, they are not satisfactory. As an alternative, I introduce and defend a novel account: reasoning aims at truth in virtue of being the exercise of a distinctive kind of cognitive power, one that, unlike ordinary dispositions, is capable of fully explaining its own exercises. I argue that this account is able to avoid the difficulties plaguing standard accounts of the relevant sort of mental teleology

Economies of space and the school geography curriculum

This paper is about the images of economic space that are found in school curricula. It suggests the importance for educators of evaluating these representations in terms of the messages they contain about how social processes operate. The paper uses school geography texts in Britain since the 1970s to illustrate the different ways in which economic space has been represented to students, before exploring some alternative resources that could be used to provide a wider range of representations of economic space. The paper highlights the continued importance of understanding the politics of school knowledge

Neural crest migration is driven by a few trailblazer cells with a unique molecular signature narrowly confined to the invasive front

Neural crest (NC) cell migration is crucial to the formation of peripheral tissues during vertebrate development. However, how NC cells respond to different microenvironments to maintain persistence of direction and cohesion in multicellular streams remains unclear. To address this, we profiled eight subregions of a typical cranial NC cell migratory stream. Hierarchical clustering showed significant differences in the expression profiles of the lead three subregions compared with newly emerged cells. Multiplexed imaging of mRNA expression using fluorescent hybridization chain reaction (HCR) quantitatively confirmed the expression profiles of lead cells. Computational modeling predicted that a small fraction of lead cells that detect directional information is optimal for successful stream migration. Single-cell profiling then revealed a unique molecular signature that is consistent and stable over time in a subset of lead cells within the most advanced portion of the migratory front, which we term trailblazers. Model simulations that forced a lead cell behavior in the trailing subpopulation predicted cell bunching near the migratory domain entrance. Misexpression of the trailblazer molecular signature by perturbation of two upstream transcription factors agreed with the in silico prediction and showed alterations to NC cell migration distance and stream shape. These data are the first to characterize the molecular diversity within an NC cell migratory stream and offer insights into how molecular patterns are transduced into cell behaviors

Extracting Proofs from Tabled Proof Search

We consider the problem of model checking specifications involving co-inductive definitions such as are available for bisimulation. A proof search approach to model checking with such specifications often involves state exploration. We consider four different tabling strategies that can minimize such exploration significantly. In general, tabling involves storing previously proved subgoals and reusing (instead of reproving) them in proof search. In the case of co-inductive proof search, tables allow a limited form of loop checking, which is often necessary for, say, checking bisimulation of non-terminating processes. We enhance the notion of tabled proof search by allowing a limited deduction from tabled entries when performing table lookup. The main problem with this enhanced tabling method is that it is generally unsound when co-inductive definitions are involved and when tabled entries contain unproved entries. We design a proof system with tables and show that by managing tabled entries carefully, one would still be able to obtain a sound proof system. That is, we show how one can extract a post-fixed point from a tabled proof for a co-inductive goal. We then apply this idea to the technique of bisimulation ''up-to'' commonly used in process algebra