This paper presents an improvement of the Bandwidth Inheritance Protocol (BWI), the natural extension of the well-known Priority Inheritance Protocol (PIP) to resource reservation schedulers. The modified protocol allows for a better management of nested critical section, removes unneeded overheads in the management of task block and unblock events, and introduces a run-time deadlock detection ...

OBJECTIVE To determine whether short-time, real-time continuous glucose monitoring (RT-CGM) has long-term salutary glycemic effects in patients with type 2 diabetes who are not on prandial insulin. RESEARCH DESIGN AND METHODS This was a randomized controlled trial of 100 adults with type 2 diabetes who were not on prandial insulin. This study compared the effects of 12 weeks of intermittent R...

Gen ekspresyonunun post-transkripsiyonel düzenleyicisi olarak bilinen miRNA’lar ökaryotik canlılarda çeşitli fizyolojik ve patolojik süreçlerde rol oynamaktadır. miRNA'ların rollerinin ortaya konulması ile birlikte üzerine yapılan çalışmaların sayısı da gün geçtikçe artmaktadır. Yapılan çalışmalar bütün hücre doku tiplerinde eksprese olduğu konmuştur. miRNA ekspresyon profilinin konması için yö...

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