Measuring Coverage of Prolog Programs Using Mutation Testing

Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on the completeness of a test suite, many approaches to assert test coverage have been suggested. Yet, frameworks for logic programs remain scarce. In this paper, we introduce a framework for Prolog programs measuring test coverage using mutations. We elaborate the main ideas of mutation testing and transfer them to logic programs. To do so, we discuss the usefulness of different mutations in the context of Prolog and empirically evaluate them in a new mutation testing framework on different examples.Comment: 16 pages, Accepted for presentation in WFLP 201

A novel cell culture model for studying differentiation and apoptosis in the mouse mammary gland.

BACKGROUND: This paper describes the derivation and characterization of a novel, conditionally immortal mammary epithelial cell line named KIM-2. These cells were derived from mid-pregnant mammary glands of a mouse harbouring one to two copies of a transgene comprised of the ovine beta-lactoglobulin milk protein gene promoter, driving expression of a temperature-sensitive variant of simian virus-40 (SV40) large T antigen (T-Ag). RESULTS: KIM-2 cells have a characteristic luminal epithelial cell morphology and a stable, nontransformed phenotype at the semipermissive temperature of 37 degrees C. In contrast, at the permissive temperature of 33 degrees C the cells have an elongated spindle-like morphology and become transformed after prolonged culture. Differentiation of KIM-2 cells at 37 degrees C, in response to lactogenic hormones, results in the formation of polarized dome-like structures with tight junctions. This is accompanied by expression of the milk protein genes that encode beta-casein and whey acidic protein (WAP), and activation of the prolactin signalling molecule, signal transducer and activator of transcription (STAT)5. Fully differentiated KIM-2 cultures at 37 degrees C become dependent on lactogenic hormones for survival and undergo extensive apoptosis upon hormone withdrawal, as indicated by nuclear morphology and flow cytometric analysis. KIM-2 cells can be genetically modified by stable transfection and clonal lines isolated that retain the characteristics of untransfected cells. CONCLUSION: KIM-2 cells are a valuable addition, therefore, to currently available lines of mammary epithelial cells. Their capacity for extensive differentiation in the absence of exogenously added basement membrane, and ability to undergo apoptosis in response to physiological signals will provide an invaluable model system for the study of signal transduction pathways and transcriptional regulatory mechanisms that control differentiation and involution in the mammary gland

Amelioration of bleomycin-induced lung fibrosis in hamsters by dietary supplementation with taurine and niacin: biochemical mechanisms.

Interstitial pulmonary fibrosis induced by intratracheal instillation of bleomycin (BL) involves an excess production of reactive oxygen species, unavailability of adequate levels of NAD and ATP to repair the injured pulmonary epithelium, and an overexuberant lung collagen reactivity followed by deposition of highly cross-linked mature collagen fibrils resistant to enzymatic degradation. In the present study, we have demonstrated that dietary supplementation with taurine and niacin offered almost complete protection against the lung fibrosis in a multidose BL hamster model. The mechanisms for the protective effect of taurine and niacin are multifaceted. These include the ability of taurine to scavenge HOCl and stabilize the biomembrane; niacin's ability to replenish the BL-induced depletion of NAD and ATP; and the combined effect of taurine and niacin to suppress all aspects of BL-induced increases in the lung collagen reactivity, a hallmark of interstitial pulmonary fibrosis. It was concluded from the data presented at this Conference that the combined treatment with taurine and niacin, which offers a multipronged approach, will have great therapeutic potential in the intervention of the development of chemically induced interstitial lung fibrosis in animals and humans

Projective simulation for artificial intelligence

We propose a model of a learning agent whose interaction with the environment is governed by a simulation-based projection, which allows the agent to project itself into future situations before it takes real action. Projective simulation is based on a random walk through a network of clips, which are elementary patches of episodic memory. The network of clips changes dynamically, both due to new perceptual input and due to certain compositional principles of the simulation process. During simulation, the clips are screened for specific features which trigger factual action of the agent. The scheme is different from other, computational, notions of simulation, and it provides a new element in an embodied cognitive science approach to intelligent action and learning. Our model provides a natural route for generalization to quantum-mechanical operation and connects the fields of reinforcement learning and quantum computation.Comment: 22 pages, 18 figures. Close to published version, with footnotes retaine

The filtering equations revisited

The problem of nonlinear filtering has engendered a surprising number of mathematical techniques for its treatment. A notable example is the change-of--probability-measure method originally introduced by Kallianpur and Striebel to derive the filtering equations and the Bayes-like formula that bears their names. More recent work, however, has generally preferred other methods. In this paper, we reconsider the change-of-measure approach to the derivation of the filtering equations and show that many of the technical conditions present in previous work can be relaxed. The filtering equations are established for general Markov signal processes that can be described by a martingale-problem formulation. Two specific applications are treated

Study protocol: developing a decision system for inclusive housing: applying a systematic, mixed-method quasi-experimental design

Background Identifying the housing preferences of people with complex disabilities is a much needed, but under-developed area of practice and scholarship. Despite the recognition that housing is a social determinant of health and quality of life, there is an absence of empirical methodologies that can practically and systematically involve consumers in this complex service delivery and housing design market. A rigorous process for making effective and consistent development decisions is needed to ensure resources are used effectively and the needs of consumers with complex disability are properly met. Methods/Design This 3-year project aims to identify how the public and private housing market in Australia can better respond to the needs of people with complex disabilities whilst simultaneously achieving key corporate objectives. First, using the Customer Relationship Management framework, qualitative (Nominal Group Technique) and quantitative (Discrete Choice Experiment) methods will be used to quantify the housing preferences of consumers and their carers. A systematic mixed-method, quasi-experimental design will then be used to quantify the development priorities of other key stakeholders (e.g., architects, developers, Government housing services etc.) in relation to inclusive housing for people with complex disabilities. Stakeholders randomly assigned to Group 1 (experimental group) will participate in a series of focus groups employing Analytical Hierarchical Process (AHP) methodology. Stakeholders randomly assigned to Group 2 (control group) will participate in focus groups employing existing decision making processes to inclusive housing development (e.g., Risk, Opportunity, Cost, Benefit considerations). Using comparative stakeholder analysis, this research design will enable the AHP methodology (a proposed tool to guide inclusive housing development decisions) to be tested. Discussion It is anticipated that the findings of this study will enable stakeholders to incorporate consumer housing preferences into commercial decisions. Housing designers and developers will benefit from the creation of a parsimonious set of consumer-led housing preferences by which to make informed investments in future housing and contribute to future housing policy. The research design has not been applied in the Australian research context or elsewhere, and will provide a much needed blueprint for market investment to develop viable, consumer directed inclusive housing options for people with complex disability

Body composition and body fat distribution are related to cardiac autonomic control in non-alcoholic fatty liver disease patients

BACKGROUND/OBJECTIVES: Heart rate recovery (HRR), a cardiac autonomic control marker, was shown to be related to body composition (BC), yet this was not tested in non-alcoholic fatty liver disease (NAFLD) patients. The aim of this study was to determine if, and to what extent, markers of BC and body fat (BF) distribution are related to cardiac autonomic control in NAFLD patients. SUBJECTS/METHODS: BC was assessed with dual-energy X-ray absorptiometry in 28 NAFLD patients (19 men, 51±13 years, and 9 women, 47±13 years). BF depots ratios were calculated to assess BF distribution. Subjects’ HRR was recorded 1 (HRR1) and 2 min (HRR2) immediately after a maximum graded exercise test. RESULTS: BC and BF distribution were related to HRR; particularly weight, trunk BF and trunk BF-to-appendicular BF ratio showed a negative relation with HRR1 (r 1⁄4 0.613, r 1⁄4 0.597 and r 1⁄4 0.547, respectively, Po0.01) and HRR2 (r 1⁄4 0.484, r 1⁄4 0.446, Po0.05, and r 1⁄4 0.590, Po0.01, respectively). Age seems to be related to both HRR1 and HRR2 except when controlled for BF distribution. The preferred model in multiple regression should include trunk BF-to-appendicular BF ratio and BF to predict HRR1 (r2 1⁄4 0.549; Po0.05), and trunk BF-to-appendicular BF ratio alone to predict HRR2 (r2 1⁄4 0.430; Po0.001). CONCLUSIONS: BC and BF distribution were related to HRR in NAFLD patients. Trunk BF-to-appendicular BF ratio was the best independent predictor of HRR and therefore may be best related to cardiovascular increased risk, and possibly act as a mediator in age-related cardiac autonomic control variation.info:eu-repo/semantics/publishedVersio

Opportunities for topical antimicrobial therapy: permeation of canine skin by fusidic acid

BACKGROUND: Staphylococcal infection of the canine epidermis and hair follicle is amongst the commonest reasons for antimicrobial prescribing in small animal veterinary practice. Topical therapy with fusidic acid (FA) is an attractive alternative to systemic therapy based on low minimum inhibitory concentrations (MICs, commonly <0.03 mg/l) documented in canine pathogenic staphylococci, including strains of MRSA and MRSP (methicillin-resistant Staphylococcus aureus and S. pseudintermedius). However, permeation of canine skin by FA has not been evaluated in detail. This study aimed to define the degree and extent of FA permeation in canine skin in vitro from two sites with different hair follicle density following application of a licensed ophthalmic formulation that shares the same vehicle as an FA-betamethasone combination product approved for dermal application in dogs. Topical FA application was modelled using skin held in Franz-type diffusion cells. Concentrations of FA in surface swabs, receptor fluid, and transverse skin sections of defined anatomical depth were determined using high-performance liquid chromatography and ultraviolet (HPLC-UV) analysis. RESULTS: The majority of FA was recovered by surface swabs after 24 h, as expected (mean ± SEM: 76.0 ± 17.0%). FA was detected within 424/470 (90%) groups of serial sections of transversely cryotomed skin containing follicular infundibula, but never in 48/48 (100%) groups of sections containing only deeper follicular structures, nor in receptor fluid, suggesting that FA does not permeate beyond the infundibulum. The FA concentration (mean ± SEM) in the most superficial 240 μm of skin was 2000 ± 815 μg/g. CONCLUSIONS: Topically applied FA can greatly exceed MICs for canine pathogenic staphylococci at the most common sites of infection. Topical FA therapy should now be evaluated using available formulations in vivo as an alternative to systemic therapy for canine superficial bacterial folliculitis.Peer reviewedFinal Published versio

Branch Mode Selection during Early Lung Development

Many organs of higher organisms, such as the vascular system, lung, kidney, pancreas, liver and glands, are heavily branched structures. The branching process during lung development has been studied in great detail and is remarkably stereotyped. The branched tree is generated by the sequential, non-random use of three geometrically simple modes of branching (domain branching, planar and orthogonal bifurcation). While many regulatory components and local interactions have been defined an integrated understanding of the regulatory network that controls the branching process is lacking. We have developed a deterministic, spatio-temporal differential-equation based model of the core signaling network that governs lung branching morphogenesis. The model focuses on the two key signaling factors that have been identified in experiments, fibroblast growth factor (FGF10) and sonic hedgehog (SHH) as well as the SHH receptor patched (Ptc). We show that the reported biochemical interactions give rise to a Schnakenberg-type Turing patterning mechanisms that allows us to reproduce experimental observations in wildtype and mutant mice. The kinetic parameters as well as the domain shape are based on experimental data where available. The developed model is robust to small absolute and large relative changes in the parameter values. At the same time there is a strong regulatory potential in that the switching between branching modes can be achieved by targeted changes in the parameter values. We note that the sequence of different branching events may also be the result of different growth speeds: fast growth triggers lateral branching while slow growth favours bifurcations in our model. We conclude that the FGF10-SHH-Ptc1 module is sufficient to generate pattern that correspond to the observed branching modesComment: Initially published at PLoS Comput Bio

Appointing Women to Boards: Is There a Cultural Bias?

Companies that are serious about corporate governance and business ethics are turning their attention to gender diversity at the most senior levels of business (Institute of Business Ethics, Business Ethics Briefing 21:1, 2011). Board gender diversity has been the subject of several studies carried out by international organizations such as Catalyst (Increasing gender diversity on boards: Current index of formal approaches, 2012), the World Economic Forum (Hausmann et al., The global gender gap report, 2010), and the European Board Diversity Analysis (Is it getting easier to find women on European boards? 2010). They all lead to reports confirming the overall relatively low proportion of women on boards and the slow pace at which more women are being appointed. Furthermore, the proportion of women on corporate boards varies much across countries. Based on institutional theory, this study hypothesizes and tests whether this variation can be attributed to differences in cultural settings across countries. Our analysis of the representation of women on boards for 32 countries during 2010 reveals that two cultural characteristics are indeed associated with the observed differences. We use the cultural dimensions proposed by Hofstede (Culture’s consequences: International differences in work-related values, 1980) to measure this construct. Results show that countries which have the greatest tolerance for inequalities in the distribution of power and those that tend to value the role of men generally exhibit lower representations of women on boards