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)

A database of microRNA expression patterns in Xenopus laevis

MicroRNAs (miRNAs) are short, non-coding RNAs around 22 nucleotides long. They inhibit gene expression either by translational repression or by causing the degradation of the mRNAs they bind to. Many are highly conserved amongst diverse organisms and have restricted spatio-temporal expression patterns during embryonic development where they are thought to be involved in generating accuracy of developmental timing and in supporting cell fate decisions and tissue identity. We determined the expression patterns of 180 miRNAs in Xenopus laevis embryos using LNA oligonucleotides. In addition we carried out small RNA-seq on different stages of early Xenopus development, identified 44 miRNAs belonging to 29 new families and characterized the expression of 5 of these. Our analyses identified miRNA expression in many organs of the developing embryo. In particular a large number were expressed in neural tissue and in the somites. Surprisingly none of the miRNAs we have looked at show expression in the heart. Our results have been made freely available as a resource in both XenMARK and Xenbase

Predicting Distribution of Aedes Aegypti and Culex Pipiens Complex, Potential Vectors of Rift Valley Fever Virus in Relation to Disease Epidemics in East Africa.

The East African region has experienced several Rift Valley fever (RVF) outbreaks since the 1930s. The objective of this study was to identify distributions of potential disease vectors in relation to disease epidemics. Understanding disease vector potential distributions is a major concern for disease transmission dynamics. DIVERSE ECOLOGICAL NICHE MODELLING TECHNIQUES HAVE BEEN DEVELOPED FOR THIS PURPOSE: we present a maximum entropy (Maxent) approach for estimating distributions of potential RVF vectors in un-sampled areas in East Africa. We modelled the distribution of two species of mosquitoes (Aedes aegypti and Culex pipiens complex) responsible for potential maintenance and amplification of the virus, respectively. Predicted distributions of environmentally suitable areas in East Africa were based on the presence-only occurrence data derived from our entomological study in Ngorongoro District in northern Tanzania. Our model predicted potential suitable areas with high success rates of 90.9% for A. aegypti and 91.6% for C. pipiens complex. Model performance was statistically significantly better than random for both species. Most suitable sites for the two vectors were predicted in central and northwestern Tanzania with previous disease epidemics. Other important risk areas include western Lake Victoria, northern parts of Lake Malawi, and the Rift Valley region of Kenya. Findings from this study show distributions of vectors had biological and epidemiological significance in relation to disease outbreak hotspots, and hence provide guidance for the selection of sampling areas for RVF vectors during inter-epidemic periods

Interplay between pleiotropy and secondary selection determines rise and fall of mutators in stress response

Dramatic rise of mutators has been found to accompany adaptation of bacteria in response to many kinds of stress. Two views on the evolutionary origin of this phenomenon emerged: the pleiotropic hypothesis positing that it is a byproduct of environmental stress or other specific stress response mechanisms and the second order selection which states that mutators hitchhike to fixation with unrelated beneficial alleles. Conventional population genetics models could not fully resolve this controversy because they are based on certain assumptions about fitness landscape. Here we address this problem using a microscopic multiscale model, which couples physically realistic molecular descriptions of proteins and their interactions with population genetics of carrier organisms without assuming any a priori fitness landscape. We found that both pleiotropy and second order selection play a crucial role at different stages of adaptation: the supply of mutators is provided through destabilization of error correction complexes or fluctuations of production levels of prototypic mismatch repair proteins (pleiotropic effects), while rise and fixation of mutators occur when there is a sufficient supply of beneficial mutations in replication-controlling genes. This general mechanism assures a robust and reliable adaptation of organisms to unforeseen challenges. This study highlights physical principles underlying physical biological mechanisms of stress response and adaptation

Cytokine Production but Lack of Proliferation in Peripheral Blood Mononuclear Cells from Chronic Chagas' Disease Cardiomyopathy Patients in Response to T. cruzi Ribosomal P Proteins

Background:Trypanosoma cruzi ribosomal P proteins, P2β and P0, induce high levels of antibodies in patients with chronic Chagas' disease Cardiomyopathy (CCC). It is well known that these antibodies alter the beating rate of cardiomyocytes and provoke apoptosis by their interaction with β1-adrenergic and M2-muscarinic cardiac receptors. Based on these findings, we decided to study the cellular immune response to these proteins in CCC patients compared to non-infected individuals.Methodology/Principal findings:We evaluated proliferation, presence of surface activation markers and cytokine production in peripheral blood mononuclear cells (PBMC) stimulated with P2β, the C-terminal portion of P0 (CP0) proteins and T. cruzi lysate from CCC patients predominantly infected with TcVI lineage. PBMC from CCC patients cultured with P2β or CP0 proteins, failed to proliferate and express CD25 and HLA-DR on T cell populations. However, multiplex cytokine assays showed that these antigens triggered higher secretion of IL-10, TNF-α and GM-CSF by PBMC as well as both CD4+ and CD8+ T cells subsets of CCC subjects. Upon T. cruzi lysate stimulation, PBMC from CCC patients not only proliferated but also became activated within the context of Th1 response. Interestingly, T. cruzi lysate was also able to induce the secretion of GM-CSF by CD4+ or CD8+ T cells.Conclusions/Significance:Our results showed that although the lack of PBMC proliferation in CCC patients in response to ribosomal P proteins, the detection of IL-10, TNF-α and GM-CSF suggests that specific T cells could have both immunoregulatory and pro-inflammatory potential, which might modulate the immune response in Chagas' disease. Furthermore, it was possible to demonstrate for the first time that GM-CSF was produced by PBMC of CCC patients in response not only to recombinant ribosomal P proteins but also to parasite lysate, suggesting the value of this cytokine to evaluate T cells responses in T. cruzi infection.Fil: Longhi, Silvia Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Atienza, Augusto. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Ramos Mejía"; ArgentinaFil: Perez Prados, Graciela. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Juan A. Fernández"; ArgentinaFil: Buying, Alcinette. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Balouz, Virginia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Biotecnológicas. Universidad Nacional de San Martín. Instituto de Investigaciones Biotecnológicas; ArgentinaFil: Buscaglia, Carlos Andres. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Biotecnológicas. Universidad Nacional de San Martín. Instituto de Investigaciones Biotecnológicas; ArgentinaFil: Santos, Radleigh. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Tasso, Laura Mónica. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; ArgentinaFil: Bonato, Ricardo. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Ramos Mejía"; ArgentinaFil: Chiale, Pablo. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Ramos Mejía"; ArgentinaFil: Pinilla, Clemencia. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Judkowski, Valeria A.. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Gomez, Karina Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; Argentin

New Constraints (and Motivations) for Abelian Gauge Bosons in the MeV-TeV Mass Range

We survey the phenomenological constraints on abelian gauge bosons having masses in the MeV to multi-GeV mass range (using precision electroweak measurements, neutrino-electron and neutrino-nucleon scattering, electron and muon anomalous magnetic moments, upsilon decay, beam dump experiments, atomic parity violation, low-energy neutron scattering and primordial nucleosynthesis). We compute their implications for the three parameters that in general describe the low-energy properties of such bosons: their mass and their two possible types of dimensionless couplings (direct couplings to ordinary fermions and kinetic mixing with Standard Model hypercharge). We argue that gauge bosons with very small couplings to ordinary fermions in this mass range are natural in string compactifications and are likely to be generic in theories for which the gravity scale is systematically smaller than the Planck mass - such as in extra-dimensional models - because of the necessity to suppress proton decay. Furthermore, because its couplings are weak, in the low-energy theory relevant to experiments at and below TeV scales the charge gauged by the new boson can appear to be broken, both by classical effects and by anomalies. In particular, if the new gauge charge appears to be anomalous, anomaly cancellation does not also require the introduction of new light fermions in the low-energy theory. Furthermore, the charge can appear to be conserved in the low-energy theory, despite the corresponding gauge boson having a mass. Our results reduce to those of other authors in the special cases where there is no kinetic mixing or there is no direct coupling to ordinary fermions, such as for recently proposed dark-matter scenarios.Comment: 49 pages + appendix, 21 figures. This is the final version which appears in JHE

Analytic philosophy for biomedical research: the imperative of applying yesterday's timeless messages to today's impasses

The mantra that "the best way to predict the future is to invent it" (attributed to the computer scientist Alan Kay) exemplifies some of the expectations from the technical and innovative sides of biomedical research at present. However, for technical advancements to make real impacts both on patient health and genuine scientific understanding, quite a number of lingering challenges facing the entire spectrum from protein biology all the way to randomized controlled trials should start to be overcome. The proposal in this chapter is that philosophy is essential in this process. By reviewing select examples from the history of science and philosophy, disciplines which were indistinguishable until the mid-nineteenth century, I argue that progress toward the many impasses in biomedicine can be achieved by emphasizing theoretical work (in the true sense of the word 'theory') as a vital foundation for experimental biology. Furthermore, a philosophical biology program that could provide a framework for theoretical investigations is outlined

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

Inflation and dark matter in two Higgs doublet models

We consider the Higgs inflation in the extension of the Standard Model with two Higgs doublets coupled to gravity non-minimally. In the presence of an approximate global U(1) symmetry in the Higgs sector, both radial and angular modes of neutral Higgs bosons drive inflation where large non-Gaussianity is possible from appropriate initial conditions on the angular mode. We also discuss the case with single-field inflation for which the U(1) symmetry is broken to a Z_2 subgroup. We show that inflationary constraints, perturbativity and stability conditions restrict the parameter space of the Higgs quartic couplings at low energy in both multi- and single-field cases. Focusing on the inert doublet models where Z_2 symmetry remains unbroken at low energy, we show that the extra neutral Higgs boson can be a dark matter candidate consistent with the inflationary constraints. The doublet dark matter is always heavy in multi-field inflation while it can be light due to the suppression of the co-annihilation in single-field inflation. The implication of the extra quartic couplings on the vacuum stability bound is also discussed in the light of the recent LHC limits on the Higgs mass.Comment: (v1) 28 pages, 8 figures; (v2) 29 pages, a new subsection 3.3 added, references added and typos corrected, to appear in Journal of High Energy Physic

The anomalous U(1) global symmetry and flavors from an SU(5) x SU(5)′' GUT in Z12−IZ_{12-I} orbifold compactification

In string compactifications, frequently there appears the anomalous U(1) gauge symmetry which belonged to E8$\times$E8 of the heterotic string. This anomalous U(1) gauge boson obtains mass at the compactification scale, just below $10^{18\,}$GeV, by absorbing one pseudoscalar (corresponding to the model-independent axion) from the second rank anti-symmetric tensor field $B_{MN}$. Below the compactification scale, there results a global symmetry U(1)$_{\rm anom}$ whose charge $Q_{\rm anom}$ is the original gauge U(1) charge. This is the most natural global symmetry, realizing the "invisible" axion. This global symmetry U(1)$_{\rm anom}$ is suitable for a flavor symmetry. In the simplest compactification model with the flipped SU(5) grand unification, we calculate all the low energy parameters in terms of the vacuum expectation values of the standard model singlets.Comment: 18 pages, 4 figur