The reliability of Multi-State System (MSS) is analysed in this paper. In a MSS, both the system and its components may experience more than two reliability states. Many practical and theoretical problems needs still to be solved in this area. One of the crucial ones is to identify how a change in a state of an individual component or changes in states of several ones affect(s) the system relia...

BACKGROUND As the demand for health care services increases, the need to improve patient flow between departments has likewise increased. Understanding how the master surgical schedule (MSS) affects the inpatient wards and exploiting this relationship can lead to a decrease in surgery cancellations, a more balanced workload, and an improvement in resource utilization. We modeled this relationsh...

BACKGROUND AND PURPOSE Cerebellar atrophy is considered the most prominent neuroradiologic finding in Marinesco-Sjögren syndrome (MSS). Our purpose was to investigate this neuroradiologic feature in a series of patients with MSS. METHODS Five patients with MSS (age range, 5-19 years) underwent native MR imaging of the brain. The findings were assessed with particular attention to the cerebell...

, A number of image a n a l y s i s t a s k s r e q u i r e t h e r e g i s t r a t i o n of a s u r f a c e model w i t h an image. I n t h e case o f s a t e l l i t e images, t h e s u r f a c e model may be a map o r d i g i t a l t e r r a i n model i n t h e form o f surface e l e v a t i o n s on a g r i d o f p o i n t s. We develop here an a f f i n e transformation between coordinates...

INTRODUCTION Among men who have sex with men (MSM), men who sell sex (MSS) may be subject to increased sexual behaviour-related stigma that affects uptake of healthcare and risk of sexually transmitted infections (STIs). The objectives of this study were to characterize stigma, access to care, and prevalence of HIV among MSS in Nigeria. METHODS Respondent-driven sampling was used to recruit M...

BACKGROUND Hereditary nonpolyposis colorectal cancer (HNPCC) is an autosomal dominant disorder predisposing to predominantly colorectal cancer (CRC) and endometrial cancer frequently due to germline mutations in DNA mismatch repair (MMR) genes, mainly MLH1, MSH2 and also MSH6 in families seen to demonstrate an excess of endometrial cancer. As a consequence, tumors in HNPCC reveal alterations in...

Research in the field of hybrid systems has produced a number of verification tools. Formal verification of systems is performed using such tools. In practice prototyping and simulation tools such as Matlab’s Simulink and Stateflow (MSS) are prevalent. The paper formally describes a translation process that can convert a well-defined subset of MSS into a standard form of hybrid automata. This t...