Viewpoint-based testing of concurrent components

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoints to devise a strategy for testing the components. When combining the test templates for the different viewpoints we focus on the observable behaviour of the application to systematically derive a practical testing strategy. The Producer-Consumer and Readers-Writers problems are considered as case studies

Model-independent search for CP violation in D0→K−K+π−π+ and D0→π−π+π+π− decays

A search for CP violation in the phase-space structures of D0 and View the MathML source decays to the final states K−K+π−π+ and π−π+π+π− is presented. The search is carried out with a data set corresponding to an integrated luminosity of 1.0 fb−1 collected in 2011 by the LHCb experiment in pp collisions at a centre-of-mass energy of 7 TeV. For the K−K+π−π+ final state, the four-body phase space is divided into 32 bins, each bin with approximately 1800 decays. The p-value under the hypothesis of no CP violation is 9.1%, and in no bin is a CP asymmetry greater than 6.5% observed. The phase space of the π−π+π+π− final state is partitioned into 128 bins, each bin with approximately 2500 decays. The p-value under the hypothesis of no CP violation is 41%, and in no bin is a CP asymmetry greater than 5.5% observed. All results are consistent with the hypothesis of no CP violation at the current sensitivity

Search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓

A search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓ is performed with a data sample, corresponding to an integrated luminosity of 1.0  fb-1 of pp collisions at √s=7  TeV, collected by the LHCb experiment. The observed number of Bs0→e±μ∓ and B0→e±μ∓ candidates is consistent with background expectations. Upper limits on the branching fractions of both decays are determined to be B(Bs0→e±μ∓)101  TeV/c2 and MLQ(B0→e±μ∓)>126  TeV/c2 at 95% C.L., and are a factor of 2 higher than the previous bounds

Branching fraction and CP asymmetry of the decays B+→K0Sπ+ and B+→K0SK+

An analysis of B+ → K0 Sπ+ and B+ → K0 S K+ decays is performed with the LHCb experiment. The pp collision data used correspond to integrated luminosities of 1 fb−1 and 2 fb−1 collected at centre-ofmass energies of √ s = 7 TeV and √ s = 8 TeV, respectively. The ratio of branching fractions and the direct CP asymmetries are measured to be B(B+ → K0 S K+ )/B(B+ → K0 Sπ+ ) = 0.064 ± 0.009 (stat.) ± 0.004 (syst.), ACP(B+ → K0 Sπ+ ) = −0.022 ± 0.025 (stat.) ± 0.010 (syst.) and ACP(B+ → K0 S K+ ) = −0.21 ± 0.14 (stat.) ± 0.01 (syst.). The data sample taken at √ s = 7 TeV is used to search for B+ c → K0 S K+ decays and results in the upper limit ( fc · B(B+ c → K0 S K+ ))/( fu · B(B+ → K0 Sπ+ )) < 5.8 × 10−2 at 90% confidence level, where fc and fu denote the hadronisation fractions of a ¯b quark into a B+ c or a B+ meson, respectively

Associations of common breast cancer susceptibility alleles with risk of breast cancer subtypes in BRCA1 and BRCA2 mutation carriers

Introduction: More than 70 common alleles are known to be involved in breast cancer (BC) susceptibility, and several exhibit significant heterogeneity in their associations with different BC subtypes. Although there are differences in the association patterns between BRCA1 and BRCA2 mutation carriers and the general population for several loci, no study has comprehensively evaluated the associations of all known BC susceptibility alleles with risk of BC subtypes in BRCA1 and BRCA2 carriers. Methods: We used data from 15,252 BRCA1 and 8,211 BRCA2 carriers to analyze the associations between approximately 200,000 genetic variants on the iCOGS array and risk of BC subtypes defined by estrogen receptor (ER), progesterone receptor (PR), human epidermal growth factor receptor 2 (HER2) and triple-negative- (TN) status; morphologic subtypes; histological grade; and nodal involvement. Results: The estimated BC hazard ratios (HRs) for the 74 known BC alleles in BRCA1 carriers exhibited moderate correlations with the corresponding odds ratios from the general population. However, their associations with ER-positive BC in BRCA1 carriers were more consistent with the ER-positive as

A study of CP violation in B-+/- -> DK +/- and B-+/- -> D pi(+/-) decays with D -> (KSK +/-)-K-0 pi(-/+) final states

A first study of CP violation in the decay modes B-+/- -> [(KSK +/-)-K-0 pi(-/+)](D)h(+/-) and B-+/- -> [(KSK +/-)-K-0 pi(-/+)](D)h(+/-), where h labels a K or pi meson and D labels a D-0 or (D) over bar (0) meson, is performed. The analysis uses the LHCb data set collected in pp collisions, corresponding to an integrated luminosity of 3 fb(-1). The analysis is sensitive to the CP-violating CKM phase gamma through seven observables: one charge asymmetry in each of the four modes and three ratios of the charge-integrated yields. The results are consistent with measurements of gamma using other decay modes

Measurement of ϒ production in pp collisions at √s = 2.76 TeV

The production of ϒ(1S), ϒ(2S) and ϒ(3S) mesons decaying into the dimuon final state is studied with the LHCb detector using a data sample corresponding to an integrated luminosity of 3.3 pb−1 collected in proton–proton collisions at a centre-of-mass energy of √s = 2.76 TeV. The differential production cross-sections times dimuon branching fractions are measured as functions of the ϒ transverse momentum and rapidity, over the ranges pT &#60; 15 GeV/c and 2.0 &#60; y &#60; 4.5. The total cross-sections in this kinematic region, assuming unpolarised production, are measured to be σ (pp → ϒ(1S)X) × B ϒ(1S)→μ+μ− = 1.111 ± 0.043 ± 0.044 nb, σ (pp → ϒ(2S)X) × B ϒ(2S)→μ+μ− = 0.264 ± 0.023 ± 0.011 nb, σ (pp → ϒ(3S)X) × B ϒ(3S)→μ+μ− = 0.159 ± 0.020 ± 0.007 nb, where the first uncertainty is statistical and the second systematic