Ranking Templates for Linear Loops

We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are parametrized, well-founded relations such that an assignment to the parameters gives rise to a ranking function. This approach generalizes existing methods and enables us to use templates for many different ranking functions with affine-linear components. We discuss templates for multiphase, piecewise, and lexicographic ranking functions. Because these ranking templates require both strict and non-strict inequalities, we use Motzkin's Transposition Theorem instead of Farkas Lemma to transform the generated $\exists\forall$-constraint into an $\exists$-constraint.Comment: TACAS 201

Trace Complexity of Chaotic Reversible Cellular Automata

Delvenne, K\r{u}rka and Blondel have defined new notions of computational complexity for arbitrary symbolic systems, and shown examples of effective systems that are computationally universal in this sense. The notion is defined in terms of the trace function of the system, and aims to capture its dynamics. We present a Devaney-chaotic reversible cellular automaton that is universal in their sense, answering a question that they explicitly left open. We also discuss some implications and limitations of the construction.Comment: 12 pages + 1 page appendix, 4 figures. Accepted to Reversible Computation 2014 (proceedings published by Springer

Proving Termination Starting from the End

We present a novel technique for proving program termination which introduces a new dimension of modularity. Existing techniques use the program to incrementally construct a termination proof. While the proof keeps changing, the program remains the same. Our technique goes a step further. We show how to use the current partial proof to partition the transition relation into those behaviors known to be terminating from the current proof, and those whose status (terminating or not) is not known yet. This partition enables a new and unexplored dimension of incremental reasoning on the program side. In addition, we show that our approach naturally applies to conditional termination which searches for a precondition ensuring termination. We further report on a prototype implementation that advances the state-of-the-art on the grounds of termination and conditional termination.Comment: 16 page

1/Nc1/N_c Expansion for Excited Baryons

We derive consistency conditions which constrain the possible form of the strong couplings of the excited baryons to the pions. The consistency conditions follow from requiring the pion-excited baryon scattering amplitudes to satisfy the large-N_c Witten counting rules and are analogous to consistency conditions used by Dashen, Jenkins and Manohar and others for s-wave baryons. The consistency conditions are explicitly solved, giving the most general allowed form of the strong vertices for excited baryons in the large-N_c limit. We show that the solutions to the large-N_c consistency conditions coincide with the predictions of the nonrelativistic quark model for these states, extending the results previously obtained for the s-wave baryons. The 1/N_c corrections to these predictions are studied in the quark model with arbitrary number of colors N_c.Comment: 56 pages, REVTeX; one new Appendix added containing a discussion of the results in the language of quark operator

Serological response in RT-PCR confirmed h1n1-2009 influenza a by hemagglutination inhibition and virus neutralization assays: An observational study

10.1371/journal.pone.0012474PLoS ONE58

The Paranormal is (Still) Normal: The Sociological Implications of a Survey of Paranormal Experiences in Great Britain

Historically, there has been limited sociological interest in the paranormal and no systematic study of reported paranormal experiences. There are also few medium-to-large-scale survey results with nationally representative populations focusing on paranormal experiences. This paper provides details of an exploratory survey conducted in 2009 with a nationally representative sample of 4,096 adults aged 16 years and over across Great Britain. Our findings show that 37% of British adults report at least one paranormal experience and that women, those who are middle-aged or individuals resident in the South West are more likely to report such experiences. These results establish incidence levels of reported paranormal experiences in contemporary Britain. We argue also that they merit a more sustained sociological consideration of the paranormal. In this respect we renew and update the robust justification and call for serious research positioning the paranormal as a social phenomenon, originally proposed well over thirty years ago by Greeley (1975)

Review article: MHD wave propagation near coronal null points of magnetic fields

We present a comprehensive review of MHD wave behaviour in the neighbourhood of coronal null points: locations where the magnetic field, and hence the local Alfven speed, is zero. The behaviour of all three MHD wave modes, i.e. the Alfven wave and the fast and slow magnetoacoustic waves, has been investigated in the neighbourhood of 2D, 2.5D and (to a certain extent) 3D magnetic null points, for a variety of assumptions, configurations and geometries. In general, it is found that the fast magnetoacoustic wave behaviour is dictated by the Alfven-speed profile. In a $\beta=0$ plasma, the fast wave is focused towards the null point by a refraction effect and all the wave energy, and thus current density, accumulates close to the null point. Thus, null points will be locations for preferential heating by fast waves. Independently, the Alfven wave is found to propagate along magnetic fieldlines and is confined to the fieldlines it is generated on. As the wave approaches the null point, it spreads out due to the diverging fieldlines. Eventually, the Alfven wave accumulates along the separatrices (in 2D) or along the spine or fan-plane (in 3D). Hence, Alfven wave energy will be preferentially dissipated at these locations. It is clear that the magnetic field plays a fundamental role in the propagation and properties of MHD waves in the neighbourhood of coronal null points. This topic is a fundamental plasma process and results so far have also lead to critical insights into reconnection, mode-coupling, quasi-periodic pulsations and phase-mixing.Comment: 34 pages, 5 figures, invited review in Space Science Reviews => Note this is a 2011 paper, not a 2010 pape

Alternating runtime and size complexity analysis of integer programs

We present a modular approach to automatic complexity analysis. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer size bounds on program variables, we can restrict each analysis step to a small part of the program while maintaining a high level of precision. Extensive experiments with the implementation of our method demonstrate its performance and power in comparison with other tools

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