ion of Probabilistic Systems Joost-Pieter Katoen1,2 1 RWTH Aachen University, Software Modeling and Verification Group, Germany 2 University of Twente, Formal Methods and Tools, The Netherlands

Statistics from the 1978 survey of the National Inventory of Family Planning Services are presented on demographic and institutional characteristics of service sites that provide medical and nonmedical family plannlng services. Data are given on the physical location of the service sites, their operating responsibility, the number of patients served, medical and ancillary services provided, and...

We present a formal model of intra-party politics to explain candidate selection within political parties. We think of parties as heterogeneous groups of individuals who aim to implement a set of policies but who differ in their priorities. When party heterogeneity is too great, parties are in danger of splitting into smaller yet more homogeneous political groups. In this context we argue that ...

Stalled fertility declines have been identified in several regions across the developing world, but the current conceptualization of a stalled fertility decline is poorly theorized and does not lend itself to objective measurement. We propose a more rigorous and statistically testable definition of stalled fertility decline that can be applied to time-series data. We then illustrate the utility...

We explore the effect of transparency of fiscal institutions on the scale of government and gubernatorial popularity using a formal model of accountability. We construct an index of fiscal transparency for the American states from detailed budgetary information. With crosssection data for 1986-1995, we find that on average and controlling for other influential factors fiscal transparency increa...