Frank is a writer with a strange habit. Every morning, at precisely 7:30 a.m., he wakes up and dumps out whatever is left of the pint of milk he purchased the day before, but places the empty carton back in the fridge until noon. Then, throughout the interval from 7:30 to noon, he always remains in the kitchen, as that is where he writes every morning like clockwork. Finally, at exactly noon, h...

An estimated 19 million unsafe abortions occur worldwide each year, resulting in the deaths of about 70,000 women. Legalization of abortion is a necessary but insufficient step toward improving women's health. Without skilled providers, adequate facilities and easy access, the promise of safe, legal abortion will remain unfulfilled, as in India and Zambia. Both suction curettage and pharmacolog...

We show that the problem of checking if an infinite tree generated by a higher-order grammar of level 2 (hyperalgebraic) satisfies a given μ-calculus formula (or, equivalently, if it is accepted by an alternating parity automaton) is decidable, actually 2-Exptime-complete. Consequently, the monadic second-order theory of any hyperalgebraic tree is decidable, so that the safety restriction can b...

The main objective of this paper is to report on unsafe actions of motor vehicle drivers at railroadhighway grade crossings and drivers’ response to installation of a centerline barrier that prevented them from driving around the gates. A comparison of unsafe driver actions in the preand post-barrier periods provided an idea about the effectiveness of the barrier in reducing unsafe driver actio...

BACKGROUND Abortions performed by persons lacking the requisite skills or in environments lacking minimal medical standards or both are considered unsafe. It is estimated that over 20 million unsafe abortions are performed annually and about 70 000 women die globally as a result, with the majority occurring in the developing world. This study aims to determine the sociodemographic factors invol...