0147-5967/$ see front matter 2013 Association for Comparative Economic Studies Published by Elsevier Inc. All rights reserved. http://dx.doi.org/10.1016/j.jce.2013.08.001 ⇑ Corresponding author. E-mail addresses: [email protected] (N.D. Johnson), [email protected] (M. Koyama). 1 See for instance Finke (1991) and Nussbaum (2008) on the First Amendment and Kamen (1967), Head (1998), Laursen (1999),...

We present the Hyper system that implements a new approach to knowledge compilation, where function-free rst-order acyclic Horn theories are transformed to propositional logic. The compilation method integrates techniques from deductive databases (relevance reasoning) and theory transformation via unfold/fold transformations, to obtain a compact propositional representation. The transformed the...

Often it is overlooked that Christian Spirituality involves a personal relationship of a human being with God. It is of interest that both the Protestant Reformers and the exponents of the Catholic Counter Reformation agreed upon this. Two of the greatest exponents of the Counter-Reformation, both of whom were made Doctors of the Church because of their teaching on Prayer were Saint Teresa of A...

One of the great mysteries of the nucleolus surrounds its disappearance during mitosis and subsequent reassembly at late mitosis. Here, the relative dynamics of nucleolar disassembly and reformation were dissected using quantitative 4D microscopy with fluorescent protein-tagged proteins in human stable cell lines. The data provide a novel insight into the fates of the three distinct nucleolar s...

One of the most important developments in the study of the Reformation over the past generation has been a growing appreciation of the various influences that went into the making of the Reformed tradition. Fifty years ago, the American historian John T. McNeill could write the book, The History and Character of Calvinism, which treated the Zurich Reformation as merely a prelude to the much mor...

We present the Hyper system that implements a new approach to knowledge compilation, where function-free rst-order Horn theories are transformed to propositional logic. The compilation method integrates techniques from deductive databases (relevance reasoning) and theory transformation via unfold/fold transformations, to obtain a compact propositional representation. The transformed theory is m...