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

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

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

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

Ischemic Stroke Caused by Paradoxical Embolism After an Unsuccessful Transcatheter Atrial Septal Defect Closure Procedure: A Word of Caution

Transcatheter device closure of atrial septal defect (ASD) has become a well-accepted alternative to surgical repair. Serious complications of transcatheter ASD closure are rare, but when they occur, devastating consequences may result. Herein, we present the case of a 4-year-old girl who had an ischemic stroke caused by a presumptive paradoxical embolism after an unsuccessful transcatheter ASD procedure and in whom subsequent venous color Doppler showed deep venous thrombosis (DVT) of the right lower extremity. The risk factors that predisposed to paradoxical cerebral embolism and DVT in this patient are discussed, and the literature is reviewed

Uncultivated Microbial Eukaryotic Diversity: A Method to Link ssu rRNA Gene Sequences with Morphology

Protists have traditionally been identified by cultivation and classified taxonomically based on their cellular morphologies and behavior. In the past decade, however, many novel protist taxa have been identified using cultivation independent ssu rRNA sequence surveys. New rRNA “phylotypes” from uncultivated eukaryotes have no connection to the wealth of prior morphological descriptions of protists. To link phylogenetically informative sequences with taxonomically informative morphological descriptions, we demonstrate several methods for combining whole cell rRNA-targeted fluorescent in situ hybridization (FISH) with cytoskeletal or organellar immunostaining. Either eukaryote or ciliate-specific ssu rRNA probes were combined with an anti-α-tubulin antibody or phalloidin, a common actin stain, to define cytoskeletal features of uncultivated protists in several environmental samples. The eukaryote ssu rRNA probe was also combined with Mitotracker® or a hydrogenosomal-specific anti-Hsp70 antibody to localize mitochondria and hydrogenosomes, respectively, in uncultivated protists from different environments. Using rRNA probes in combination with immunostaining, we linked ssu rRNA phylotypes with microtubule structure to describe flagellate and ciliate morphology in three diverse environments, and linked Naegleria spp. to their amoeboid morphology using actin staining in hay infusion samples. We also linked uncultivated ciliates to morphologically similar Colpoda-like ciliates using tubulin immunostaining with a ciliate-specific rRNA probe. Combining rRNA-targeted FISH with cytoskeletal immunostaining or stains targeting specific organelles provides a fast, efficient, high throughput method for linking genetic sequences with morphological features in uncultivated protists. When linked to phylotype, morphological descriptions of protists can both complement and vet the increasing number of sequences from uncultivated protists, including those of novel lineages, identified in diverse environments