In this paper the YummyKarachi system is presented; it is a combined restaurant and safe routes recommender system for an unsafe city such as Karachi. YummyKarachi utilizes a hybrid model combining service recommendations with route recommendations in a map-based user interface. It utilizes tweets arriving in real-time to search for danger zones within the city, and it generates restaurant reco...

Allocating non-sharable resources for jobs in batch processes can lead to deadlocks. Using colored di-graphs to model the wait-relationship between resources in a job-path, a graph-theoretic approach is proposed to give necessary conditions for the existence of unsafe system states, i.e., allocations that will prevent some jobs from successful execution. Based on these necessary conditions a co...

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