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)

Co-Processed Excipients for Dispersible Tablets–Part 1: Manufacturability

Co-processed excipients may enhance functionality and reduce drawbacks of traditional excipients for the manufacture of tablets on a commercial scale. The following study aimed to characterise a range of co-processed excipients that may prove suitable for dispersible tablet formulations prepared by direct compression. Co-processed excipients were lubricated and compressed into 10.5-mm convex tablets using a Phoenix compaction simulator. Compression profiles were generated by varying the compression force applied to the formulation and the prepared tablets were characterised for hardness, friability, disintegration and fineness of dispersion. Our data indicates that CombiLac, F-Melt type C and SmartEx QD100 were the top 3 most suitable out of 16 co-processed excipients under the conditions evaluated. They exhibited good flow properties (Carr’s index ˂ 20), excellent tabletability (tensile strength > 3.0 MPa at 0.85 solid fraction), very low friability (< 1% after 15 min), rapid disintegration times (27–49 s) and produced dispersions of ideal fineness (< 250 μm). Other co-processed excipients (including F-Melt type M, Ludiflash, MicroceLac, Pharmaburst 500 and Avicel HFE-102) may be appropriate for dispersible tablets produced by direct compression providing the identified disintegration and dispersion risks were mitigated prior to commercialisation. This indicates that robust dispersible tablets which disintegrate rapidly could be manufactured from a range of co-processed excipients

Enhanced charge storage of nanometric ζ-V₂O₅ in Mg electrolytes

V2O5 is of interest as a Mg intercalation electrode material for Mg batteries, both in its thermodynamically stable layered polymorph (α-V2O5) and in its metastable tunnel structure (ζ-V2O5). However, such oxide cathodes typically display poor Mg insertion/removal kinetics, with large voltage hysteresis. Herein, we report the synthesis and evaluation of nanosized (ca. 100 nm) ζ-V2O5 in Mg-ion cells, which displays significantly enhanced electrochemical kinetics compared to microsized ζ-V2O5. This effect results in a significant boost in stable discharge capacity (130 mA h g−1) compared to bulk ζ-V2O5 (70 mA h g−1), with reduced voltage hysteresis (1.0 V compared to 1.4 V). This study reveals significant advancements in the use of ζ-V2O5 for Mg-based energy storage and yields a better understanding of the kinetic limiting factors for reversible magnesiation reactions into such phases

Information heat engine: converting information to energy by feedback control

In 1929, Leo Szilard invented a feedback protocol in which a hypothetical intelligence called Maxwell's demon pumps heat from an isothermal environment and transduces it to work. After an intense controversy that lasted over eighty years; it was finally clarified that the demon's role does not contradict the second law of thermodynamics, implying that we can convert information to free energy in principle. Nevertheless, experimental demonstration of this information-to-energy conversion has been elusive. Here, we demonstrate that a nonequilibrium feedback manipulation of a Brownian particle based on information about its location achieves a Szilard-type information-energy conversion. Under real-time feedback control, the particle climbs up a spiral-stairs-like potential exerted by an electric field and obtains free energy larger than the amount of work performed on it. This enables us to verify the generalized Jarzynski equality, or a new fundamental principle of "information-heat engine" which converts information to energy by feedback control.Comment: manuscript including 7 pages and 4 figures and supplementary material including 6 pages and 8 figure

Women's attitudes towards mechanisms of action of family planning methods: survey in primary health centres in Pamplona, Spain

Irala J de, Lopez del Burgo C, Lopez de Fez CM, Arredondo J, Mikolajczyk RT, Stanford JB. Women's attitudes towards mechanisms of action of family planning methods: survey in primary health centres in Pamplona, Spain. BMC Women's Health. 2007;7(1): 10.Background: Informed consent in family planning includes knowledge of mechanism of action. Some methods of family planning occasionally work after fertilization. Knowing about postfertilization effects may be important to some women before choosing a certain family planning method. The objective of this survey is to explore women's attitudes towards postfertilization effects of family planning methods, and beliefs and characteristics possibly associated with those attitudes. Methods: Cross-sectional survey in a sample of 755 potentially fertile women, aged 18–49, from Primary Care Health Centres in Pamplona, Spain. Participants were given a 30-item, self-administered, anonymous questionnaire about family planning methods and medical and surgical abortion. Logistic regression was used to identify variables associated with women's attitudes towards postfertilization effects. Results: The response rate was 80%. The majority of women were married, held an academic degree and had no children. Forty percent of women would not consider using a method that may work after fertilization but before implantation and 57% would not consider using one that may work after implantation. While 35.3% of the sample would stop using a method if they learned that it sometimes works after fertilization, this percentage increased to 56.3% when referring to a method that sometimes works after implantation. Women who believe that human life begins at fertilization and those who consider it is important to distinguish between natural and induced embryo loss were less likely to consider the use of a method with postfertilization effects. Conclusion: Information about potential postfertilization effects of family planning methods may influence women's acceptance and choice of a particular family planning method. Additional studies in other populations are necessary to evaluate whether these beliefs are important to those populations

Positive and negative evaluation of caregiving among three different types of informal care relationships

Based on the caregiver stress model, we examined how care demands, caregiver motivation, coping style and external support are associated with positive evaluation and caregiver burden among spousal, adult child and other types of care relations. Data from a sample of Dutch informal caregivers of 1,685 older persons (55 and older) were analyzed employing multivariate linear regression analyses for each of the care relationship types. Spouses (N = 206) report high positive evaluation and high burden, adult children (N = 1,093) report low positive evaluation, and other caregivers (N = 386) report high positive evaluation and a low burden. Multivariate linear regression analyses showed that motives and external support were important for positive evaluation but the impact varied among types of caregivers, whereas care demands and not asking for help were associated with burden for all types. Only among 'other' caregiver relationships, positive evaluation was negatively associated with burden. It is concluded that results confirm the dual nature of caregiving among spouses and children. The care context and motivation of the different types of caregivers explain their differences in care evaluation. Various interventions for types of caregivers are discussed. © 2013 Springer-Verlag Berlin Heidelberg

Alterations in Mesenteric Lymph Node T Cell Phenotype and Cytokine Secretion are Associated with Changes in Thymocyte Phenotype after LP-BM5 Retrovirus Infection

In this study, mouse MLN cells and thymocytes from advanced stages of LP-BM5 retrovirus infection were studied. A decrease in the percentage of IL-7+ cells and an increase in the percentage of IL-16+ cells in the MLN indicated that secretion of these cytokines was also altered after LP-BM5 infection. The percentage of MLN T cells expressing IL-7 receptors was significantly reduced, while the percentage of MLN T cells expressing TNFR-p75 and of B cells expressing TNFR-p55 increased. Simultaneous analysis of surface markers and cytokine secretion was done in an attempt to understand whether the deregulation of IFN-Υ secretion could be ascribed to a defined cell phenotype, concluding that all T cell subsets studied increased IFN-Υ secretion after retrovirus infection. Finally, thymocyte phenotype was further analyzed trying to correlate changes in thymocyte phenotype with MLN cell phenotype. The results indicated that the increase in single positive either CD4+CD8- or CD4- CD8+ cells was due to accumulation of both immature (CD3- ) and mature (CD3+) single positive thymocytes. Moreover, single positive mature thymocytes presented a phenotype similar to the phenotype previously seen on MLN T cells. In summary, we can conclude that LP-BM5 uses the immune system to reach the thymus where it interferes with the generation of functionally mature T cells, favoring the development of T cells with an abnormal phenotype. These new T cells are activated to secrete several cytokines that in turn will favor retrovirus replication and inhibit any attempt of the immune system to control infection

Co-Processed Excipients for Dispersible Tablets—Part 2: Patient Acceptability

Palatability and patient acceptability are critical attributes of dispersible tablet formulation. Co-processed excipients could provide improved organoleptic profile due to rational choice of excipients and manufacturing techniques. The aim of this study was to identify the most suitable co-processed excipient to use within directly compressible dispersible tablet formulations. Nine excipients, selected based on successful manufacturability, were investigated in a randomised, preference and acceptability testing in 24 healthy adult volunteers. Excipients were classified in order of preference as follows (from most preferred): SmartEx QD100 > F-Melt Type C > F-Melt Type M > MicroceLac > Ludiflash > CombiLac > Pharmaburst 500 > Avicel HFE-102 > Avicel PH-102. Broad differences were identified in terms of acceptability, with SmartEx QD100 being ‘very acceptable’, F-Melt Type C, F-Melt Type M and MicroceLac being ‘acceptable’, Ludiflash, CombiLac and Pharmaburst 500 being ‘neutral’ and Avicel products being ‘very unacceptable’ based on ratings using 5-point hedonic scales. Organoleptic differences were ascribed to different composition and physical properties of excipients, resulting in dissimilar taste and mouth-feel. Excipients with particle size in water larger than 200-250 µm were considered poorly acceptable, which supports the use of this value as a threshold for maximum particle size of dispersible formulation. The most promising co-processed excipients for directly compressible dispersible tablets were successfully identified