Non-Uniform Reductions

We study properties of non-uniform reductions and related completeness notions. We strengthen several results of Hitchcock and Pavan and give a trade-off between the amount of advice needed for a reduction and its honesty on NEXP. We construct an oracle relative to which this trade-off is optimal. We show, in a more systematic study of non-uniform reductions, that among other things non-uniformity can be removed at the cost of more queries. In line with Post's program for complexity theory we connect such 'uniformization' properties to the separation of complexity classes.

Occupational lead neurotoxicity: Improvement in behavioural effects after reduction of exposure.

To evaluate critical exposure levels and the reversibility of lead neurotoxicity a group of lead exposed foundry workers and an unexposed reference population were followed up for three years. During this period, tests designed to monitor neurobehavioural function and lead dose were administered. Evaluations of 160 workers during the first year showed dose dependent decrements in mood, visual/motor performance, memory, and verbal concept formation. Subsequently, an improvement in the hygienic conditions at the plant resulted in striking reductions in blood lead concentrations over the following two years. Attendant improvement in indices of tension (20% reduction), anger (18%), depression (26%), fatigue (27%), and confusion (13%) was observed. Performance on neurobehavioural testing generally correlated best with integrated dose estimates derived from blood lead concentrations measured periodically over the study period; zinc protoporphyrin levels were less well correlated with function. This investigation confirms the importance of compliance with workplace standards designed to lower exposures to ensure that individual blood lead concentrations remain below 50 micrograms/dl.

The Least of These: American Evangelical Parachurch Missions to the Poor, 1947-2005

This dissertation narrates the historical development of American evangelical missions to the poor from 1947-2005 and analyzes the discourse of its main parachurch proponents, especially World Vision, Compassion International, Food for the Hungry, Samaritan's urse, Sojourners, Evangelicals for Social Action, and the Christian Community Development Association. Although recent scholarship on evangelicalism has been prolific, much of the historical work has focused on earlier periods. Sociological and political scientific scholarship on the postwar period has been attracted mostly to controversies surrounding the Religious Right, leaving evangelicalism's resurgent concern for the poor relatively understudied. This dissertation addresses these lacunae. The study consists of three chronological parts, each marked by a distinctive model of mission to the poor. First, the 1950s were characterized by compassionate charity for individual emergencies, a model that cohered neatly with evangelicalism's individualism and emotionalism. This model should be regarded as the quintessential, bedrock evangelical theory of mission to the poor. It remained strong throughout the entire postwar period. Second, in the 1970s, a strong countercurrent emerged that advocated for penitent protest against structural injustice and underdevelopment. In contrast to the first model, it was distinguished by going against the grain of many aspects of evangelical culture, especially its reflexive patriotism and individualism. Third, in the 1990s, an important movement towards developing potential through hopeful holism gained prominence. Its advocates were confident that their integration of biblical principles with insights from contemporary economic development praxis would contribute to drastic, widespread reductions in poverty. This model signaled a new optimism in evangelicalism's engagement with the broader world. The increasing prominence of missions to the poor within American evangelicalism led to dramatic changes within the movement's worldview: by 2005, evangelicals were mostly unified in their expressed concern for the physical and social needs of the poor, a position that radically reversed their immediate postwar worldview of near-exclusive focus on the spiritual needs of individuals. Nevertheless, missions to the poor also paralleled, reinforced, and hastened the increasing fragmentation of evangelicalism's identity, as each missional model advocated for highly variant approaches to poverty amelioration that were undergirded by diverse sociological, political, and theological assumptions.

Validating Arbitrarily Large Network Protocol Compositions with Finite Computation

Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications of these techniques are not well suited to characterizing emergent behaviors of large compositions of processes. In this paper, we present a methodology by which arbitrarily large compositions of components can, if sufficient conditions are proven concerning properties of small compositions, be modeled and completely verified by performing formal verifications upon only a finite set of compositions. The sufficient conditions take the form of reductions, which are claims that particular sequences of components will be causally indistinguishable from other shorter sequences of components. We show how this methodology can be applied to a variety of network protocol applications, including two features of the HTTP protocol, a simple active networking applet, and a proposed web cache consistency algorithm. We also doing discuss its applicability to framing protocol design goals and to representing systems which employ non-model-checking verification methodologies. Finally, we briefly discuss how we hope to broaden this methodology to more general topological compositions of network applications.