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

RT is a framework for Role-based Trust Management [20]. In comparison with systems like SPKI/SDSI and KeyNote, the advantages of RT include: a declarative, logic-based semantic foundation, support for vocabulary agreement, strongly-typed credentials and policies, more flexible delegation structures, and more expressive support for Separation-of-Duty policies. This paper describes advances in th...

RT is a framework for Role-based Trust Management [20]. In comparison with systems like SPKI/SDSI and KeyNote, the advantages of RT include: a declarative, logic-based semantic foundation, support for vocabulary agreement, strongly-typed credentials and policies, more flexible delegation structures, and more expressive support for Separation-of-Duty policies. This paper describes advances in th...

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

Abstract BACKGROUND Aside from surgery, radiotherapy (RT) remains the only standard of care treatment for meningiomas. However, few studies have identified clinical/molecular biomarkers associated with responsiveness to RT and optimal timing after surgery controversial. We aimed assess outcomes in a large multi-institutional cohort RT-treated meningiomas identify clinical factors DNA methylatio...

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