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...

This work presents an alternative analysis for the shortest path optimal routing problem and proposes novel heuristic methods to solve it. In practical terms, a solution for the shortest path optimal routing problem determines the link weights that optimizes a computer network operating under standard routing protocols (e.g. OSPF). We based our solution on traffic engineering techniques that re...

Cover illustration: A farmer from Devon, England, 1942, with the divine power of finding water using only his hands and a hazel twig.

Sheridan, in his “Toward an Eclectic Ontology of Presence” (Sheridan, 1999), approaches the semblance of an ontological argument with discussion of “divine presence” in relation to virtual reality communications media and the consequent effect of virtuality upon the mind/matter ensemble. Although he doesn’t offer proof for God, Sheridan (and subsequently Mantovani and Riva, who accept Sheridan’...

This essay explains and analyzes Robert John Russell’s theory of divine action. Russell’s proposal has exercised significant influence on others working in the area of science and religion with interests in Christian systematic theology. It would be valuable to trace the lines of that influence, but I do not have space to do that here. I can testify to his influence in more personal terms, howe...

Im virtuellen Umfeld von Hochschulen ist in letzter Zeit zunehmend ein Phänomen zu beobachten, das für die Zukunft von Bildungseinrichtungen von maßgeblicher Bedeutung sein könnte. Die Rede ist von selbstgesteuerten Lerngemeinschaften, die das Internet nutzen, um sich gegenseitig bei der Bewältigung des Studiums zu unterstützen. (Auf von Lehrenden didaktisch inszenierte Blended Learning Kurse w...

In his recent version of the logical problem evil, James Sterba articulates several moral principles that, on assumption that God is morally perfect, seem to entail God’s non-existence. Such principles, however, only apply he a agent. I first argue against this by appealing work Mark Murphy before, secondly, suggesting an alternative way frame Sterba’s argument in terms divine love. One can dis...