Leviticus 11 presents dietary laws, specifying which animals are "clean" ( edible) and "unclean" (inedible). Nine major theories to account for these dietary laws are described in this paper, giving arguments pro and con regarding each. The theories discussed are the Obedience Testing, Arbitrary Divine Command, Assertion of Divine Authority, Moral Discipline, Hygiene, Spiritual Symbolism, Pagan...

"Divine William" and The Master: The Influence of Shakespeare on the Novels of Henry James

We present an extension of the DIVINE software model checker to support programs with exception handling. The extension consists of two parts, a language-neutral implementation of the LLVM exception-handling instructions, and an adaptation of the C++ runtime for the DIVINE/LLVM exception model. This constitutes an important step towards support of both the full C++ specification and towards ver...

We present a new release of the parallel and distributed LTL model checker DiVinE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DiVinE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ pr...

Recent studies of the emotional brain have opened new doors to the understanding of human behavior, character development, relationships, happiness and well being. Recent research has shown that the development of “emotional brain” is dependent on “relationship,” initially parent and child relations. Aside from an individual’s relation with the parents, the human mind has been engaged historica...

Proposition 1: As I argued in the paper, there is no equilibrium in which the dictator uses a pure strategy and the ruling coalition conditions its decision to stage a coup on the observed signal. In any equilibrium in mixed strategies, (i) the ruling coalition stages a coup with probability βθ such that, given the correlation between his actions and the signal θ, the dictator is indifferent be...