Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

BACKGROUND The study aimed to establish the prevalence of heavy drinking, evaluate correlations between heavy drinking and socio-demographic factors, physical and psychiatric conditions, and assess the impact of heavy drinking on quality of life and days of work-loss. METHODS Data from a nationally-representative cross-sectional sample were used. The sample comprised 6616 community-dwelling S...

T. Tanaka (corresponding author) L. T. Nam K. Kobayashi Department of Urban Management, Kyoto University, Kyotodaigaku-katsura, Nisigyou-ku, Kyoto city 615-8540, Japan T. Tanaka (corresponding author) Planning section, Engineering Division, Osaka Waterworks Bureau, 1-14-16 Nankou-kita, Suminoe-ku, Osaka city 559-8558, Japan Tel.: +81-6-6616-5711 E-mail: [email protected] K. Kaito F...

The information on night-time symptoms in chronic obstructive pulmonary disease (COPD) is sparse. We investigated the prevalence of night-time dyspnoea in 6616 individuals with COPD recruited from the general population in the Copenhagen area, Denmark, and described characteristics and prognosis of subjects with this symptom. The prevalence of night-time dyspnoea was 4.3%: 2.1% in Global Initia...

INTRODUCTION Smoking is one of the leading preventable causes of death throughout the world and can lead to nicotine dependence, particularly when initiated at a young age. This paper describes the prevalence of smoking and nicotine dependence in the adult Singapore resident population, whilst also exploring rates among the major ethnic groups (Chinese, Malay and Indian), different education le...

INTRODUCTION This study aims to examine the pattern of services utilisation and the factors associated with help-seeking behaviour among those with mental disorders in the multi-ethnic Asian population of Singapore. MATERIALS AND METHODS A household survey was carried out on a nationally representative sample of the adult (18 years and above) resident population. The main instrument used to e...

BACKGROUND Lung cancer is one of the most common human malignant diseases and the leading cause of cancer death worldwide. The rs931794, a SNP located in 15q25.1, has been suggested to be associated with lung cancer risk. Nevertheless, several genetic association studies yielded controversial results. METHODS AND FINDINGS A hospital-based case-control study involving 611 cases and 1062 contro...

OBJECTIVE To estimate the impact of patient type on costs incurred during a pediatric intensive care unit (PICU) hospitalization. PATIENTS AND METHODS Retrospective cohort study at an academic PICU located in the United States that examined 850 patients admitted to the PICU from January 1 to December 31, 2009. Forty-eight patients were excluded due to lack of financial data. Primary service w...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...

Treatment of chicken blood smears and semithin sections from Epon-embedded mouse tissues with aqueous solutions of the 3-aminonaphthalimides FA-142, FA-2043, and FA-2143 induced a strong green-yellow fluorescence of chromatin under violet or violet-blue excitation. Chromatin emission was abolished by previous DNase or hot TCA treatment. The use of 3-methoxy (FA-655) and 3-nitro derivatives (M-4...