Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Gaps in the clinical management of influenza a century since the 1918 pandemic

This year marks the centennial of the devastating 1918 influenza A(H1N1) pandemic, which killed an estimated 50 million people worldwide. Prevention and control activities were limited in 1918 because global surveillance did not exist, influenza viruses were not yet discovered, and no influenza vaccines had been developed. Diagnostic tests for influenza were unavailable prior to isolation of influenza viruses in the 1930s, so spread of the pandemic virus was tracked by news reports of increased respiratory disease and related deaths. Establishment of the World Health Organization’s Global Influenza Surveillance Network in 1952 has contributed substantially to coordinated surveillance, vaccine development, and influenza vaccine strain selection

A Measurement of the Cosmic Ray Spectrum and Composition at the Knee

The energy spectrum and primary composition of cosmic rays with energy between $3\times 10^{14}$ and 3\times10^{16}\unit{eV} have been studied using the CASA-BLANCA detector. CASA measured the charged particle distribution of air showers, while BLANCA measured the lateral distribution of Cherenkov light. The data are interpreted using the predictions of the CORSIKA air shower simulation coupled with four different hadronic interaction codes. The differential flux of cosmic rays measured by BLANCA exhibits a knee in the range of 2--3 PeV with a width of approximately 0.5 decades in primary energy. The power law indices of the differential flux below and above the knee are $-2.72\pm0.02$ and $-2.95\pm0.02$. We present our data both as a mean depth of shower maximum and as a mean nuclear mass. A multi-component fit using four elemental species shows the same composition trends given by the mean quantities, and also indicates that QGSJET and VENUS are the preferred hadronic interaction models. We find that an initially mixed composition turns lighter between 1 and 3 PeV, and then becomes heavier with increasing energy above 3 PeV.Comment: 25 pages, 10 figures. Submitted to Astroparticle Physic

The Neoarchaean Uyea Gneiss Complex, Shetland: an onshore fragment of the Rae Craton on the European Plate

A tract of amphibolite facies granitic gneisses and metagabbros in northern Shetland, U.K., is here named the Uyea Gneiss Complex. Zircon U–Pb dating indicates emplacement of the igneous protoliths of the complex c. 2746–2726 Ma, at a later time than most of the Archaean protoliths of the Lewisian Gneiss Complex of mainland Scotland. Calc-alkaline geochemistry of the Uyea Gneiss Complex indicates arc-affinity and a strong genetic kinship among the mafic and felsic components. Zircon Hf compositions suggest an enriched mantle source and limited interaction with older crust during emplacement. Ductile fabrics developed soon after emplacement, with zircon rims at c. 2710 Ma, but there was little further deformation until Caledonian reworking east of the Uyea Shear Zone. There is no evidence for the Palaeoproterozoic reworking that dominates large tracts of the Lewisian Gneiss Complex and of the Nagssugtoqidian Orogen of East Greenland. The more northerly location of the Uyea Gneiss Complex and extensive offshore basement of similar age implies that, prior to the opening of the North Atlantic Ocean, these rocks were contiguous with the Archaean Rae Craton

Doing today's work superbly well - Treating ebola with current tools

The Ebola outbreak that is ravaging West Africa is a daily staple of the lay press and of scholarly medical publications. Ebola evokes fear among both the public and clinicians. It also evokes a sort of therapeutic nihilism — after all, if there is no treatment, what can be done? And without an Ebola-specific antiviral medication, of what use are infectious-disease clinicians? Without oxygen, let alone mechanical ventilators, how can acute and critical care clinicians possibly contribute

Fast Non-Adiabatic Two Qubit Gates for the Kane Quantum Computer

In this paper we apply the canonical decomposition of two qubit unitaries to find pulse schemes to control the proposed Kane quantum computer. We explicitly find pulse sequences for the CNOT, swap, square root of swap and controlled Z rotations. We analyze the speed and fidelity of these gates, both of which compare favorably to existing schemes. The pulse sequences presented in this paper are theoretically faster, higher fidelity, and simpler than existing schemes. Any two qubit gate may be easily found and implemented using similar pulse sequences. Numerical simulation is used to verify the accuracy of each pulse scheme

Making community-supported agriculture accessible to low-income families: Findings from the Farm Fresh Foods for Healthy Kids process evaluation

A randomized trial of Farm Fresh Foods for Healthy Kids (F3HK) was initiated across 4 states and 12 farms to test whether cost-offset community-supported agriculture (CO-CSA) could improve diet quality among children in low-income families. Intervention households purchased a 50% subsidized share of local produce and were invited to nine complimentary nutrition classes. The purpose of this study was to assess F3HK reach, dose, and fidelity via a mixed methods process evaluation. Screening and enrollment records indicated reach; study records and postlesson educator surveys tracked dose delivered; CSA pickup logs, lesson sign-in sheets, postseason participant surveys, and postlesson caregiver surveys assessed dose received; and coordinator audits and educator surveys tracked fidelity. Educator interviews contextualized findings. The results of this study were as follows. Reach: enrolled caregivers (n = 305) were older (p =. 005) than eligible nonenrollees (n = 243) and more likely to be female (p <. 001). Dose: mean CSA season was 21 weeks (interquartile range [IQR]: 19-23). Median CSA pickup was 88% of the weeks (IQR: 40-100). All sites offered each class at least once. Most adults (77%) and children (54%) attended at least one class; few attended all. Eighty-two percent of caregivers indicated that their household consumed most or all produce. Median lesson activity ratings were 5/5 ("very useful"). Fidelity: CSA locations functioned with integrity to project standards. Educators taught 92% of activities but frequently modified lesson order. This study demonstrates the feasibility of pairing a CO-CSA intervention with nutrition education across geographically dispersed sites. Greater integration of intervention elements and clearer allowance for site-level modifications, particularly for educational elements, may improve intervention dose and, ultimately, impact

Dimer coverings on the Sierpinski gasket with possible vacancies on the outmost vertices

We present the number of dimers $N_d(n)$ on the Sierpinski gasket $SG_d(n)$ at stage $n$ with dimension $d$ equal to two, three, four or five, where one of the outmost vertices is not covered when the number of vertices $v(n)$ is an odd number. The entropy of absorption of diatomic molecules per site, defined as $S_{SG_d}=\lim_{n \to \infty} \ln N_d(n)/v(n)$, is calculated to be $\ln(2)/3$ exactly for $SG_2(n)$. The numbers of dimers on the generalized Sierpinski gasket $SG_{d,b}(n)$ with $d=2$ and $b=3,4,5$ are also obtained exactly. Their entropies are equal to $\ln(6)/7$, $\ln(28)/12$, $\ln(200)/18$, respectively. The upper and lower bounds for the entropy are derived in terms of the results at a certain stage for $SG_d(n)$ with $d=3,4,5$. As the difference between these bounds converges quickly to zero as the calculated stage increases, the numerical value of $S_{SG_d}$ with $d=3,4,5$ can be evaluated with more than a hundred significant figures accurate.Comment: 35 pages, 20 figures and 1 tabl

Propagation and Structure of Planar Streamer Fronts

Streamers often constitute the first stage of dielectric breakdown in strong electric fields: a nonlinear ionization wave transforms a non-ionized medium into a weakly ionized nonequilibrium plasma. New understanding of this old phenomenon can be gained through modern concepts of (interfacial) pattern formation. As a first step towards an effective interface description, we determine the front width, solve the selection problem for planar fronts and calculate their properties. Our results are in good agreement with many features of recent three-dimensional numerical simulations. In the present long paper, you find the physics of the model and the interfacial approach further explained. As a first ingredient of this approach, we here analyze planar fronts, their profile and velocity. We encounter a selection problem, recall some knowledge about such problems and apply it to planar streamer fronts. We make analytical predictions on the selected front profile and velocity and confirm them numerically. (abbreviated abstract)Comment: 23 pages, revtex, 14 ps file