Evolutionary testing supported by slicing and transformation

Evolutionary testing is a search based approach to the automated generation of systematic test data, in which the search is guided by the test data adequacy criterion. Two problems for evolutionary testing are the large size of the search space and structural impediments in the implementation of the program which inhibit the formulation of a suitable fitness function to guide the search. In this paper we claim that slicing can be used to narrow the search space and transformation can be applied to the problem of structural impediments. The paper presents examples of how these two techniques have been successfully employed to make evolutionary testing both more efficient and more effective

A post-placement side-effect removal algorithm

Side-effects are widely believed to impede program comprehension and have a detrimental effect upon software maintenance. This paper introduces an algorithm for side-effect removal which splits the side-effects into their pure expression meaning and their state-changing meaning. Symbolic execution is used to determine the expression meaning, while transformation is used to place the state-changing part in a suitable location in a transformed version of the program. This creates a program which is semantically equivalent to the original but guaranteed to be free from side-effects. The paper also reports the results of an empirical study which demonstrates that the application of the algorithm causes a significant improvement in program comprehension

Ischemic Colitis Secondary to Ergotamine Use: A Case Study

A 48-year-old woman with a history of chronic migraines, initially admitted for inpatient management of intractable migraine headaches, developed new onset abdominal pain, hypotension, and diarrhea on hospital day number ten. In our institution's headache unit, patients are treated by a multidisciplinary approach, including individualized drug therapy based on diagnosis and previous response to therapy. Given the patient's hypotension and clinical appearance, she was transferred to the intensive care unit and treated for septic shock and metabolic acidosis. A bedside colonscopy revealed diffuse ischemic colitis. Final pathology after colon resection showed widespread, transmural necrosis of the colonic wall. We review the pathophysiology of ergotamine use and its potential association with ischemic colitis

Selectable Nanopattern Arrays for Nanolithographic Imprint and Etch-Mask Applications

A parallel nanolithographic patterning method is presented that can be used to obtain arrays of multifunctional nanoparticles. These patterns can simply be converted into a variety of secondary nanopatterns that are useful for nanolithographic imprint, plasmonic, and etch-mask applications

Type IIn supernovae at z ~ 2 from archival data

Supernovae have been confirmed to redshift z ~ 1.7 for type Ia (thermonuclear detonation of a white dwarf) and to z ~ 0.7 for type II (collapse of the core of the star). The subclass type IIn supernovae are luminous core-collapse explosions of massive stars and, unlike other types, are very bright in the ultraviolet, which should enable them to be found optically at redshifts z ~ 2 and higher. In addition, the interaction of the ejecta with circumstellar material creates strong, long-lived emission lines that allow spectroscopic confirmation of many events of this type at z ~ 2 for 3 - 5 years after explosion. Here we report three spectroscopically confirmed type IIn supernovae, at redshifts z = 0.808, 2.013 and 2.357, detected in archival data using a method designed to exploit these properties at z ~ 2. Type IIn supernovae directly probe the formation of massive stars at high redshift. The number found to date is consistent with the expectations of a locally measured stellar initial mass function, but not with an evolving initial mass function proposed to explain independent observations at low and high redshift.Comment: 8 pages, 2 figures, includes supplementary informatio

A sense of embodiment is reflected in people's signature size

BACKGROUND: The size of a person's signature may reveal implicit information about how the self is perceived although this has not been closely examined. METHODS/RESULTS: We conducted three experiments to test whether increases in signature size can be induced. Specifically, the aim of these experiments was to test whether changes in signature size reflect a person's current implicit sense of embodiment. Experiment 1 showed that an implicit affect task (positive subliminal evaluative conditioning) led to increases in signature size relative to an affectively neutral task, showing that implicit affective cues alter signature size. Experiments 2 and 3 demonstrated increases in signature size following experiential self-focus on sensory and affective stimuli relative to both conceptual self-focus and external (non-self-focus) in both healthy participants and patients with anorexia nervosa, a disorder associated with self-evaluation and a sense of disembodiment. In all three experiments, increases in signature size were unrelated to changes in self-reported mood and larger than manipulation unrelated variations. CONCLUSIONS: Together, these findings suggest that a person's sense of embodiment is reflected in their signature size

Multiple uncontrolled conditions and blood pressure medication intensification: an observational study

Abstract Background Multiple uncontrolled medical conditions may act as competing demands for clinical decision making. We hypothesized that multiple uncontrolled cardiovascular risk factors would decrease blood pressure (BP) medication intensification among uncontrolled hypertensive patients. Methods We observed 946 encounters at two VA primary care clinics from May through August 2006. After each encounter, clinicians recorded BP medication intensification (BP medication was added or titrated). Demographic, clinical, and laboratory information were collected from the medical record. We examined BP medication intensification by presence and control of diabetes and/or hyperlipidemia. 'Uncontrolled' was defined as hemoglobin A1c ≥ for diabetes, BP ≥ 140/90 mmHg (≥ 130/80 mmHg if diabetes present) for hypertension, and low density lipoprotein cholesterol (LDL-c) ≥ 130 mg/dl (≥ 100 mg/dl if diabetes present) for hyperlipidemia. Hierarchical regression models accounted for patient clustering and adjusted medication intensification for age, systolic BP, and number of medications. Results Among 387 patients with uncontrolled hypertension, 51.4% had diabetes (25.3% were uncontrolled) and 73.4% had hyperlipidemia (22.7% were uncontrolled). The BP medication intensification rate was 34.9% overall, but higher in individuals with uncontrolled diabetes and uncontrolled hyperlipidemia: 52.8% overall and 70.6% if systolic BP ≥ 10 mmHg above goal. Intensification rates were lowest if diabetes or hyperlipidemia were controlled, lower than if diabetes or hyperlipidemia were not present. Multivariable adjustment yielded similar results. Conclusions The presence of uncontrolled diabetes and hyperlipidemia was associated with more guideline-concordant hypertension care, particularly if BP was far from goal. Efforts to understand and improve BP medication intensification in patients with controlled diabetes and/or hyperlipidemia are warranted.http://deepblue.lib.umich.edu/bitstream/2027.42/78266/1/1748-5908-5-55.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78266/2/1748-5908-5-55.pdfPeer Reviewe

The conceptualisation and measurement of DSM-5 Internet Gaming Disorder: the development of the IGD-20 Test

Background: Over the last decade, there has been growing concern about ‘gaming addiction’ and its widely documented detrimental impacts on a minority of individuals that play excessively. The latest (fifth) edition of the American Psychiatric Association’s Diagnostic and Statistical Manual of Mental Disorders (DSM-5) included nine criteria for the potential diagnosis of Internet Gaming Disorder (IGD) and noted that it was a condition that warranted further empirical study. Aim: The main aim of this study was to develop a valid and reliable standardised psychometrically robust tool in addition to providing empirically supported cut-off points. Methods: A sample of 1003 gamers (85.2% males; mean age 26 years) from 57 different countries were recruited via online gaming forums. Validity was assessed by confirmatory factor analysis (CFA), criterion-related validity, and concurrent validity. Latent profile analysis was also carried to distinguish disordered gamers from non-disordered gamers. Sensitivity and specificity analyses were performed to determine an empirical cut-off for the test. Results: The CFA confirmed the viability of IGD-20 Test with a six-factor structure (salience, mood modification, tolerance, withdrawal, conflict and relapse) for the assessment of IGD according to the nine criteria from DSM-5. The IGD-20 Test proved to be valid and reliable. According to the latent profile analysis, 5.3% of the total participants were classed as disordered gamers. Additionally, an optimal empirical cut-off of 71 points (out of 100) seemed to be adequate according to the sensitivity and specificity analyses carried

Combined Inflammatory and Metabolic Defects Reflected by Reduced Serum Protein Levels in Patients with Buruli Ulcer Disease

Buruli ulcer is a skin disease caused by Mycobacterium ulcerans that is spreading in tropical countries, with major public health and economic implications in West Africa. Multi-analyte profiling of serum proteins in patients and endemic controls revealed that Buruli ulcer disease down-regulates the circulating levels of a large array of inflammatory mediators, without impacting on the leukocyte composition of peripheral blood. Notably, several proteins contributing to acute phase reaction, lipid metabolism, coagulation and tissue remodelling were also impacted. Their down-regulation was selective and persisted after the elimination of bacteria with antibiotic therapy. It involved proteins with various functions and origins, suggesting that M. ulcerans infection causes global and chronic defects in the host’s protein metabolism. Accordingly, patients had reduced levels of total serum proteins and blood urea, in the absence of signs of malnutrition, or functional failure of liver or kidney. Interestingly, slow healers had deeper metabolic and coagulation defects at the start of antibiotic therapy. In addition to providing novel insight into Buruli ulcer pathogenesis, our study therefore identifies a unique proteomic signature for this disease