A graph theoretical model is presented for constructing calendars for sports leagues where balancing requirement have to be considered with respect to the different venues where competitions are to be located. An inductive construction is given for leagues having a number of teams 2n which is of the form 2p in particular. © 2005 Elsevier B.V. All rights reserved.

The Javanese calendar has been in use since July 8, 1633 AD, during the time of Sultan Agung. In calendar, there is a cycle called kurup. Aboge one kurup third after Awahgi and Amiswon. Currently, reached fourth circle, namely Asapon. Even though it kurup, special because seen as religious sect. Regarding determining beginning fasting other holidays, its own method based on Javanese-Aboge Calen...

In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we intensively model sets of granularities with linear time logic formulas. Some real-world granu...

Presentations, research work, GPA, MCAT, extra curriculars, and volunteering. You could call it the “pre-med six-pack,” which, like a well-defined rectus abdominis, represent the “core” of an aspiring young physician. However, unlike one’s abdominal muscles, which experience fatigue after being put through a strenuous workout, these six core components are scheduled for a daily workout in the c...

We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be described without relying on continuously varying clocks. We present verification techniques that rely on induction and abstraction, and show how these techniques are efficiently supported by the SAL symbolic model-checkin...