Formal Derivation of Concurrent Garbage Collectors

Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specification, emphasizing the application of domain-independent design theories and transformations. A key contribution is an extension to the classical lattice-theoretic fixpoint theorems to account for the dynamics of concurrent mutation and collection.Comment: 38 pages, 21 figures. The short version of this paper appeared in the Proceedings of MPC 201

Radiative production of invisible charginos in photon photon collision

If in a supersymmetric model, the lightest chargino is nearly degenerate with the lightest neutralino, the former can decay into the latter alongwith a soft pion (or a lepton-neutrino pair). Near degeneracy of the chargino and neutralino masses can cause the other decay products (the pion or the lepton) to be almost invisible. Photon-photon colliders offer a possibility of clean detection of such an event through a hard photon tag.Comment: 12 pages, 5 postscript figure

Calculation of magnetic anisotropy energy in SmCo5

SmCo5 is an important hard magnetic material, due to its large magnetic anisotropy energy (MAE). We have studied the magnetic properties of SmCo5 using density functional theory (DFT) calculations where the Sm f-bands, which are difficult to include in DFT calculations, have been treated within the LDA+U formalism. The large MAE comes mostly from the Sm f-shell anisotropy, stemming from an interplay between the crystal field and the spin-orbit coupling. We found that both are of similar strengths, unlike some other Sm compounds, leading to a partial quenching of the orbital moment (f-states cannot be described as either pure lattice harmonics or pure complex harmonics), an optimal situation for enhanced MAE. A smaller portion of the MAE can be associated with the Co-d band anisotropy, related to the peak in the density of states at the Fermi energy. Our result for the MAE of SmCo5, 21.6 meV/f.u., agrees reasonably with the experimental value of 13-16 meV/f.u., and the calculated magnetic moment (including the orbital component) of 9.4 mu_B agrees with the experimental value of 8.9 mu_B.Comment: Submitted to Phys. Rev.

Precise Prediction for M_W in the MSSM

We present the currently most accurate evaluation of the W boson mass, M_W, in the Minimal Supersymmetric Standard Model (MSSM). The full complex phase dependence at the one-loop level, all available MSSM two-loop corrections as well as the full Standard Model result have been included. We analyse the impact of the different sectors of the MSSM at the one-loop level with a particular emphasis on the effect of the complex phases. We discuss the prediction for M_W based on all known higher-order contributions in representative MSSM scenarios. Furthermore we obtain an estimate of the remaining theoretical uncertainty from unknown higher-order corrections.Comment: 38 pages, 25 figures. Minor corrections, additional reference

Multimodal analysis of drug transporter expression in gastrointestinal tissue

Objectives: Drug transporters affect antiretroviral therapy (ART) tissue disposition, but quantitative measures of drug transporter protein expression across preclinical species are not available. Our objective was to use proteomics to obtain absolute transporter concentrations and assess agreement with corresponding gene and immunometric protein data. Design: In order to make interspecies comparisons, two humanized mouse [hu-HSC-Rag (n = 41); bone marrow-liver-thymus (n = 13)] and one primate [rhesus macaque (nonhuman primate, n = 12)] models were dosed to steady state with combination ART. Ileum and rectum were collected at necropsy and snap frozen for analysis. Methods: Tissues were analyzed for gene (quantitative PCR) and protein [liquid chromatography-mass spectrometry (LC-MS) proteomics and western blot] expression and localization (immunohistochemistry) of ART efflux and uptake transporters. Drug concentrations were measured by LC-MS/MS. Multivariable regression was used to determine the ability of transporter data to predict tissue ART penetration. Results: Analytical methods did not agree, with different trends observed for gene and protein expression. For example, quantitative PCR analysis showed a two-fold increase in permeability glycoprotein expression in nonhuman primates versus mice; however, proteomics showed a 200-fold difference in the opposite direction. Proteomics results were supported by immunohistochemistry staining showing extensive efflux transporter localization on the luminal surface of these tissues. ART tissue concentration was variable between species, and multivariable regression showed poor predictive power of transporter data. Conclusion: Lack of agreement between analytical techniques suggests that resources should be focused on generating downstream measures of protein expression to predict drug exposure. Taken together, these data inform the use of preclinical models for studying ART distribution and the design of targeted therapies for HIV eradication

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Measurement of the inclusive isolated prompt photon cross-section in pp collisions at sqrt(s)= 7 TeV using 35 pb-1 of ATLAS data

A measurement of the differential cross-section for the inclusive production of isolated prompt photons in pp collisions at a center-of-mass energy sqrt(s) = 7 TeV is presented. The measurement covers the pseudorapidity ranges |eta|<1.37 and 1.52<=|eta|<2.37 in the transverse energy range 45<=E_T<400GeV. The results are based on an integrated luminosity of 35 pb-1, collected with the ATLAS detector at the LHC. The yields of the signal photons are measured using a data-driven technique, based on the observed distribution of the hadronic energy in a narrow cone around the photon candidate and the photon selection criteria. The results are compared with next-to-leading order perturbative QCD calculations and found to be in good agreement over four orders of magnitude in cross-section.Comment: 7 pages plus author list (18 pages total), 2 figures, 4 tables, final version published in Physics Letters