Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines

In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, some coverage criteria have been proposed which try to test at least all feature interactions without the necessity to test all products, e.g., all pairs of features (pairwise coverage). In addition, it is desirable to first test products composed by a set of priority features. This problem is known as the Prioritized Pairwise Test Data Generation Problem. In this work we propose two hybrid algorithms using Integer Programming (IP) to generate a prioritized test suite. The first one is based on an integer linear formulation and the second one is based on a integer quadratic (nonlinear) formulation. We compare these techniques with two state-of-the-art algorithms, the Parallel Prioritized Genetic Solver (PPGS) and a greedy algorithm called prioritized-ICPL. Our study reveals that our hybrid nonlinear approach is clearly the best in both, solution quality and computation time. Moreover, the nonlinear variant (the fastest one) is 27 and 42 times faster than PPGS in the two groups of instances analyzed in this work.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Partially funded by the Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2014-57341-R, the University of Málaga, Andalucía Tech and the Spanish Network TIN2015-71841-REDT (SEBASENet)

The first-year growth response to growth hormone treatment predicts the long-term prepubertal growth response in children

<p>Abstract</p> <p>Background</p> <p>Pretreatment auxological variables, such as birth size and parental heights, are important predictors of the growth response to GH treatment. For children with missing pretreatment data, published prediction models cannot be used.</p> <p>The objective was to construct and validate a prediction model for children with missing background data based on the observed first-year growth response to GH. The accuracy and reliability of the model should be comparable with our previously published prediction model relying on pretreatment data. The design used was mathematical curve fitting on observed growth response data from children treated with a GH dose of 33 μg/kg/d.</p> <p>Methods</p> <p>Growth response data from 162 prepubertal children born at term were used to construct the model; the group comprised of 19% girls, 80% GH-deficient and 23% born SGA. For validation, data from 205 other children fulfilling the same inclusion and treatment criteria as the model group were used. The model was also tested on data from children born prematurely, children from other continents and children receiving a GH dose of 67 μg/kg/d.</p> <p>Results</p> <p>The GH response curve was similar for all children, but with an individual amplitude. The curve SD score depends on an individual factor combining the effect of dose and growth, the 'Response Score', and time on treatment, making prediction possible when the first-year growth response is known. The prediction interval (± 2 SD_res) was ± 0.34 SDS for the second treatment year growth response, corresponding to ± 1.2 cm for a 3-year-old child and ± 1.8 cm for a 7-year-old child. For the 1–4-year prediction, the SD_reswas 0.13 SDS/year and for the 1–7-year prediction it was 0.57 SDS (i.e. < 0.1 SDS/year).</p> <p>Conclusion</p> <p>The model based on the observed first-year growth response on GH is valid worldwide for the prediction of up to 7 years of prepubertal growth in children with GHD/ISS, born AGA/SGA and born preterm/term, and can be used as an aid in medical decision making.</p

Haptoglobin Phenotype, Preeclampsia Risk and the Efficacy of Vitamin C and E Supplementation to Prevent Preeclampsia in a Racially Diverse Population

Haptoglobin's (Hp) antioxidant and pro-angiogenic properties differ between the 1-1, 2-1, and 2-2 phenotypes. Hp phenotype affects cardiovascular disease risk and treatment response to antioxidant vitamins in some non-pregnant populations. We previously demonstrated that preeclampsia risk was doubled in white Hp 2-1 women, compared to Hp 1-1 women. Our objectives were to determine whether we could reproduce this finding in a larger cohort, and to determine whether Hp phenotype influences lack of efficacy of antioxidant vitamins in preventing preeclampsia and serious complications of pregnancy-associated hypertension (PAH). This is a secondary analysis of a randomized controlled trial in which 10,154 low-risk women received daily vitamin C and E, or placebo, from 9-16 weeks gestation until delivery. Hp phenotype was determined in the study prediction cohort (n = 2,393) and a case-control cohort (703 cases, 1,406 controls). The primary outcome was severe PAH, or mild or severe PAH with elevated liver enzymes, elevated serum creatinine, thrombocytopenia, eclampsia, fetal growth restriction, medically indicated preterm birth or perinatal death. Preeclampsia was a secondary outcome. Odds ratios were estimated by logistic regression. Sampling weights were used to reduce bias from an overrepresentation of women with preeclampsia or the primary outcome. There was no relationship between Hp phenotype and the primary outcome or preeclampsia in Hispanic, white/other or black women. Vitamin supplementation did not reduce the risk of the primary outcome or preeclampsia in women of any phenotype. Supplementation increased preeclampsia risk (odds ratio 3.30; 95% confidence interval 1.61-6.82, p<0.01) in Hispanic Hp 2-2 women. Hp phenotype does not influence preeclampsia risk, or identify a subset of women who may benefit from vitamin C and E supplementation to prevent preeclampsia

CP violation Beyond the MSSM: Baryogenesis and Electric Dipole Moments

We study electroweak baryogenesis and electric dipole moments in the presence of the two leading-order, non-renormalizable operators in the Higgs sector of the MSSM. Significant qualitative and quantitative differences from MSSM baryogenesis arise due to the presence of new CP-violating phases and to the relaxation of constraints on the supersymmetric spectrum (in particular, both stops can be light). We find: (1) spontaneous baryogenesis, driven by a change in the phase of the Higgs vevs across the bubble wall, becomes possible; (2) the top and stop CP-violating sources can become effective; (3) baryogenesis is viable in larger parts of parameter space, alleviating the well-known fine-tuning associated with MSSM baryogenesis. Nevertheless, electric dipole moments should be measured if experimental sensitivities are improved by about one order of magnitude.Comment: 33 pages, 6 figure

Consumption patterns of sweet drinks in a population of Australian children and adolescents (2003–2008)

<p>Abstract</p> <p>Background</p> <p>Intake of sweet drinks has previously been associated with the development of overweight and obesity among children and adolescents. The present study aimed to assess the consumption pattern of sweet drinks in a population of children and adolescents in Victoria, Australia.</p> <p>Methods</p> <p>Data on 1,604 children and adolescents (4–18 years) from the comparison groups of two quasi-experimental intervention studies from Victoria, Australia were analysed<it>.</it> Sweet drink consumption (soft drink and fruit juice/cordial) was assessed as one day’s intake and typical intake over the last week or month at two time points between 2003 and 2008 (mean time between measurement: 2.2 years).</p> <p>Results</p> <p>Assessed using dietary recalls, more than 70% of the children and adolescents consumed sweet drinks, with no difference between age groups (p = 0.28). The median intake among consumers was 500 ml and almost a third consumed more than 750 ml per day. More children and adolescents consumed fruit juice/cordial (69%) than soft drink (33%) (p < 0.0001) and in larger volumes (median intake fruit juice/cordial: 500 ml and soft drink: 375 ml). Secular changes in sweet drink consumption were observed with a lower proportion of children and adolescents consuming sweet drinks at time 2 compared to time 1 (significant for age group 8 to <10 years, p = 0.001).</p> <p>Conclusion</p> <p>The proportion of Australian children and adolescents from the state of Victoria consuming sweet drinks has been stable or decreasing, although a high proportion of this sample consumed sweet drinks, especially fruit juice/cordial at both time points.</p

6D supergravity without tensor multiplets

We systematically investigate the finite set of possible gauge groups and matter content for N = 1 supergravity theories in six dimensions with no tensor multiplets, focusing on nonabelian gauge groups which are a product of SU(N) factors. We identify a number of models which obey all known low-energy consistency conditions, but which have no known string theory realization. Many of these models contain novel matter representations, suggesting possible new string theory constructions. Many of the most exotic matter structures arise in models which precisely saturate the gravitational anomaly bound on the number of hypermultiplets. Such models have a rigid symmetry structure, in the sense that there are no moduli which leave the full gauge group unbroken.Comment: 31 pages, latex; v2, v3: minor corrections, references adde

NRF2-driven miR-125B1 and miR-29B1 transcriptional regulation controls a novel anti-apoptotic miRNA regulatory network for AML survival

Transcription factor NRF2 is an important regulator of oxidative stress. It is involved in cancer progression, and has abnormal constitutive expression in acute myeloid leukaemia (AML). Posttranscriptional regulation by microRNAs (miRNAs) can affect the malignant phenotype of AML cells. In this study, we identified and characterised NRF2-regulated miRNAs in AML. An miRNA array identified miRNA expression level changes in response to NRF2 knockdown in AML cells. Further analysis of miRNAs concomitantly regulated by knockdown of the NRF2 inhibitor KEAP1 revealed the major candidate NRF2-mediated miRNAs in AML. We identified miR-125B to be upregulated and miR-29B to be downregulated by NRF2 in AML. Subsequent bioinformatic analysis identified putative NRF2 binding sites upstream of the miR-125B1 coding region and downstream of the mir-29B1 coding region. Chromatin immunoprecipitation analyses showed that NRF2 binds to these antioxidant response elements (AREs) located in the 5′ untranslated regions of miR-125B and miR-29B. Finally, primary AML samples transfected with anti-miR-125B antagomiR or miR-29B mimic showed increased cell death responsiveness either alone or co-treated with standard AML chemotherapy. In summary, we find that NRF2 regulation of miR-125B and miR-29B acts to promote leukaemic cell survival, and their manipulation enhances AML responsiveness towards cytotoxic chemotherapeutics

Chiral Generations on Intersecting 5-branes in Heterotic String Theory

We show that there exist two 27 and one 27 bar of E6, net one D=4, N=1 chiral matter supermultiplet as zero modes localized on the intersection of two 5-branes in the E8 x E8 heterotic string theory. The smeared intersecting 5-brane solution is used via the standard embedding to construct a heterotic background, which provides, after a compactification of some of the transverse dimensions, a five-dimensional Randall-Sundrum II like brane-world set-up in heterotic string theory. As a by-product, we present a new proof of anomaly cancellation between those from the chiral matter and the anomaly inflow onto the brane without small instanton.Comment: 26 pages, 5 figures; references added, typo correcte

Models predicting the growth response to growth hormone treatment in short children independent of GH status, birth size and gestational age

<p>Abstract</p> <p>Background</p> <p>Mathematical models can be used to predict individual growth responses to growth hormone (GH) therapy. The aim of this study was to construct and validate high-precision models to predict the growth response to GH treatment of short children, independent of their GH status, birth size and gestational age. As the GH doses are included, these models can be used to individualize treatment.</p> <p>Methods</p> <p>Growth data from 415 short prepubertal children were used to construct models for predicting the growth response during the first years of GH therapy. The performance of the models was validated with data from a separate cohort of 112 children using the same inclusion criteria.</p> <p>Results</p> <p>Using only auxological data, the model had a standard error of the residuals (SD_res), of 0.23 SDS. The model was improved when endocrine data (GH_maxprofile, IGF-I and leptin) collected before starting GH treatment were included. Inclusion of these data resulted in a decrease of the SD_resto 0.15 SDS (corresponding to 1.1 cm in a 3-year-old child and 1.6 cm in a 7-year old). Validation of these models with a separate cohort, showed similar SD_resfor both types of models. Preterm children were not included in the Model group, but predictions for this group were within the expected range.</p> <p>Conclusion</p> <p>These prediction models can with high accuracy be used to identify short children who will benefit from GH treatment. They are clinically useful as they are constructed using data from short children with a broad range of GH secretory status, birth size and gestational age.</p