In the field of hioethics, freedom and autonomy assume the ability of self-regulation and determination. If one has the ability to make one 's own decisions, then one represents an autonomous and free person. Such a view of autonomy faces many difficidties, because it idtimately limits those who can be considered autonomous. Tlie Orthodox theology of the one Hypostasis of Jesus Christ presents ...

Since ancient times, in societies throughout the world, mankind has interpreted some dreams in the context of religion – from invoking the gods into their dreams in incubation temples, to recording dream narratives in holy scriptures of religions that thrive in today’s world. This paper acknowledges that the role of dreams has diminished in many faiths, most noticeably in western Christianity, ...

Is the Christian doctrine of the Trinity consistent with a very strong version of the thesis of divine simplicity? Yes, so long as the simple divine nature is a relational nature, a nature that could be characterized in terms of such relations as knowing and loving. This divine nature functions simultaneously as agent, patient, and action: as knower, known and knowledge, and lover, beloved, and...

Model checking became a standard method of analysing complex systems in many application domains. No doubt, a number of applications is placing great demands on model checking tools. The process of analysis of complex and real-life systems often requires vast computation resources, memory in particular. This phenomenon, referred to as the state space explosion problem, has been tackled by many ...

The thesis focuses on counterexample explanation in model checking, which aims to provide useful information about the cause of an error so that the system designer can find and fix the error faster. We summarize some of the existing methods to deal with this problem and implement the method of Alex Groce and Willem Visser. This method describes three ways of comparing failing and unfailing run...