We introduce rt-inconsistency, a property of real-time requirements. The property reflects that the requirements specify apparently inconsistent timing constraints. We present an algorithm to check rt-inconsistency automatically. The algorithm works via a stepwise reduction to real-time model checking. We implement the algorithm using an existing module for the reduction and the UPPAAL tool for...

The authors describe the first surgical case adopting the combination of real-time augmented reality and wearable computing devices such as Google Glass (Google Inc, Mountain View, California). A 66-year-old man presented to their institution for a total shoulder replacement after 5 years of progressive right shoulder pain and decreased range of motion. Throughout the surgical procedure, Google...

West Nile virus (Flaviviridae: Flavivirus) is a serious infectious disease that recently spread across the North America continent. A spatial analysis tool was developed on the ArcMap 9.x platform to estimate potential West Nile virus activity using a spatially explicit degree-day model. The model identifies when the virus Extrinsic Incubation Period (EIP) is completed within the vector longevi...

Articulatory data can nowadays be obtained using a wide range of techniques, such as real-time magnetic resonance (RT-MRI), enabling acquisitions of large amounts of data. A major challenge arises: analysing these new large data sets to extract meaningful information regarding speech production in an expedite and replicable way. Traditional approaches such as superimposing vocal tract profiles ...

Randomized trials (RTs) are used to learn about treatment effects. This paper studies identification of average treatment response (ATR) and average treatment effect (ATE) from RT data under various assumptions. The focus is the problem of external validity of the RT. RT data need not point identify the ATR or ATE because of selective participation in the RT. The paper reports partial identific...

The paper was conducted to assess the importance and challenges encountered in the current machine evaluation system in an electronics company as perceived by the respondents. In addition, it also sought to understand the acceptability of the new developed Real-Time Auto-locked Software for Electronics Company (RT-ASEC). The new automated machine evaluation software can detect any irregular mac...