Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Effectiveness of the “Timed Up and Go” (TUG) and the Chair Test as Screening Tools for Geriatric Fall Risk Assessment in the ED

OBJECTIVE: We sought to evaluate the effectiveness of the Timed Up and Go (TUG) and the Chair test as screening tools in the Emergency Department (ED), stratified by sex. METHODS: This prospective cohort study was conducted at a Level 1 Trauma center. After consent, subjects performed the TUG and the Chair test. Subjects were contacted for phone follow-up and asked to self-report interim falling. RESULTS: Data from 192 subjects were analyzed. At baseline, 71.4% (n = 137) screened positive for increased falls risk based on the TUG evaluation, and 77.1% (n = 148) scored below average on the Chair test. There were no differences by patient sex. By the six-month evaluation 51 (26.6%) study participants reported at least one fall. Females reported a non-significant higher prevalence of falls compared to males (29.7% versus 22.2%, p = 0.24). TUG test had a sensitivity of 70.6% (95% CI: 56.2%-82.5%), a specificity of 28.4% (95% CI: 21.1%-36.6%), a positive predictive (PP) value 26.3% (95% CI: 19.1%-34.5%) and a negative predictive (NP) value of 72.7% (95% CI: 59.0%-83.9%). Similar results were observed with the Chair test. It had a sensitivity of 78.4% (95% CI: 64.7%-88.7%), a specificity of 23.4% (95% CI: 16.7%-31.3%), a PP value 27.0% (95% CI: 20.1%-34.9%) and a NP value of 75.0% (95% CI: 59.7%-86.8%). No significant differences were observed between sexes. CONCLUSIONS: There were no sex specific significant differences in TUG or Chair test screening performance. Neither test performed well as a screening tool for future falls in the elderly in the ED setting

A neurogenetic model for the study of schizophrenia spectrum disorders: The International 22q11.2 Deletion Syndrome Brain Behavior Consortium

Rare copy number variants contribute significantly to the risk for schizophrenia, with the 22q11.2 locus consistently implicated. Individuals with the 22q11.2 deletion syndrome (22q11DS) have an estimated 25-fold increased risk for schizophrenia spectrum disorders, compared to individuals in the general population. The International 22q11DS Brain Behavior Consortium is examining this highly informative neurogenetic syndrome phenotypically and genomically. Here we detail the procedures of the effort to characterize the neuropsychiatric and neurobehavioral phenotypes associated with 22q11DS, focusing on schizophrenia and subthreshold expression of psychosis. The genomic approach includes a combination of whole genome sequencing and genome-wide microarray technologies, allowing the investigation of all possible DNA variation and gene pathways influencing the schizophrenia-relevant phenotypic expression. A phenotypically rich data set provides a psychiatrically well-characterized sample of unprecedented size (n=1,616) that informs the neurobehavioral developmental course of 22q11DS. This combined set of phenotypic and genomic data will enable hypothesis testing to elucidate the mechanisms underlying the pathogenesis of schizophrenia spectrum disorders

Factors Influencing Engagement, Perceived Usefulness and Behavioral Mechanisms Associated with a Text Message Support Program

Introduction Many studies have now demonstrated the efficacy of text messaging in positively changing behaviours. We aimed to identify features and factors that explain the effectiveness of a successful text messaging program in terms of user engagement, perceived usefulness, behavior change and program delivery preferences. Methods Mixed methods qualitative design combining four data sources; (i) analytic data extracted directly from the software system, (ii) participant survey, (iii) focus groups to identify barriers and enablers to implementation and mechanisms of effect and (iv) recruitment screening logs and text message responses to examine engagement. This evaluation was conducted within the TEXT ME trial—a parallel design, single-blind randomized controlled trial (RCT) of 710 patients with coronary heart disease (CHD). Qualitative data were interpreted using inductive thematic analysis. Results 307/352 (87% response rate) of recruited patients with CHD completed the program evaluation survey at six months and 25 participated in a focus group. Factors increasing engagement included (i) ability to save and share messages, (ii) having the support of providers and family, (iii) a feeling of support through participation in the program, (iv) the program being initiated close to the time of a cardiovascular event, (v) personalization of the messages, (vi) opportunity for initial face-to-face contact with a provider and (vii) that program and content was perceived to be from a credible source. Clear themes relating to program delivery were that diet and physical activity messages were most valued, four messages per week was ideal and most participants felt program duration should be provided for at least for six months or longer. Conclusions This study provides context and insight into the factors influencing consumer engagement with a text message program aimed at improving health-related behavior. The study suggests program components that may enhance potential success but will require integration at the development stage to optimize up-scaling

Evolutionary relationships among barley and <i>Arabidopsis</i> core circadian clock and clock-associated genes

The circadian clock regulates a multitude of plant developmental and metabolic processes. In crop species, it contributes significantly to plant performance and productivity and to the adaptation and geographical range over which crops can be grown. To understand the clock in barley and how it relates to the components in the Arabidopsis thaliana clock, we have performed a systematic analysis of core circadian clock and clock-associated genes in barley, Arabidopsis and another eight species including tomato, potato, a range of monocotyledonous species and the moss, Physcomitrella patens. We have identified orthologues and paralogues of Arabidopsis genes which are conserved in all species, monocot/dicot differences, species-specific differences and variation in gene copy number (e.g. gene duplications among the various species). We propose that the common ancestor of barley and Arabidopsis had two-thirds of the key clock components identified in Arabidopsis prior to the separation of the monocot/dicot groups. After this separation, multiple independent gene duplication events took place in both monocot and dicot ancestors. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00239-015-9665-0) contains supplementary material, which is available to authorized users

Microvolt T-wave alternans as a predictor of mortality and severe arrhythmias in patients with left-ventricular dysfunction: a systematic review and meta-analysis

<p>Abstract</p> <p>Background</p> <p>Studies have demonstrated that the use of implantable cardioverter defibrillators (ICDs) is effective for the primary prevention of arrhythmic events but due to imposing costs, there remains a need to identify which patients will derive the greatest benefit. Microvolt T-wave alternans (MTWA) has been proposed to assist in this stratification.</p> <p>Methods</p> <p>We systematically searched the literature using MEDLINE, EMBASE, Current Contents, the Cochrane Library, INAHTA, and the Web of Science to identify all primary prevention randomized controlled trials and prospective cohort studies with at least 12 months of follow-up examining MTWA as a predictor of mortality and severe arrhythmic events in patients with severe left-ventricular dysfunction. The search was limited to full-text English publications between January 1990 and May 2007. The primary outcome was a composite of mortality and severe arrhythmias. Data were synthesized using Bayesian hierarchical models.</p> <p>Results</p> <p>We identified no trials and 8 published cohort studies involving a total of 1,946 patients, including 332 positive, 656 negative, 84 indeterminate, and 874 non-negative (which includes both positive and indeterminate tests) MTWA test results. The risk of mortality or severe arrhythmic events was higher in patients with a positive MTWA compared to a negative test (RR = 2.7, 95% credible interval (CrI) = 1.4, 6.1). Similar results were obtained when comparing non-negative MTWA to a negative test.</p> <p>Conclusion</p> <p>A positive MTWA test predicts mortality or severe arrhythmic events in a population of individuals with severe left ventricular dysfunction. However, the wide credible interval suggests the clinical utility of this test remains incompletely defined, ranging from very modest to substantial. Additional high quality studies are required to better refine the role of MTWA in the decision making process for ICD implantation.</p

Epigenetic change in e-cardherin and COX-2 to predict chronic periodontitis

<p>Abstract</p> <p>Background</p> <p>DNA methylation of certain genes frequently occurs in neoplastic cells. Although the cause remains unknown, many genes have been identified with such atypical methylation in neoplastic cells. The hypermethylation of E-Cadherin and Cyclooxygenase 2 (COX-2) in chronic inflammation such as chronic periodontitis may demonstrate mild lesion/mutation epigenetic level. This study compares the hypermethylation status of E-Cadherin and COX-2 genes which are often found in breast cancer patients with that in chronic periodontitis.</p> <p>Methods</p> <p>Total DNA was extracted from the blood samples of 108 systemically healthy non-periodontitis subjects, and the gingival tissues and blood samples of 110 chronic periodontitis patient as well as neoplastic tissues of 106 breast cancer patients. Methylation-specific PCR for E-Cadherin and COX-2 was performed on these samples and the PCR products were analyzed on 2% agarose gel.</p> <p>Results</p> <p>Hypermethylation of E-Cadherin and COX-2 was observed in 38% and 35% of the breast cancer samples, respectively. In chronic periodontitis patients the detection rate was 25% and 19% respectively, and none was found in the systemically healthy non-periodontitis control subjects. The hypermethylation status was shown to be correlated among the three groups with statistical significance (p < 0.0001). The methylation of CpG islands in E-Cadherin and COX-2 genes in periodontitis patients occurs more frequently in periodontitis patients than in the control subjects, but occurs less frequently than in the breast cancer patients.</p> <p>Conclusions</p> <p>This set of data shows that the epigenetic change in E-Cadherin and Cyclooxygenase-2 is associated with chronic periodontitis. The epigenetic changes presented in chronic inflammation patients might demonstrate an irreversible destruction in the tissues or organs similar to the effects of cancer. Chronic periodontitis to some extent might be associated with DNA hypermethylation which is related to cancer risk factors.</p

SMARTphone-based, early cardiac REHABilitation in patients with acute coronary syndromes [SMART-REHAB Trial]: A randomized controlled trial protocol

© 2016 The Author(s). Background: There are well-documented treatment gaps in secondary prevention of coronary heart disease and no clear guidelines to assist early physical activity after acute coronary syndromes (ACS). Smartphone technology may provide an innovative platform to close these gaps. This paper describes the study design of a randomized controlled trial assessing whether a smartphone-based secondary prevention program can facilitate early physical activity and improve cardiovascular health in patients with ACS. Methods: We have developed a multi-faceted, patient-centred smartphone-based secondary prevention program emphasizing early physical activity with a graduated walking program initiated on discharge from ACS admission. The program incorporates; physical activity tracking through the smartphone's accelerometer with interactive feedback and goal setting; a dynamic dashboard to review and optimize cardiovascular risk factors; educational messages delivered twice weekly; a photographic food diary; pharmacotherapy review; and support through a short message service. The primary endpoint of the trial is change in exercise capacity, as measured by the change in six-minute walk test distance at 8-weeks when compared to baseline. Secondary endpoints include improvements in cardiovascular risk factor status, psychological well-being and quality of life, medication adherence, uptake of cardiac rehabilitation and re-hospitalizations. Discussion: This randomized controlled trial will use a smartphone-phone based secondary prevention program to emphasize early physical activity post-ACS. It will provide evidence regarding the feasibility and utility of this innovative platform in closing the treatment gaps in secondary prevention. Trial registration: The trial was retrospectively registered in the Australian New Zealand Clinical Trials Registry (ANZCTR) on April 4, 2016. The registration number is ACTRN12616000426482

The Pace of Prostatic Intraepithelial Neoplasia Development Is Determined by the Timing of Pten Tumor Suppressor Gene Excision

Loss of the PTEN tumor suppressor is a common occurrence in human prostate cancer, particularly in advanced disease. In keeping with its role as a pivotal upstream regulator of the phosphatidylinositol 3-kinase signaling pathway, experimentally-induced deletion of Pten in the murine prostate invariably results in neoplasia. However, and unlike humans where prostate tumorigenesis likely evolves over decades, disease progression in the constitutively Pten deficient mouse prostate is relatively rapid, culminating in invasive cancer within several weeks post-puberty. Given that the prostate undergoes rapid androgen-dependent growth at puberty, and that Pten excisions during this time might be especially tumorigenic, we hypothesized that delaying prostate-specific Pten deletions until immediately after puberty might alter the pace of tumorigenesis. To this end we generated mice with a tamoxifen-inducible Cre recombinase transgene enabling temporal control over prostate-specific gene alterations. This line was then interbred with mice carrying floxed Pten alleles. Despite evidence of increased Akt/mTOR/S6K axis activity at early time points in Pten-deficient epithelial cells, excisions induced in the post-pubertal (6 wk-old) prostate yielded gradual acquisition of a range of lesions. These progressed from pre-malignant changes (nuclear atypia, focal hyperplasia) and low grade prostatic intraepithelial neoplasia (PIN) at 16–20 wks post-tamoxifen exposure, to overtly malignant lesions by ∼1 yr of age, characterized by high-grade PIN and microinvasive carcinoma. In contrast, when Pten excisions were triggered in the pre-pubertal (2 week-old) prostate, neoplasia evolved over a more abbreviated time-frame, with a spectrum of premalignant lesions, as well as overt PIN and microinvasive carcinoma by 10–12 wks post-tamoxifen exposure. These results indicate that the developmental stage at which Pten deletions are induced dictates the pace of PIN development