In the realm of scheduling problems, different sources of uncertainty such as probabilistic durations of jobs or stochastic breakdowns of machines can arise. Given this, one highly desirable characteristic of an intelligent schedule is to bring better punctuality with less efficiency-loss because a dominant factor in customer appreciation is punctuality. It is also one of the most intangible to...

The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satissability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time diierence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...

As any frequent flier is no doubt aware, flight delays and cancellations are a largely inevitable part of commercial air travel. In the past ten years, only twice have more than 80% of commercial flights arrived on-time or ahead of schedule. Punctuality is an issue for all major carriers, with some struggling more than others: through September 2008, American Airlines flights were on time just ...

INTRODUCTION A 2015 Institute Of Medicine statement "Transforming Health Care Scheduling and Access: Getting to Now", has increased concerns regarding patient wait times. Although waiting times have been widely studied, little attention has been paid to the role of patient arrival times as a component of this phenomenon. To this end, we investigated patterns of patient arrival at scheduled ambu...

The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satis ability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time di erence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...