Routine vaccination programmes have led to substantial declines in the incidence of most of the target diseases. In these circumstances, vaccine effects beyond those on the target diseases may become evident. Several studies have suggested that certain vaccines may influence mortality in low income settings in ways that cannot be attributed to effects on target diseases. Trials of such 'non-spe...

Although coup risk plays an important role in theories of war, revolution, and democratization, scholars have not developed a rigorous conceptualization and valid measure of the concept. We develop a structural understanding of coup risk as distinct from proximate causes of coups as well as coup-proofing strategies that regimes implement to avert coups. Theoretical insights into factors that pr...

In this paper we present a notion of reenement for process algebras motivated by converting an abstract speciication into a concrete implementation. We start with CCS speciications and convert them to speciications with asynchronous message passing. A derived speciication describes an implementation on distributed memory systems. That is individual actions in a CCS process are transformed into ...

Many kinds of economic behavior appear to be governed by discrete and occasional individual choices. Despite this, econometric partial adjustment models perform relatively well at the aggregate level. Analyzing the classic employment adjustment problem, we show how discrete and occasional microeconomic adjustment is well described by a new form of partial adjustment model that aggregates the ac...

Kingston (1976) and Anderson (1977) show that the probability that a given contestant wins a best-of-2k+1 series of asymmetric, zero-sum, binary-outcome games is, for a large class of assignment rules, independent of which contestant is assigned the advantageous role in each component game. We design a laboratory experiment to test this hypothesis for four simple role-assignment rules. Despite ...

Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of implemented systems have demonstrated the importance of formally verifying the underlying voting protocols. The applied pi calculus is a formalism for modelling such protocols, and allows us to verify properties by using ...

We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that it is the fruit of ongoing work on developing a systematic procedure for deriving ltss in the structural style from the underlying reduction semantics and observability. Notably, even though we have derived our lts f...

BACKGROUND The United States Preventive Services Task Force found that effective interventions for extending breastfeeding duration are generally begun during the prenatal period, provide ongoing support for patients and combine information with face-to-face guidance. A 2001 literature review had similar findings but also found that employing a lactation consultant in the clinical setting may i...