Evaluating and comparing fault-based testing strategies for general Boolean specifications: A series of experiments

A great amount of fault-based testing strategies have been proposed to generate test cases for detecting certain types of faults in Boolean specifications. However, most of the previous studies on these strategies were focused on the Boolean expressions in the disjunctive normal form (DNF), even the irredundant DNF (IDNF)-little work has been conducted to comprehensively investigate their performance on general Boolean specifications. In this study, we conducted a series of experiments to evaluate and compare 18 fault-based testing strategies using over 4000 randomly generated fault-seeded Boolean expressions. In the experiments, a testing strategy is regarded as effective and efficient if it can detect most of the seeded faults using a small number of test cases. Our experimental results show that if a testing strategy is highly effective and efficient when testing the Boolean expressions in the IDNF, it also shows high effectiveness and efficiency on general Boolean expressions. It is found that one family of fault-based testing strategies, namely MUMCUT, normally deliver the best performance among all the 18 strategies. Our study provides an in-depth understanding and insight of fault-based testing for general Boolean expressions

Cryptic sympatric species across the Australian range of the global estuarine invader Ficopomatus enigmaticus (Fauvel, 1923) (Serpulidae, Annelida)

Ficopomatus enigmaticus (Fauvel, 1923) is a reef-building serpulid polychaete that has invaded estuaries worldwide, causing environmental and economic harm. Although Australia has long been suggested as a place of origin for the species, this remains unclear. We tested for genetic patterns across the range of F. enigmaticus in southern Australia, predicting that if the species is an Australian native, it would show evidence of (east-west) phylogeographic patterns often observed in native marine species in southern Australia. Unexpectedly, concordant patterns from mitochondrial (Cyt B) sequencing and nuclear marker (iSSR) profiles suggested the presence of at least three genetic groups (putative species), not distributed simply as “east” or “west”. Two common (and closely related) groups were present across Australia and were often found together in the same aggregations. A third group was only found in southeast Australia and was morphologically similar to F. uschakovi (Pillai, 1960), a species previously reported from tropical areas. The discovery of multiple cryptic species with overlapping ranges means that more work is needed to resolve whether any of the F. enigmaticus sensu lato group has an Australian origin and to determine how they are related to invasive populations of F. enigmaticus elsewhere

New trends for metal complexes with anticancer activity

Medicinal inorganic chemistry can exploit the unique properties of metal ions for the design of new drugs. This has, for instance, led to the clinical application of chemotherapeutic agents for cancer treatment, such as cisplatin. The use of cisplatin is, however, severely limited by its toxic side-effects. This has spurred chemists to employ different strategies in the development of new metal-based anticancer agents with different mechanisms of action. Recent trends in the field are discussed in this review. These include the more selective delivery and/or activation of cisplatin-related prodrugs and the discovery of new non-covalent interactions with the classical target, DNA. The use of the metal as scaffold rather than reactive centre and the departure from the cisplatin paradigm of activity towards a more targeted, cancer cell-specific approach, a major trend, are discussed as well. All this, together with the observation that some of the new drugs are organometallic complexes, illustrates that exciting times lie ahead for those interested in ‘metals in medicine

Phonon-assisted radiofrequency absorption by gold nanoparticles resulting in hyperthermia

It is suggested that in gold nanoparticles (GNPs) of about 5 nm sizes used in the radiofrequency (RF) hyperthermia, an absorption of the RF photon by the Fermi electron occurs with involvement of the longitudinal acoustic vibrational mode (LAVM), the dominating one in the distribution of vibrational density of states (VDOS). This physical mechanism helps to explain two observed phenomena: the size dependence of the heating rate (HR) in GNPs and reduced heat production in aggregated GNPs. The argumentation proceeds within the one-electron approximation, taking into account the discretenesses of energies and momenta of both electrons and LAVMs. The heating of GNPs is thought to consist of two consecutive processes: first, the Fermi electron absorbs simultaneously the RF photon and the LAVM available in the GNP; hereafter the excited electron gets relaxed within the GNP's boundary, exciting a LAVM with the energy higher than that of the previously absorbed LAVM. GNPs containing the Ta and/or Fe impurities are proposed for the RF hyperthermia as promising heaters with enhanced HRs, and GNPs with rare-earth impurity atoms are also brought into consideration. It is shown why the maximum HR values should be expected in GNPs with about 5-7 nm size.Comment: proceedings at the NATO Advanced Research workshop FANEM-2015 (Minsk, May 25-27, 2015). To be published in the final form in: "Fundamental and Applied NanoElectroMagnetics" (Springer Science + Business Media B.V.

Validation of the SCID-hu Thy/Liv mouse model with four classes of licensed antiretrovirals.

BackgroundThe SCID-hu Thy/Liv mouse model of HIV-1 infection is a useful platform for the preclinical evaluation of antiviral efficacy in vivo. We performed this study to validate the model with representatives of all four classes of licensed antiretrovirals.Methodology/principal findingsEndpoint analyses for quantification of Thy/Liv implant viral load included ELISA for cell-associated p24, branched DNA assay for HIV-1 RNA, and detection of infected thymocytes by intracellular staining for Gag-p24. Antiviral protection from HIV-1-mediated thymocyte depletion was assessed by multicolor flow cytometric analysis of thymocyte subpopulations based on surface expression of CD3, CD4, and CD8. These mice can be productively infected with molecular clones of HIV-1 (e.g., the X4 clone NL4-3) as well as with primary R5 and R5X4 isolates. To determine whether results in this model are concordant with those found in humans, we performed direct comparisons of two drugs in the same class, each of which has known potency and dosing levels in humans. Here we show that second-generation antiretrovirals were, as expected, more potent than their first-generation predecessors: emtricitabine was more potent than lamivudine, efavirenz was more potent than nevirapine, and atazanavir was more potent than indinavir. After interspecies pharmacodynamic scaling, the dose ranges found to inhibit viral replication in the SCID-hu Thy/Liv mouse were similar to those used in humans. Moreover, HIV-1 replication in these mice was genetically stable; treatment of the mice with lamivudine did not result in the M184V substitution in reverse transcriptase, and the multidrug-resistant NY index case HIV-1 retained its drug-resistance substitutions.ConclusionGiven the fidelity of such comparisons, we conclude that this highly reproducible mouse model is likely to predict clinical antiviral efficacy in humans

Agent based modelling helps in understanding the rules by which fibroblasts support keratinocyte colony formation

Background: Autologous keratincoytes are routinely expanded using irradiated mouse fibroblasts and bovine serum for clinical use. With growing concerns about the safety of these xenobiotic materials, it is desirable to culture keratinocytes in media without animal derived products. An improved understanding of epithelial/mesenchymal interactions could assist in this. Methodology/Principal Findings: A keratincyte/fibroblast o-culture model was developed by extending an agent-based keratinocyte colony formation model to include the response of keratinocytes to both fibroblasts and serum. The model was validated by comparison of the in virtuo and in vitro multicellular behaviour of keratinocytes and fibroblasts in single and co-culture in Greens medium. To test the robustness of the model, several properties of the fibroblasts were changed to investigate their influence on the multicellular morphogenesis of keratinocyes and fibroblasts. The model was then used to generate hypotheses to explore the interactions of both proliferative and growth arrested fibroblasts with keratinocytes. The key predictions arising from the model which were confirmed by in vitro experiments were that 1) the ratio of fibroblasts to keratinocytes would critically influence keratinocyte colony expansion, 2) this ratio needed to be optimum at the beginning of the co-culture, 3) proliferative fibroblasts would be more effective than irradiated cells in expanding keratinocytes and 4) in the presence of an adequate number of fibroblasts, keratinocyte expansion would be independent of serum. Conclusions: A closely associated computational and biological approach is a powerful tool for understanding complex biological systems such as the interactions between keratinocytes and fibroblasts. The key outcome of this study is the finding that the early addition of a critical ratio of proliferative fibroblasts can give rapid keratinocyte expansion without the use of irradiated mouse fibroblasts and bovine serum

Integrating transposable elements in the 3D genome

Chromosome organisation is increasingly recognised as an essential component of genome regulation, cell fate and cell health. Within the realm of transposable elements (TEs) however, the spatial information of how genomes are folded is still only rarely integrated in experimental studies or accounted for in modelling. Whilst polymer physics is recognised as an important tool to understand the mechanisms of genome folding, in this commentary we discuss its potential applicability to aspects of TE biology. Based on recent works on the relationship between genome organisation and TE integration, we argue that existing polymer models may be extended to create a predictive framework for the study of TE integration patterns. We suggest that these models may offer orthogonal and generic insights into the integration profiles (or "topography") of TEs across organisms. In addition, we provide simple polymer physics arguments and preliminary molecular dynamics simulations of TEs inserting into heterogeneously flexible polymers. By considering this simple model, we show how polymer folding and local flexibility may generically affect TE integration patterns. The preliminary discussion reported in this commentary is aimed to lay the foundations for a large-scale analysis of TE integration dynamics and topography as a function of the three-dimensional host genome

Single Gene Deletions of Orexin, Leptin, Neuropeptide Y, and Ghrelin Do Not Appreciably Alter Food Anticipatory Activity in Mice

Timing activity to match resource availability is a widely conserved ability in nature. Scheduled feeding of a limited amount of food induces increased activity prior to feeding time in animals as diverse as fish and rodents. Typically, food anticipatory activity (FAA) involves temporally restricting unlimited food access (RF) to several hours in the middle of the light cycle, which is a time of day when rodents are not normally active. We compared this model to calorie restriction (CR), giving the mice 60% of their normal daily calorie intake at the same time each day. Measurement of body temperature and home cage behaviors suggests that the RF and CR models are very similar but CR has the advantage of a clearly defined food intake and more stable mean body temperature. Using the CR model, we then attempted to verify the published result that orexin deletion diminishes food anticipatory activity (FAA) but observed little to no diminution in the response to CR and, surprisingly, that orexin KO mice are refractory to body weight loss on a CR diet. Next we tested the orexigenic neuropeptide Y (NPY) and ghrelin and the anorexigenic hormone, leptin, using mouse mutants. NPY deletion did not alter the behavior or physiological response to CR. Leptin deletion impaired FAA in terms of some activity measures, such as walking and rearing, but did not substantially diminish hanging behavior preceding feeding time, suggesting that leptin knockout mice do anticipate daily meal time but do not manifest the full spectrum of activities that typify FAA. Ghrelin knockout mice do not have impaired FAA on a CR diet. Collectively, these results suggest that the individual hormones and neuropepetides tested do not regulate FAA by acting individually but this does not rule out the possibility of their concerted action in mediating FAA