Symbolic Quantitative Information Flow

acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages:

Vortex free energies in SO(3) and SU(2) lattice gauge theory

Lattice gauge theories with gauge groups SO(3) and SU(2) are compared. The free energy of electric twist, an order parameter for the confinement-deconfinement transition which does not rely on centre-symmetry breaking, is measured in both theories. The results are used to calibrate the scale in SO(3).Comment: 3 pages, 2 figures, talk presented at Lattice2002(topology

Vacuum phototriodes for the CMS electromagnetic calorimeter endcap

The measurement of scintillation light from the lead tungstate crystals of the Compact Muon Solenoid (CMS) electromagnetic calorimeter (ECAL) poses a substantial technical challenge, particularly in the endcap regions, where the radiation levels are highest. The photodetectors must be fast, sensitive, radiationhard, and operate with significant internal gain in a magnetic field of 4 Tesla. The measured performance characteristics of the first batches of series production vacuum phototriodes (VPT), developed to satisfy the needs of CMS, will be described

Temporal trends in mode, site and stage of presentation with the introduction of colorectal cancer screening: a decade of experience from the West of Scotland

background:  Population colorectal cancer screening programmes have been introduced to reduce cancer-specific mortality through the detection of early-stage disease. The present study aimed to examine the impact of screening introduction in the West of Scotland. methods:  Data on all patients with a diagnosis of colorectal cancer between January 2003 and December 2012 were extracted from a prospectively maintained regional audit database. Changes in mode, site and stage of presentation before, during and after screening introduction were examined. results:  In a population of 2.4 million, over a 10-year period, 14 487 incident cases of colorectal cancer were noted. Of these, 7827 (54%) were males and 7727 (53%) were socioeconomically deprived. In the postscreening era, 18% were diagnosed via the screening programme. There was a reduction in both emergency presentation (20% prescreening vs 13% postscreening, P0.001) and the proportion of rectal cancers (34% prescreening vs 31% pos-screening, P0.001) over the timeframe. Within non-metastatic disease, an increase in the proportion of stage I tumours at diagnosis was noted (17% prescreening vs 28% postscreening, P0.001). conclusions:  Within non-metastatic disease, a shift towards earlier stage at diagnosis has accompanied the introduction of a national screening programme. Such a change should lead to improved outcomes in patients with colorectal cancer

Near-Field Analysis of Terahertz Pulse Generation From Photo-Excited Charge Density Gradients

Excitation of photo-current transients at semiconductor surfaces by subpicosecond optical pulses gives rise to emission of electromagnetic pulses of terahertz (THz) frequency radiation. To correlate the THz emission with the photo-excited charge density distribution and the photo-current direction, we mapped near-field and far-field distributions of the generated THz waves from GaAs and Fe-doped InGaAs surfaces. The experimental results show that the charge dynamics in the plane of the surface can radiate substantially stronger THz pulses than the charge dynamics in the direction normal to the surface, which is generally regarded as the dominant origin of the emission

Concurrent adaptation to opposing visual displacements during an alternating movement.

It has been suggested that, during tasks in which subjects are exposed to a visual rotation of cursor feedback, alternating bimanual adaptation to opposing rotations is as rapid as unimanual adaptation to a single rotation (Bock et al. in Exp Brain Res 162:513–519, 2005). However, that experiment did not test strict alternation of the limbs but short alternate blocks of trials. We have therefore tested adaptation under alternate left/right hand movement with opposing rotations. It was clear that the left and right hand, within the alternating conditions, learnt to adapt to the opposing displacements at a similar rate suggesting that two adaptive states were formed concurrently. We suggest that the separate limbs are used as contextual cues to switch between the relevant adaptive states. However, we found that during online correction the alternating conditions had a significantly slower rate of adaptation in comparison to the unimanual conditions. Control conditions indicate that the results are not directly due the alternation between limbs or to the constant switching of vision between the two eyes. The negative interference may originate from the requirement to dissociate the visual information of these two alternating displacements to allow online control of the two arms

Two- and three-point functions in two-dimensional Landau-gauge Yang-Mills theory: Continuum results

We investigate the Dyson-Schwinger equations for the gluon and ghost propagators and the ghost-gluon vertex of Landau-gauge gluodynamics in two dimensions. While this simplifies some aspects of the calculations as compared to three and four dimensions, new complications arise due to a mixing of different momentum regimes. As a result, the solutions for the propagators are more sensitive to changes in the three-point functions and the ansaetze used for them at the leading order in a vertex a expansion. Here, we therefore go beyond this common truncation by including the ghost-gluon vertex self-consistently for the first time, while using a model for the three-gluon vertex which reproduces the known infrared asymptotics and the zeros at intermediate momenta as observed on the lattice. A separate computation of the three-gluon vertex from the results is used to confirm the stability of this behavior a posteriori. We also present further arguments for the absence of the decoupling solution in two dimensions. Finally, we show how in general the infrared exponent kappa of the scaling solutions in two, three and four dimensions can be changed by allowing an angle dependence and thus an essential singularity of the ghost-gluon vertex in the infrared.Comment: 24 pages; added references, improved choices of parameters for vertex models; identical to version published in JHE

Explanatory factors for health inequalities across different ethnic and gender groups: data from a national survey in England

BACKGROUND: The objective of this study was to examine the relative contribution of factors explaining ethnic health inequalities (EHI) in poor self-reported health (pSRH) and limiting long-standing illness (LLI) between Health Survey for England (HSE) participants. METHOD: Using HSE 2003-2006 data, the odds of reporting pSRH or of LLI in 8573 Bangladeshi, Black African, Black Caribbean, Chinese, Indian, Irish and Pakistani participants was compared with 28,470 White British participants. The effects of demographics, socioeconomic position (SEP), psychosocial variables, community characteristics and health behaviours were assessed using separate regression models. RESULTS: Compared with White British men, age-adjusted odds (OR, 95% CI) of pSRH were higher among Bangladeshi (2.05, 1.34 to 3.14), Pakistani (1.77, 1.34 to 2.33) and Black Caribbean (1.60, 1.18 to 2.18) men, but these became non-significant following adjustment for SEP and health behaviours. Unlike Black Caribbean men, Black African men exhibited a lower risk of age-adjusted pSRH (0.66, 0.43 to 1.00 (p=0.048)) and LLI (0.45, 0.28 to 0.72), which were significant in every model. Likewise, Chinese men had a lower risk of age-adjusted pSRH (0.51, 0.26 to 1.00 (p=0.048)) and LLI (0.22, 0.10 to 0.48). Except in Black Caribbean women, adjustment for SEP rendered raised age-adjusted associations for pSRH among Pakistani (2.51, 1.99 to 3.17), Bangladeshi (1.85, 1.08 to 3.16), Black Caribbean (1.78, 1.44 to 2.21) and Indian women (1.37, 1.13 to 1.66) insignificant. Adjustment for health behaviours had the largest effect for South Asian women. By contrast, Irish women reported better age-adjusted SRH (0.70, 1.51 to 0.96). CONCLUSIONS: SEP and health behaviours were major contributors explaining EHI. Policies to improve health equity need to monitor these pathways and be informed by them