Dominance hierarchies and health: Constructing personal zones of spiritual power and healing in modern medicine

Ethological studies of animals in groups and sociobiology indicate that hierarchies of dominance amongst some species ensure the survival of the group. When transferred to human groups, dominance hierarchies suggest a crucial role played by recasting the scope of such hierarchies of dominant and subordinate members to included hyper-dominant beings. A recognition of such beings as even more dominant than the socially dominant members of a hierarchy facilitates the empowerment of the socially subordinate members. Religious belief and practice works to establish such hyper-dominant beings (gods, goddesses, and so forth) as superior members of human groups. Doing so is a means of ensuring the survival of the species and, thus, enhancing healing and human health. The doctor-patient relationship is examined from such a point of view, with an emphasis on whether the hierarchy created by the relationship allows consideration of alternative and complementary forms of medical treatment.

Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.