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

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

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

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

A radium assay technique using hydrous titanium oxide adsorbent for the Sudbury Neutrino Observatory

As photodisintegration of deuterons mimics the disintegration of deuterons by neutrinos, the accurate measurement of the radioactivity from thorium and uranium decay chains in the heavy water in the Sudbury Neutrino Observatory (SNO) is essential for the determination of the total solar neutrino flux. A radium assay technique of the required sensitivity is described that uses hydrous titanium oxide adsorbent on a filtration membrane together with a beta-alpha delayed coincidence counting system. For a 200 tonne assay the detection limit for 232Th is a concentration of 3 x 10^(-16) g Th/g water and for 238U of 3 x 10^(-16) g U/g water. Results of assays of both the heavy and light water carried out during the first two years of data collection of SNO are presented.Comment: 12 pages, 4 figure

Formation of dense partonic matter in relativistic nucleus-nucleus collisions at RHIC: Experimental evaluation by the PHENIX collaboration

Extensive experimental data from high-energy nucleus-nucleus collisions were recorded using the PHENIX detector at the Relativistic Heavy Ion Collider (RHIC). The comprehensive set of measurements from the first three years of RHIC operation includes charged particle multiplicities, transverse energy, yield ratios and spectra of identified hadrons in a wide range of transverse momenta (p_T), elliptic flow, two-particle correlations, non-statistical fluctuations, and suppression of particle production at high p_T. The results are examined with an emphasis on implications for the formation of a new state of dense matter. We find that the state of matter created at RHIC cannot be described in terms of ordinary color neutral hadrons.Comment: 510 authors, 127 pages text, 56 figures, 1 tables, LaTeX. Submitted to Nuclear Physics A as a regular article; v3 has minor changes in response to referee comments. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Measurement of D*+/- meson production in jets from pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

This paper reports a measurement of D*+/- meson production in jets from proton-proton collisions at a center-of-mass energy of sqrt(s) = 7 TeV at the CERN Large Hadron Collider. The measurement is based on a data sample recorded with the ATLAS detector with an integrated luminosity of 0.30 pb^-1 for jets with transverse momentum between 25 and 70 GeV in the pseudorapidity range |eta| < 2.5. D*+/- mesons found in jets are fully reconstructed in the decay chain: D*+ -> D0pi+, D0 -> K-pi+, and its charge conjugate. The production rate is found to be N(D*+/-)/N(jet) = 0.025 +/- 0.001(stat.) +/- 0.004(syst.) for D*+/- mesons that carry a fraction z of the jet momentum in the range 0.3 < z < 1. Monte Carlo predictions fail to describe the data at small values of z, and this is most marked at low jet transverse momentum.Comment: 10 pages plus author list (22 pages total), 5 figures, 1 table, matches published version in Physical Review

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

Search for supersymmetry in final states with jets, missing transverse momentum and one isolated lepton in sqrt{s} = 7 TeV pp collisions using 1 fb-1 of ATLAS data

We present an update of a search for supersymmetry in final states containing jets, missing transverse momentum, and one isolated electron or muon, using 1.04 fb^-1 of proton-proton collision data at sqrt{s} = 7 TeV recorded by the ATLAS experiment at the LHC in the first half of 2011. The analysis is carried out in four distinct signal regions with either three or four jets and variations on the (missing) transverse momentum cuts, resulting in optimized limits for various supersymmetry models. No excess above the standard model background expectation is observed. Limits are set on the visible cross-section of new physics within the kinematic requirements of the search. The results are interpreted as limits on the parameters of the minimal supergravity framework, limits on cross-sections of simplified models with specific squark and gluino decay modes, and limits on parameters of a model with bilinear R-parity violation.Comment: 18 pages plus author list (30 pages total), 9 figures, 4 tables, final version to appear in Physical Review