During the 1640s, the Irish Franciscan theologian John Punch taught his theology students in Rome that war against Protestants was made just by their religion alone. Jesuits like Luis de Molina identified the holy war tradition in which Punch stood as a Scotist one, and insisted that the Scotists had confused the natural and supernatural spheres. Among Irishmen, Punch was unusual. The main Iris...

CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that ...

background: to evaluate public perceptions towards the causes of depression and schizophrenia and identifications of fac­tors resulting stigma towards mental ill. method: a cross-sectional study was conducted among the inhabitants of pulau-pinang, malaysia in march, 2009. a 24-item questionnaire was used to obtain respondent views. a non-probability (i.e convenient sampling method) was used to ...

The primary purpose of the present study was to create and validate a scale assessing the extent to which people believe in divine intervention. A six-item Belief in Divine Intervention Scale (BDIS) was one of six scales administered to 204 students at a community college and a Christian liberal arts college. The BDIS displayed a high level of internal consistency (coefficient alpha = .910), an...