This paper describes a software module for simulating “people movement” in public space such as shopping centers and cafeterias. We decompose people movement into global and local, and make a model of each of them. Global movement corresponds to following a route from a current position to a destination. In local movement, a person moves toward the next subgoal while avoiding surrounding person...

A 40-year-old male patient was admitted with complaints of right shoulder pain and decreased range of motion for two days. He was diagnosed with axillary web syndrome. Palpable subcutaneous cord which extended from axillary crease down to the ipsilateral arm was revealed. He was administered a non-steroidal anti-inflammatory drug and arranged 15 sessions of physical therapy. To the best of our ...

The paper presents a new Formal Description Technique , RT-LOTOS (Real-Time LOTOS), which is a temporal extension of the standard Formal Description Technique LOTOS. After a brief introduction to Basic LOTOS, the main time-related operators of RT-LOTOS are detailed step by step on small examples, and then formalized (RT-LOTOS operational semantics). The second part of the paper shows the applic...

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