Non-interference for deterministic interactive programs

We consider the problem of defining an appropriate notion of non-interference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O'Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms of strategies modelling the behaviour of users. We show that, for deterministic interactive programs, it is not necessary to consider strategies and that a simple stream model of the users' behaviour is sufficient. The key technical result is that, for deterministic programs, stream-based NI implies the apparently more general strategy-based NI (in fact we consider a wider class of strategies than those of O'Neill et al). We give our results in terms of a simple notion of Input-Output Labelled Transition System, thus allowing application of the results to a large class of deterministic interactive programming languages

Granular discharge and clogging for tilted hoppers

We measure the flux of spherical glass beads through a hole as a systematic function of both tilt angle and hole diameter, for two different size beads. The discharge increases with hole diameter in accord with the Beverloo relation for both horizontal and vertical holes, but in the latter case with a larger small-hole cutoff. For large holes the flux decreases linearly in cosine of the tilt angle, vanishing smoothly somewhat below the angle of repose. For small holes it vanishes abruptly at a smaller angle. The conditions for zero flux are discussed in the context of a {\it clogging phase diagram} of flow state vs tilt angle and ratio of hole to grain size

The Williams Scale of Attitude toward Paganism: development and application among British Pagans

This article builds on the tradition of attitudinal measures of religiosity established by Leslie Francis and colleagues with the Francis Scale of Attitude toward Christianity (and reflected in the Sahin-Francis Scale of Attitude toward Islam, the Katz-Francis Scale of Attitude toward Judaism, and the Santosh-Francis Scale of Attitude toward Hinduism) by introducing a new measure to assess the attitudinal disposition of Pagans. A battery of items was completed by 75 members of a Pagan Summer Camp. These items were reduced to produce a 21-item scale that measured aspects of Paganism concerned with: the God/Goddess, worshipping, prayer, and coven. The scale recorded an alpha coefficient of 0.93. Construct validity of the Williams Scale of Attitude toward Paganism was demonstrated by the clear association with measures of participation in private rituals

Accelerometer-Measured Moderate to Vigorous Physical Activity and Incidence Rates of Falls in Older Women

Objectives: To examine whether moderate to vigorous physical activity (MVPA) measured using accelerometry is associated with incident falls and whether associations differ according to physical function or history of falls. Design: Prospective study with baseline data collection from 2012 to 2014 and 1 year of follow-up. Setting: Women's Health Initiative participants living in the United States. Participants: Ambulatory women aged 63 to 99 (N = 5,545). Measurements: Minutes of MVPA per day measured using an accelerometer, functional status measured using the Short Physical Performance Battery (SPPB), fall risk factors assessed using a questionnaire, fall injuries assessed in a telephone interview, incident falls ascertained from fall calendars. Results: Incident rate ratios (IRRs) revealed greater fall risk in women in the lowest quartile of MVPA compared to those in the highest (IRR = 1.18, 95% confidence interval = 1.01–1.38), adjusted for age, race and ethnicity, and fall risk factors. Fall rates were not significantly associated with MVPA in women with high SPPB scores (9–12) or one or fewer falls in the previous year, but in women with low SPPB scores (≤ 8) or a history of frequent falls, fall rates were higher in women with lower MVPA levels than in those with higher levels (interaction P <.03 and <.001, respectively). Falls in women with MVPA above the median were less likely to involve injuries requiring medical treatment (9.9%) than falls in women with lower MVPA levels (13.0%) (P <.001). Conclusion: These findings indicate that falls are not more common or injurious in older women who engage in higher levels of MVPA. These findings support encouraging women to engage in the amounts and types of MVPA that they prefer. Older women with low physical function or frequent falls with low levels of MVPA are a high-risk group for whom vigilance about falls prevention is warranted

Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV

Results are presented from a search for a W' boson using a dataset corresponding to 5.0 inverse femtobarns of integrated luminosity collected during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV. The W' boson is modeled as a heavy W boson, but different scenarios for the couplings to fermions are considered, involving both left-handed and right-handed chiral projections of the fermions, as well as an arbitrary mixture of the two. The search is performed in the decay channel W' to t b, leading to a final state signature with a single lepton (e, mu), missing transverse energy, and jets, at least one of which is tagged as a b-jet. A W' boson that couples to fermions with the same coupling constant as the W, but to the right-handed rather than left-handed chiral projections, is excluded for masses below 1.85 TeV at the 95% confidence level. For the first time using LHC data, constraints on the W' gauge coupling for a set of left- and right-handed coupling combinations have been placed. These results represent a significant improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe

Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV

A search for a Higgs boson decaying into two photons is described. The analysis is performed using a dataset recorded by the CMS experiment at the LHC from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross section of the standard model Higgs boson decaying to two photons. The expected exclusion limit at 95% confidence level is between 1.4 and 2.4 times the standard model cross section in the mass range between 110 and 150 GeV. The analysis of the data excludes, at 95% confidence level, the standard model Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The largest excess of events above the expected standard model background is observed for a Higgs boson mass hypothesis of 124 GeV with a local significance of 3.1 sigma. The global significance of observing an excess with a local significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is estimated to be 1.8 sigma. More data are required to ascertain the origin of this excess.Comment: Submitted to Physics Letters

Measurement of the Lambda(b) cross section and the anti-Lambda(b) to Lambda(b) ratio with Lambda(b) to J/Psi Lambda decays in pp collisions at sqrt(s) = 7 TeV

The Lambda(b) differential production cross section and the cross section ratio anti-Lambda(b)/Lambda(b) are measured as functions of transverse momentum pt(Lambda(b)) and rapidity abs(y(Lambda(b))) in pp collisions at sqrt(s) = 7 TeV using data collected by the CMS experiment at the LHC. The measurements are based on Lambda(b) decays reconstructed in the exclusive final state J/Psi Lambda, with the subsequent decays J/Psi to an opposite-sign muon pair and Lambda to proton pion, using a data sample corresponding to an integrated luminosity of 1.9 inverse femtobarns. The product of the cross section times the branching ratio for Lambda(b) to J/Psi Lambda versus pt(Lambda(b)) falls faster than that of b mesons. The measured value of the cross section times the branching ratio for pt(Lambda(b)) > 10 GeV and abs(y(Lambda(b))) < 2.0 is 1.06 +/- 0.06 +/- 0.12 nb, and the integrated cross section ratio for anti-Lambda(b)/Lambda(b) is 1.02 +/- 0.07 +/- 0.09, where the uncertainties are statistical and systematic, respectively.Comment: Submitted to Physics Letters

Search for new physics in events with opposite-sign leptons, jets, and missing transverse energy in pp collisions at sqrt(s) = 7 TeV

A search is presented for physics beyond the standard model (BSM) in final states with a pair of opposite-sign isolated leptons accompanied by jets and missing transverse energy. The search uses LHC data recorded at a center-of-mass energy sqrt(s) = 7 TeV with the CMS detector, corresponding to an integrated luminosity of approximately 5 inverse femtobarns. Two complementary search strategies are employed. The first probes models with a specific dilepton production mechanism that leads to a characteristic kinematic edge in the dilepton mass distribution. The second strategy probes models of dilepton production with heavy, colored objects that decay to final states including invisible particles, leading to very large hadronic activity and missing transverse energy. No evidence for an event yield in excess of the standard model expectations is found. Upper limits on the BSM contributions to the signal regions are deduced from the results, which are used to exclude a region of the parameter space of the constrained minimal supersymmetric extension of the standard model. Additional information related to detector efficiencies and response is provided to allow testing specific models of BSM physics not considered in this paper.Comment: Replaced with published version. Added journal reference and DO

Measurement of isolated photon production in pp and PbPb collisions at sqrt(sNN) = 2.76 TeV

Isolated photon production is measured in proton-proton and lead-lead collisions at nucleon-nucleon centre-of-mass energies of 2.76 TeV in the pseudorapidity range |eta|<1.44 and transverse energies ET between 20 and 80 GeV with the CMS detector at the LHC. The measured ET spectra are found to be in good agreement with next-to-leading-order perturbative QCD predictions. The ratio of PbPb to pp isolated photon ET-differential yields, scaled by the number of incoherent nucleon-nucleon collisions, is consistent with unity for all PbPb reaction centralities.Comment: Submitted to Physics Letters