Classical objectives in two-player zero-sum games played on graphs often deal with limit behaviors of infinite plays: e.g., mean-payoff and total-payoff in the quantitative setting, or parity in the qualitative one (a canonical way to encode ω-regular properties). Those objectives offer powerful abstraction mechanisms and often yield nice properties such as memoryless determinacy. However, thei...

A case of an intraorbital wooden foreign body mimicking air on standard CT window setting and on MR is presented. Its higher attenuation with higher CT window setting as well as its elongated and well-delineated shape on both CT and MR helped to distinguish it from air.

Pneumatosis cystoides intestinalis is a rare and often presents nonspecific symptoms. In this case, CT imaging revealed air collection within the wall of the ileum, which was more clearly defined using the lung window setting. When we consider pneumatosis cystoides intestinalis, we should evaluate CT using the lung window setting.

this paper considers the multi-depot vehicle routing problem with time window in which each vehicle starts from a depot and there is no need to return to its primary depot after serving customers. the mathematical model which is developed by new approach aims to minimizing the transportation cost including the travelled distance, the latest and the earliest arrival time penalties. furthermore, ...

Some frame components, such as SYNC (frame synchronization) and RTS/CTS (Ready to Send/Clear to Send), are not taken into consideration when the traditional setting strategies conduct the optimization of SMAC (Sensor MAC) contention window size. This paper proposes mathematical models that allow the analysis of data packets forwarding delay within one SMAC virtual cluster. Simulation results in...