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

Hsp21potentiates antifungal drug tolerance in Candida albicans

Peer reviewedPublisher PD

The White Nipple Sign: Please Do Not Disturb

Blood spurting or oozing from a varix confirms the diagnosis of variceal hemorrhage. In most cases of variceal hemorrhage, however, the bleeding has ceased by the time endoscopy is performed. Endoscopists rely on identification of stigmata of recent hemorrhage to determine whether varices are the cause of bleeding and to predict the likelihood of rebleeding. Most of the attention has focused on red color signs, such as red wale markings, described by Beppu et al. [Gastrointest Endosc 1981;27:213-218] and well known to endoscopists. Here we describe our experience with a less recognized stigma of variceal hemorrhage known as the ‘white nipple sign’, which resulted in active hemorrhage when manipulated

Direct Formation of Supermassive Black Holes via Multi-Scale Gas Inflows in Galaxy Mergers

Observations of distant bright quasars suggest that billion solar mass supermassive black holes (SMBHs) were already in place less than a billion years after the Big Bang. Models in which light black hole seeds form by the collapse of primordial metal-free stars cannot explain their rapid appearance due to inefficient gas accretion. Alternatively, these black holes may form by direct collapse of gas at the center of protogalaxies. However, this requires metal-free gas that does not cool efficiently and thus is not turned into stars, in contrast with the rapid metal enrichment of protogalaxies. Here we use a numerical simulation to show that mergers between massive protogalaxies naturally produce the required central gas accumulation with no need to suppress star formation. Merger-driven gas inflows produce an unstable, massive nuclear gas disk. Within the disk a second gas inflow accumulates more than 100 million solar masses of gas in a sub-parsec scale cloud in one hundred thousand years. The cloud undergoes gravitational collapse, which eventually leads to the formation of a massive black hole. The black hole can grow to a billion solar masses in less than a billion years by accreting gas from the surrounding disk.Comment: 26 pages, 4 Figures, submitted to Nature (includes Supplementary Information

Super-resolution far-field ghost imaging via compressive sampling

Much more image details can be resolved by improving the system's imaging resolution and enhancing the resolution beyond the system's Rayleigh diffraction limit is generally called super-resolution. By combining the sparse prior property of images with the ghost imaging method, we demonstrated experimentally that super-resolution imaging can be nonlocally achieved in the far field even without looking at the object. Physical explanation of super-resolution ghost imaging via compressive sampling and its potential applications are also discussed.Comment: 4pages,4figure

Fungal Adenylyl Cyclase Acts As a Signal Sensor and Integrator and Plays a Central Role in Interaction with Bacteria

10.1371/journal.ppat.1003612PLoS Pathogens910

Testing for Network and Spatial Autocorrelation

Testing for dependence has been a well-established component of spatial statistical analyses for decades. In particular, several popular test statistics have desirable properties for testing for the presence of spatial autocorrelation in continuous variables. In this paper we propose two contributions to the literature on tests for autocorrelation. First, we propose a new test for autocorrelation in categorical variables. While some methods currently exist for assessing spatial autocorrelation in categorical variables, the most popular method is unwieldy, somewhat ad hoc, and fails to provide grounds for a single omnibus test. Second, we discuss the importance of testing for autocorrelation in data sampled from the nodes of a network, motivated by social network applications. We demonstrate that our proposed statistic for categorical variables can both be used in the spatial and network setting

A Model of Methotrexate Encephalopathy: Neurotransmitter and Pathologic Abnormalities

Methotrexate may cause seizures, dementia, and leukoencephalopathy when given in toxic doses to children with leukemia or solid tumors. Even in therapeutic doses, treatment with this drug is associated with an increased incidence of seizures in children with leukemia. To study mechanisms of injury, juvenile rats were given multiple intraventricular injections of methotrexate and the brains were analyzed for histopathology and biogenic amine metabolites of dopamine and serotonin. Disruption of monoamine metabolism has been proposed as a cause of brain dysfunction from this chemotherapy. Multiple injections (1 or 2 mg/kg) produced convulsions in an increasingly larger percentage of animals at higher cumulative doses, and five doses produced the neuropathological changes seen in human leukoencephalopathy. A single dose reduced the concentration of brain metabolites of dopamine, but not serotonin, six hours later. The effect was less pronounced after five doses. This rodent model should be useful for studying the metabolic basis of methotrexate encephalopathy. (J Child Neurol 1986;1:351-357)Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/67332/2/10.1177_088307388600100406.pd

Hsp90 governs dispersion and drug resistance of fungal biofilms

Fungal biofilms are a major cause of human mortality and are recalcitrant to most treatments due to intrinsic drug resistance. These complex communities of multiple cell types form on indwelling medical devices and their eradication often requires surgical removal of infected devices. Here we implicate the molecular chaperone Hsp90 as a key regulator of biofilm dispersion and drug resistance. We previously established that in the leading human fungal pathogen, Candida albicans, Hsp90 enables the emergence and maintenance of drug resistance in planktonic conditions by stabilizing the protein phosphatase calcineurin and MAPK Mkc1. Hsp90 also regulates temperature-dependent C. albicans morphogenesis through repression of cAMP-PKA signalling. Here we demonstrate that genetic depletion of Hsp90 reduced C. albicans biofilm growth and maturation in vitro and impaired dispersal of biofilm cells. Further, compromising Hsp90 function in vitro abrogated resistance of C. albicans biofilms to the most widely deployed class of antifungal drugs, the azoles. Depletion of Hsp90 led to reduction of calcineurin and Mkc1 in planktonic but not biofilm conditions, suggesting that Hsp90 regulates drug resistance through different mechanisms in these distinct cellular states. Reduction of Hsp90 levels led to a marked decrease in matrix glucan levels, providing a compelling mechanism through which Hsp90 might regulate biofilm azole resistance. Impairment of Hsp90 function genetically or pharmacologically transformed fluconazole from ineffectual to highly effective in eradicating biofilms in a rat venous catheter infection model. Finally, inhibition of Hsp90 reduced resistance of biofilms of the most lethal mould, Aspergillus fumigatus, to the newest class of antifungals to reach the clinic, the echinocandins. Thus, we establish a novel mechanism regulating biofilm drug resistance and dispersion and that targeting Hsp90 provides a much-needed strategy for improving clinical outcome in the treatment of biofilm infections