This paper examines the role that political institutions play in inducing or subduing ethnic identification. I provide a formal model of ethnic identification as a function of institutional design and social context that focuses on one question: what kinds of institutions will induce individuals to identify with the state rather than along ethnic lines? Among other things, the model offers pred...

Our goal is to help the developers of computer-based systems to make informed design decisions on the basis of insights gained from the rigorous analysis of abstract system models. The early work on model-oriented specification has inspired the development of numerous formalisms and tools supporting modelling and analysis. There are also many stories of successful industrial application, often ...

We applied a formal method to a theory on statistics, and described some problems of formalization with proposals for resolving them. We show that the proof of formal method makes clear the logical structure of the proof.

The problem with formal methods in philosophy is not whether to apply them or not. For most analytic philosophers they are basic and unquestionably legitimate and fruitful. The problem is their adequacy. Sometimes there is too much use of formal methods in a field, and their richness and the diversity of the formalisms overkills the part of the field and the questions that they are supposed to ...

The Clinica Para Madres (Mother?s Clinic) opened in Tucson, Arizona, in December of 1934 as the first birth control [3] clinic in Arizona. After moving to Tucson, birth control [3] activist Margaret Sanger, along with a group of local philanthropic women, founded the clinic to provide Arizona women with contraception [4]. During the early 1900s in the US, contraception [4] was illegal under the...

viii

Fertility in sub-Saharan Africa remains the highest in the world. Yet, the average contraceptive prevalence in Africa is the lowest in major world regions and there is limited understanding of the mechanisms through which community context shapes contraceptive use in the region. Using data from the 2011 Mozambique Demographic and Health Survey, we examine the mechanisms through which community ...