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

Scale invariance and universality of force networks in static granular matter

Force networks form the skeleton of static granular matter. They are the key ingredient to mechanical properties, such as stability, elasticity and sound transmission, which are of utmost importance for civil engineering and industrial processing. Previous studies have focused on the global structure of external forces (the boundary condition), and on the probability distribution of individual contact forces. The disordered spatial structure of the force network, however, has remained elusive so far. Here we report evidence for scale invariance of clusters of particles that interact via relatively strong forces. We analyzed granular packings generated by molecular dynamics simulations mimicking real granular matter; despite the visual variation, force networks for various values of the confining pressure and other parameters have identical scaling exponents and scaling function, and thus determine a universality class. Remarkably, the flat ensemble of force configurations--a simple generalization of equilibrium statistical mechanics--belongs to the same universality class, while some widely studied simplified models do not.Comment: 15 pages, 4 figures; to appear in Natur

52-week efficacy and safety of telbivudine with conditional tenofovir intensification at week 24 in HBeAg-positive chronic Hepatitis B

Background and Aims: The Roadmap concept is a therapeutic framework in chronic hepatitis B for the intensification of nucleoside analogue monotherapy based on early virologic response. The efficacy and safety of this approach applied to telbivudine treatment has not been investigated. Methods: A multinational, phase IV, single-arm open-label study (ClinicalTrials.gov ID NCT00651209) was undertaken in HBeAg-positive, nucleoside-naive adult patients with chronic hepatitis B. Patients received telbivudine (600 mg once-daily) for 24 weeks, after which those with undetectable serum HBV DNA (<300 copies/mL) continued to receive telbivudine alone while those with detectable DNA received telbivudine plus tenofovir (300 mg once-daily). Outcomes were assessed at Week 52. Results: 105 patients commenced telbivudine monotherapy, of whom 100 were included in the efficacy analysis. Fifty-five (55%) had undetectable HBV DNA at Week 24 and continued telbivudine monotherapy; 45 (45%) received tenofovir intensification. At Week 52, the overall proportion of undetectable HBV DNA was 93% (93/100) by last-observation-carried-forward analysis (100% monotherapy group, 84% intensification group) and no virologic breakthroughs had occurred. ALT normalization occurred in 77% (87% monotherapy, 64% intensification), HBeAg clearance in 43% (65% monotherapy, 16% intensification), and HBeAg seroconversion in 39% (62% monotherapy, 11% intensification). Six patients had HBsAg clearance. Myalgia was more common in the monotherapy group (19% versus 7%). No decrease in the mean glomerular filtration rate occurred in either treatment group at Week 52. Conclusions: Telbivudine therapy with tenofovir intensification at Week 24, where indicated by the Roadmap strategy, appears effective and well tolerated for the treatment of chronic hepatitis B. Trial Registration: ClinicalTrials.gov NCT0065120

Locomotor hyperactivity in 14-3-3Zeta KO mice is associated with dopamine transporter dysfunction

Dopamine (DA) neurotransmission requires a complex series of enzymatic reactions that are tightly linked to catecholamine exocytosis and receptor interactions on pre- and postsynaptic neurons. Regulation of dopaminergic signalling is primarily achieved through reuptake of extracellular DA by the DA transporter (DAT) on presynaptic neurons. Aberrant regulation of DA signalling, and in particular hyperactivation, has been proposed as a key insult in the presentation of schizophrenia and related neuropsychiatric disorders. We recently identified 14-3-3ζ as an essential component of neurodevelopment and a central risk factor in the schizophrenia protein interaction network. Our analysis of 14-3-3ζ-deficient mice now shows that baseline hyperactivity of knockout (KO) mice is rescued by the antipsychotic drug clozapine. 14-3-3ζ KO mice displayed enhanced locomotor hyperactivity induced by the DA releaser amphetamine. Consistent with 14-3-3ζ having a role in DA signalling, we found increased levels of DA in the striatum of 14-3-3ζ KO mice. Although 14-3-3ζ is proposed to modulate activity of the rate-limiting DA biosynthesis enzyme, tyrosine hydroxylase (TH), we were unable to identify any differences in total TH levels, TH localization or TH activation in 14-3-3ζ KO mice. Rather, our analysis identified significantly reduced levels of DAT in the absence of notable differences in RNA or protein levels of DA receptors D1–D5. Providing insight into the mechanisms by which 14-3-3ζ controls DAT stability, we found a physical association between 14-3-3ζ and DAT by co-immunoprecipitation. Taken together, our results identify a novel role for 14-3-3ζ in DA neurotransmission and provide support to the hyperdopaminergic basis of pathologies associated with schizophrenia and related disorders.H Ramshaw, X Xu, EJ Jaehne, P McCarthy, Z Greenberg, E Saleh, B McClure, J Woodcock, S Kabbara, S Wiszniak, Ting-Yi Wang, C Parish, M van den Buuse, BT Baune, A Lopez and Q Schwar

Tracking the Evolution of HIV/AIDS in China from 1989–2009 to Inform Future Prevention and Control Efforts

BACKGROUND: To determine policy implications, this analysis tracks the evolution of HIV/AIDS infection across China to understand current trends and potential risk factors. METHODS AND PRINCIPAL FINDINGS: A retrospective study with spatial analytical model and multilevel spatial models was conducted among 326,157 HIV/AIDS cases reported from 1989-2009. The results indicate that the distribution of HIV/AIDS was clustered at the county level with different directional distributions across China from 2003 to 2009. Compared to 2003, by 2009 there was a 122% increase in HIV cases among rural residents, 294% increase among urban residents, 211% increase among migrants, and 237% increase among permanent residents. The overall proportion of HIV by different routes of transmission showed dramatic changes with a 504% increase in sexual transmission of HIV, 90% decrease in blood/plasma transmission, and 35% decrease in injecting drug user transmission. Sexual transmission was the major transmission route among women (44%) and the elderly (59% in men, 44% in women) as well as among permanent (36%) and urban residents (33%). Among those <65 years old, women increased more than men, but among those ≥ 65 years, men increased more than women. Migrants contributed to the variance of HIV infection between counties but not within counties. The length of highway and urbanization combined with illiteracy were risk factors for HIV/AIDS. CONCLUSIONS/SIGNIFICANCE: Rates of HIV/AIDS among permanent urban residents, particularly women and elderly men, have increased significantly in recent years. To prevent HIV from spreading further among the general population, additional attention should be paid to these populations as well as to migrants

Measurement of the Branching Fraction of J/psi --> pi+ pi- pi0

Using 58 million J/psi and 14 million psi' decays obtained by the BESII experiment, the branching fraction of J/psi --> pi+ pi- pi0 is determined. The result is (2.10+/-0.12)X10^{-2}, which is significantly higher than previous measurements.Comment: 9 pages, 8 figures, RevTex

Search for K_S K_L in psi'' decays

K_S K_L from psi'' decays is searched for using the psi'' data collected by BESII at BEPC, the upper limit of the branching fraction is determined to be B(psi''--> K_S K_L) < 2.1\times 10^{-4} at 90% C. L. The measurement is compared with the prediction of the S- and D-wave mixing model of the charmonia, based on the measurements of the branching fractions of J/psi-->K_S K_L and psi'-->K_S K_L.Comment: 5 pages, 1 figur

First observation of psi(2S)-->K_S K_L

The decay psi(2S)-->K_S K_L is observed for the first time using psi(2S) data collected with the Beijing Spectrometer (BESII) at the Beijing Electron Positron Collider (BEPC); the branching ratio is determined to be B(psi(2S)-->K_S K_L) = (5.24\pm 0.47 \pm 0.48)\times 10^{-5}. Compared with J/psi-->K_S K_L, the psi(2S) branching ratio is enhanced relative to the prediction of the perturbative QCD ``12%'' rule. The result, together with the branching ratios of psi(2S) decays to other pseudoscalar meson pairs (\pi^+\pi^- and K^+K^-), is used to investigate the relative phase between the three-gluon and the one-photon annihilation amplitudes of psi(2S) decays.Comment: 5 pages, 4 figures, 2 tables, submitted to Phys. Rev. Let

The impact of albendazole treatment on the incidence of viral- and bacterial-induced diarrhea in school children in southern Vietnam: study protocol for a randomized controlled trial

Anthelmintics are one of the more commonly available classes of drugs to treat infections by parasitic helminths (especially nematodes) in the human intestinal tract. As a result of their cost-effectiveness, mass school-based deworming programs are becoming routine practice in developing countries. However, experimental and clinical evidence suggests that anthelmintic treatments may increase susceptibility to other gastrointestinal infections caused by bacteria, viruses, or protozoa. Hypothesizing that anthelmintics may increase diarrheal infections in treated children, we aim to evaluate the impact of anthelmintics on the incidence of diarrheal disease caused by viral and bacterial pathogens in school children in southern Vietnam.This is a randomized, double-blinded, placebo-controlled trial to investigate the effects of albendazole treatment versus placebo on the incidence of viral- and bacterial-induced diarrhea in 350 helminth-infected and 350 helminth-uninfected Vietnamese school children aged 6-15 years. Four hundred milligrams of albendazole, or placebo treatment will be administered once every 3 months for 12 months. At the end of 12 months, all participants will receive albendazole treatment. The primary endpoint of this study is the incidence of diarrheal disease assessed by 12 months of weekly active and passive case surveillance. Secondary endpoints include the prevalence and intensities of helminth, viral, and bacterial infections, alterations in host immunity and the gut microbiota with helminth and pathogen clearance, changes in mean z scores of body weight indices over time, and the number and severity of adverse events.In order to reduce helminth burdens, anthelmintics are being routinely administered to children in developing countries. However, the effects of anthelmintic treatment on susceptibility to other diseases, including diarrheal pathogens, remain unknown. It is important to monitor for unintended consequences of drug treatments in co-infected populations. In this trial, we will examine how anthelmintic treatment impacts host susceptibility to diarrheal infections, with the aim of informing deworming programs of any indirect effects of mass anthelmintic administrations on co-infecting enteric pathogens.ClinicalTrials.gov: NCT02597556 . Registered on 3 November 2015

Study of psi(2S) decays to X J/psi

Using J/psi -> mu^+ mu^- decays from a sample of approximately 4 million psi(2S) events collected with the BESI detector, the branching fractions of psi(2S) -> eta J/psi, pi^0 pi^0 J/psi, and anything J/psi normalized to that of psi(2S) -> pi^+ pi^- J/psi are measured. The results are B(psi(2S) -> eta J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.098 \pm 0.005 \pm 0.010, B(psi(2S) -> pi^0 pi^0 J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.570 \pm 0.009 \pm 0.026, and B(psi(2S) -> anything J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 1.867 \pm 0.026 \pm 0.055.Comment: 13 pages, 8 figure