نتایج جستجو برای: unsafe conditions

تعداد نتایج: 853406  

2014
Muhammad Atif Qureshi Arjumand Younus Muhammad Yousuf Abdul Moiz Muhammad Saeed Nasir Touheed Colm O'Riordan Gabriella Pasi

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

Journal: :Proceedings of the ACM on Programming Languages 2020

2000
M. Tittus

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

2005
Sanford Goldberg

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

Journal: :British medical bulletin 2003
David A Grimes

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

2005
Teodor Knapik Damian Niwinski Pawel Urzyczyn Igor Walukiewicz

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

Journal: :Scandinavian Journal of Work, Environment & Health 2011

Journal: :Journal of Clinical Investigation 1996

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید