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

Neutron Stars in Teleparallel Gravity

In this paper we deal with neutron stars, which are described by a perfect fluid model, in the context of the teleparallel equivalent of general relativity. We use numerical simulations to find the relationship between the angular momentum of the field and the angular momentum of the source. Such a relation was established for each stable star reached by the numerical simulation once the code is fed with an equation of state, the central energy density and the ratio between polar and equatorial radii. We also find a regime where linear relation between gravitational angular momentum and moment of inertia (as well as angular velocity of the fluid) is valid. We give the spatial distribution of the gravitational energy and show that it has a linear dependence with the squared angular velocity of the source.Comment: 19 pages, 14 figures. arXiv admin note: text overlap with arXiv:1206.331

Nucleosynthesis in Advective Accretion Disks Around Galactic and Extra-Galactic Black Holes

We compute the nucleosynthesis of materials inside advective disks around black holes. We show that composition of incoming matter can change significantly depending on the accretion rate and accretion disks. These works are improvements on the earlier works in thick accretion disks of Chakrabarti, Jin & Arnett (1987) in presence of advection in the flow.Comment: Latex pages including figures. Kluwer Style files included. Appearing in `Observational Evidence for Black Holes in the Universe', ed. Sandip K. Chakrabarti, Kluwer Academic Publishers (DORDRECHT: Holland

A new modality of treatment for non-united fracture of the humerus in a patient with osteopetrosis: a case report

<p>Abstract</p> <p>Introduction</p> <p>Osteopetrosis introduces technical limitations to the traditional treatment of fracture management that may be minimised with specific pre-operative planning. Extreme care and caution are required when drilling, reaming, or inserting implants in patients with osteopetrosis. Caution must be exercised throughout the postoperative course when these patients are at greatest risk for device failure or further injury.</p> <p>Case presentation</p> <p>We present our experience of treating such a fracture where a patient presented with a non-united fracture of the humerus. The bone was already osteoporotic. We successfully used a new technique which has not been described in the literature before. This included the use of a high-speed drill to prepare the bone for screw fixation. Bone healing was augmented with bone morphogenic protein.</p> <p>Conclusion</p> <p>This technique can give invaluable experience to surgeons who are involved in treating these types of fracture.</p

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

Self-Organization, Layered Structure, and Aggregation Enhance Persistence of a Synthetic Biofilm Consortium

Microbial consortia constitute a majority of the earth’s biomass, but little is known about how these cooperating communities persist despite competition among community members. Theory suggests that non-random spatial structures contribute to the persistence of mixed communities; when particular structures form, they may provide associated community members with a growth advantage over unassociated members. If true, this has implications for the rise and persistence of multi-cellular organisms. However, this theory is difficult to study because we rarely observe initial instances of non-random physical structure in natural populations. Using two engineered strains of Escherichia coli that constitute a synthetic symbiotic microbial consortium, we fortuitously observed such spatial self-organization. This consortium forms a biofilm and, after several days, adopts a defined layered structure that is associated with two unexpected, measurable growth advantages. First, the consortium cannot successfully colonize a new, downstream environment until it selforganizes in the initial environment; in other words, the structure enhances the ability of the consortium to survive environmental disruptions. Second, when the layered structure forms in downstream environments the consortium accumulates significantly more biomass than it did in the initial environment; in other words, the structure enhances the global productivity of the consortium. We also observed that the layered structure only assembles in downstream environments that are colonized by aggregates from a previous, structured community. These results demonstrate roles for self-organization and aggregation in persistence of multi-cellular communities, and also illustrate a role for the techniques of synthetic biology in elucidating fundamental biological principles

Effective-Range Expansion of the Neutron-Deuteron Scattering Studied by a Quark-Model Nonlocal Gaussian Potential

The S-wave effective range parameters of the neutron-deuteron (nd) scattering are derived in the Faddeev formalism, using a nonlocal Gaussian potential based on the quark-model baryon-baryon interaction fss2. The spin-doublet low-energy eigenphase shift is sufficiently attractive to reproduce predictions by the AV18 plus Urbana three-nucleon force, yielding the observed value of the doublet scattering length and the correct differential cross sections below the deuteron breakup threshold. This conclusion is consistent with the previous result for the triton binding energy, which is nearly reproduced by fss2 without reinforcing it with the three-nucleon force.Comment: 21 pages, 6 figures and 6 tables, submitted to Prog. Theor. Phy