Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.Comment: 17 pages, published at ISOLA 201

Impact of Renal Impairment on Beta-Blocker Efficacy in Patients With Heart Failure.

BACKGROUND: Moderate and moderately severe renal impairment are common in patients with heart failure and reduced ejection fraction, but whether beta-blockers are effective is unclear, leading to underuse of life-saving therapy. OBJECTIVES: This study sought to investigate patient prognosis and the efficacy of beta-blockers according to renal function using estimated glomerular filtration rate (eGFR). METHODS: Analysis of 16,740 individual patients with left ventricular ejection fraction <50% from 10 double-blind, placebo-controlled trials was performed. The authors report all-cause mortality on an intention-to-treat basis, adjusted for baseline covariates and stratified by heart rhythm. RESULTS: Median eGFR at baseline was 63 (interquartile range: 50 to 77) ml/min/1.73 m2; 4,584 patients (27.4%) had eGFR 45 to 59 ml/min/1.73 m2, and 2,286 (13.7%) 30 to 44 ml/min/1.73 m2. Over a median follow-up of 1.3 years, eGFR was independently associated with mortality, with a 12% higher risk of death for every 10 ml/min/1.73 m2 lower eGFR (95% confidence interval [CI]: 10% to 15%; p < 0.001). In 13,861 patients in sinus rhythm, beta-blockers reduced mortality versus placebo; adjusted hazard ratio (HR): 0.73 for eGFR 45 to 59 ml/min/1.73 m2 (95% CI: 0.62 to 0.86; p < 0.001) and 0.71 for eGFR 30 to 44 ml/min/1.73 m2 (95% CI: 0.58 to 0.87; p = 0.001). The authors observed no deterioration in renal function over time in patients with moderate or moderately severe renal impairment, no difference in adverse events comparing beta-blockers with placebo, and higher mortality in patients with worsening renal function on follow-up. Due to exclusion criteria, there were insufficient patients with severe renal dysfunction (eGFR <30 ml/min/1.73 m2) to draw conclusions. In 2,879 patients with atrial fibrillation, there was no reduction in mortality with beta-blockers at any level of eGFR. CONCLUSIONS: Patients with heart failure, left ventricular ejection fraction <50% and sinus rhythm should receive beta-blocker therapy even with moderate or moderately severe renal dysfunction

Expanding Aquatic Observations through Recreation

Accurate observations of the Earth system are required to understand how our planet is changing and to help manage its resources. The aquatic environment—including lakes, rivers, wetlands, estuaries, coastal and open oceans—is a fundamental component of the Earth system controlling key physical, biological, and chemical processes that allow life to flourish. Yet, this environment is critically undersampled in both time and space. New and cost-effective sampling solutions are urgently needed. Here, we highlight the potential to improve aquatic sampling by tapping into recreation. We draw attention to the vast number of participants that engage in aquatic recreational activities and argue, based on current technological developments and recent research, that the time is right to employ recreational citizens to improve large-scale aquatic sampling efforts. We discuss the challenges that need to be addressed for this strategy to be successful (e.g., sensor integration, data quality, and citizen motivation), the steps needed to realize its potential, and additional societal benefits that arise when engaging citizens in scientific sampling

Quasi-Normal Modes of Stars and Black Holes

Perturbations of stars and black holes have been one of the main topics of relativistic astrophysics for the last few decades. They are of particular importance today, because of their relevance to gravitational wave astronomy. In this review we present the theory of quasi-normal modes of compact objects from both the mathematical and astrophysical points of view. The discussion includes perturbations of black holes (Schwarzschild, Reissner-Nordstr\"om, Kerr and Kerr-Newman) and relativistic stars (non-rotating and slowly-rotating). The properties of the various families of quasi-normal modes are described, and numerical techniques for calculating quasi-normal modes reviewed. The successes, as well as the limits, of perturbation theory are presented, and its role in the emerging era of numerical relativity and supercomputers is discussed.Comment: 74 pages, 7 figures, Review article for "Living Reviews in Relativity

Extinction times in the subcritical stochastic SIS logistic epidemic

Many real epidemics of an infectious disease are not straightforwardly super- or sub-critical, and the understanding of epidemic models that exhibit such complexity has been identified as a priority for theoretical work. We provide insights into the near-critical regime by considering the stochastic SIS logistic epidemic, a well-known birth-and-death chain used to model the spread of an epidemic within a population of a given size $N$. We study the behaviour of the process as the population size $N$ tends to infinity. Our results cover the entire subcritical regime, including the "barely subcritical" regime, where the recovery rate exceeds the infection rate by an amount that tends to 0 as $N \to \infty$ but more slowly than $N^{-1/2}$. We derive precise asymptotics for the distribution of the extinction time and the total number of cases throughout the subcritical regime, give a detailed description of the course of the epidemic, and compare to numerical results for a range of parameter values. We hypothesise that features of the course of the epidemic will be seen in a wide class of other epidemic models, and we use real data to provide some tentative and preliminary support for this theory.Comment: Revised; 34 pages; 6 figure

Valuation of marine plastic pollution in the European Arctic: Applying an integrated choice and latent variable model to contingent valuation

Despite its remoteness, marine plastic pollution is a significant environmental problem in the Arctic. In Svalbard, for example, plastics are found on the shorelines, in the water column, on the ocean floor and in the ice. Organisms have been observed to be entangled in nets and ingestion of plastics has been documented in a range of organisms. Notably almost all Arctic bird species have been found to have ingested plastic, with Northern fulmars being particularly affected, with 89 % of samples recorded as having ingested plastic. Identification and valuation of ecosystem services affected by marine plastic pollution can provide input for decision makers in evaluating and comparing management policies concerning this unique environment. This study employs the contingent valuation method (CVM) for eliciting the willingness to pay (WTP) of Norwegian households for reducing marine plastic pollution around the archipelago of Svalbard. An Integrated Choice and Latent Variable model (ICLV) is employed to explore attitudinal determinants of WTP. We find an average WTP for an initiative to reduce marine plastics of NOK 5,485 (USD 642) per household per year. The ICLV results reveal that people who are relatively more concerned about marine plastic pollution and who deem the proposed initiative effective are willing to pay more (up to 85 % and 50 %, respectively). The use of ICLV models in CVM and recommendations for future research are discussed

Time separation as a hidden variable to the Copenhagen school of quantum mechanics

The Bohr radius is a space-like separation between the proton and electron in the hydrogen atom. According to the Copenhagen school of quantum mechanics, the proton is sitting in the absolute Lorentz frame. If this hydrogen atom is observed from a different Lorentz frame, there is a time-like separation linearly mixed with the Bohr radius. Indeed, the time-separation is one of the essential variables in high-energy hadronic physics where the hadron is a bound state of the quarks, while thoroughly hidden in the present form of quantum mechanics. It will be concluded that this variable is hidden in Feynman's rest of the universe. It is noted first that Feynman's Lorentz-invariant differential equation for the bound-state quarks has a set of solutions which describe all essential features of hadronic physics. These solutions explicitly depend on the time separation between the quarks. This set also forms the mathematical basis for two-mode squeezed states in quantum optics, where both photons are observable, but one of them can be treated a variable hidden in the rest of the universe. The physics of this two-mode state can then be translated into the time-separation variable in the quark model. As in the case of the un-observed photon, the hidden time-separation variable manifests itself as an increase in entropy and uncertainty.Comment: LaTex 10 pages with 5 figure. Invited paper presented at the Conference on Advances in Quantum Theory (Vaxjo, Sweden, June 2010), to be published in one of the AIP Conference Proceedings serie

The impact of land use/land cover scale on modelling urban ecosystem services

Context Urbanisation places increasing stress on ecosystem services; however existing methods and data for testing relationships between service delivery and urban landscapes remain imprecise and uncertain. Unknown impacts of scale are among several factors that complicate research. This study models ecosystem services in the urban area comprising the towns of Milton Keynes, Bedford and Luton which together represent a wide range of the urban forms present in the UK. Objectives The objectives of this study were to test (1) the sensitivity of ecosystem service model outputs to the spatial resolution of input data, and (2) whether any resultant scale dependency is constant across different ecosystem services and model approaches (e.g. stock- versus flow-based). Methods Carbon storage, sediment erosion, and pollination were modelled with the InVEST framework using input data representative of common coarse (25 m) and fine (5 m) spatial resolutions. Results Fine scale analysis generated higher estimates of total carbon storage (9.32 vs. 7.17 kg m−2) and much lower potential sediment erosion estimates (6.4 vs. 18.1 Mg km−2 year−1) than analyses conducted at coarser resolutions; however coarse-scale analysis estimated more abundant pollination service provision. Conclusions Scale sensitivities depend on the type of service being modelled; stock estimates (e.g. carbon storage) are most sensitive to aggregation across scales, dynamic flow models (e.g. sediment erosion) are most sensitive to spatial resolution, and ecological process models involving both stocks and dynamics (e.g. pollination) are sensitive to both. Care must be taken to select model data appropriate to the scale of inquiry

Pre- and early-postnatal nutrition modify gene and protein expressions of muscle energy metabolism markers and phospholipid fatty acid composition in a muscle type specific manner in sheep.

We previously reported that undernutrition in late fetal life reduced whole-body insulin sensitivity in adult sheep, irrespective of dietary exposure in early postnatal life. Skeletal muscle may play an important role in control of insulin action. We therefore studied a range of putative key muscle determinants of insulin signalling in two types of skeletal muscles (longissimus dorsi (LD) and biceps femoris (BF)) and in the cardiac muscle (ventriculus sinister cordis (VSC)) of sheep from the same experiment. Twin-bearing ewes were fed either 100% (NORM) or 50% (LOW) of their energy and protein requirements during the last trimester of gestation. From day-3 postpartum to 6-months of age (around puberty), twin offspring received a high-carbohydrate-high-fat (HCHF) or a moderate-conventional (CONV) diet, whereafter all males were slaughtered. Females were subsequently raised on a moderate diet and slaughtered at 2-years of age (young adults). The only long-term consequences of fetal undernutrition observed in adult offspring were lower expressions of the insulin responsive glucose transporter 4 (GLUT4) protein and peroxisome proliferator-activated receptor gamma, coactivator 1α (PGC1α) mRNA in BF, but increased PGC1α expression in VSC. Interestingly, the HCHF diet in early postnatal life was associated with somewhat paradoxically increased expressions in LD of a range of genes (but not proteins) related to glucose uptake, insulin signalling and fatty acid oxidation. Except for fatty acid oxidation genes, these changes persisted into adulthood. No persistent expression changes were observed in BF and VSC. The HCHF diet increased phospholipid ratios of n-6/n-3 polyunsaturated fatty acids in all muscles, even in adults fed identical diets for 1½ years. In conclusion, early postnatal, but not late gestation, nutrition had long-term consequences for a number of determinants of insulin action and metabolism in LD. Tissues other than muscle may account for reduced whole body insulin sensitivity in adult LOW sheep

Bladder inflammatory transcriptome in response to tachykinins: Neurokinin 1 receptor-dependent genes and transcription regulatory elements

Background Tachykinins (TK), such as substance P, and their neurokinin receptors which are ubiquitously expressed in the human urinary tract, represent an endogenous system regulating bladder inflammatory, immune responses, and visceral hypersensitivity. Increasing evidence correlates alterations in the TK system with urinary tract diseases such as neurogenic bladders, outflow obstruction, idiopathic detrusor instability, and interstitial cystitis. However, despite promising effects in animal models, there seems to be no published clinical study showing that NK-receptor antagonists are an effective treatment of pain in general or urinary tract disorders, such as detrusor overactivity. In order to search for therapeutic targets that could block the tachykinin system, we set forth to determine the regulatory network downstream of NK1 receptor activation. First, NK1R-dependent transcripts were determined and used to query known databases for their respective transcription regulatory elements (TREs). Methods: An expression analysis was performed using urinary bladders isolated from sensitized wild type (WT) and NK1R-/- mice that were stimulated with saline, LPS, or antigen to provoke inflammation. Based on cDNA array results, NK1R-dependent genes were selected. PAINT software was used to query TRANSFAC database and to retrieve upstream TREs that were confirmed by electrophoretic mobility shift assays. Results: The regulatory network of TREs driving NK1R-dependent genes presented cRel in a central position driving 22% of all genes, followed by AP-1, NF-kappaB, v-Myb, CRE-BP1/c-Jun, USF, Pax-6, Efr-1, Egr-3, and AREB6. A comparison between NK1R-dependent and NK1R-independent genes revealed Nkx-2.5 as a unique discriminator. In the presence of NK1R, Nkx2-5 _01 was significantly correlated with 36 transcripts which included several candidates for mediating bladder development (FGF) and inflammation (PAR-3, IL-1R, IL-6, α-NGF, TSP2). In the absence of NK1R, the matrix Nkx2-5_02 had a predominant participation driving 8 transcripts, which includes those involved in cancer (EYA1, Trail, HSF1, and ELK-1), smooth-to-skeletal muscle trans-differentiation, and Z01, a tight-junction protein, expression. Electrophoretic mobility shift assays confirmed that, in the mouse urinary bladder, activation of NK1R by substance P (SP) induces both NKx-2.5 and NF-kappaB translocations. Conclusion: This is the first report describing a role for Nkx2.5 in the urinary tract. As Nkx2.5 is the unique discriminator of NK1R-modulated inflammation, it can be imagined that in the near future, new based therapies selective for controlling Nkx2.5 activity in the urinary tract may be used in the treatment in a number of bladder disorders