Boosting Multi-Core Reachability Performance with Shared Hash Tables

This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficient solution is the storage of visited states. In related work, static partitioning of the state space was combined with thread-local storage and resulted in reasonable speedups, but left open whether improvements are possible. In this paper, we present a scaling solution for shared state storage which is based on a lockless hash table implementation. The solution is specifically designed for the cache architecture of modern CPUs. Because model checking algorithms impose loose requirements on the hash table operations, their design can be streamlined substantially compared to related work on lockless hash tables. Still, an implementation of the hash table presented here has dozens of sensitive performance parameters (bucket size, cache line size, data layout, probing sequence, etc.). We analyzed their impact and compared the resulting speedups with related tools. Our implementation outperforms two state-of-the-art multi-core model checkers (SPIN and DiVinE) by a substantial margin, while placing fewer constraints on the load balancing and search algorithms.Comment: preliminary repor

High-fidelity, near-field microwave gates in a cryogenic surface trap

We present a novel dynamical decoupling strategy for near field microwave gradient driven, Mølmer-Sørensen style, two-ion quantum logic gates, which suppresses errors from both fluctuations in the qubit frequency and imperfection in the decoupling drive itself. Using a microwave-integrated surface-trap which is operated cryogenically at 25 K and a magnetically insensitive 43-Ca+ qubit at 288 G, we demonstrate a 331 us two-ion quantum logic gates, with 4.9(11)e-3 logic error probability. This is below the 1% error threshold required for quantum error correction and represents a ~10x gate time reduction when compared to previously demonstrated near field gradient driven microwave gates below the 1% error probability threshold. Additionally, two faster gates were demonstrated without the use of dynamical decoupling. Respectively, these two gates had gate operation durations of 216.8 us & 153.8 us and measured gate error probabilities of 8.5(20)e-3 & 9.8(21)e-3. Further, we develop a method for rapid calculation of ion transport operations. We successfully demonstrate ion transport as well as crystal splitting and merging operations within two different ion traps using the waveforms calculated by this ion transport toolbox

Probing Nuclear Effects at the T2K Near Detector Using Single-Transverse Kinematic Imbalance

In order to make precision measurements of neutrino oscillations using few-GeV neutrino beams a detailed understanding of nuclear effects in neutrino scattering is essential. Recent studies have revealed that single-transverse kinematic imbalance (STKI), defined in the plane transverse to an incoming neutrino beam, can act as a unique probe of these nuclear effects. This work first illustrates that an exclusive measurement of STKI at the off-axis near detector of the T2K experiment (ND280) is expected to distinguish the presence of interactions with two nucleons producing two holes (2p-2h) from alterations of the predominant underlying cross-section parameter (MA- the nucleon axial mass). Such a measurement is then demonstrated with fake data, showing substantial nuclear model separation potential

Randomised controlled trial of gabapentin in Complex Regional Pain Syndrome type 1 [ISRCTN84121379]

BACKGROUND: Complex Regional Pain Syndrome type one (CRPS I) or formerly Reflex Sympathetic Dystrophy (RSD) is a disabling syndrome, in which a painful limb is accompanied by varying symptoms. Neuropathic pain is a prominent feature of CRPS I, and is often refractory to treatment. Since gabapentin is an anticonvulsant with a proven analgesic effect in various neuropathic pain syndromes, we sought to study the efficacy of the anticonvulsant gabapentin as treatment for pain in patients with CRPS I. METHODS: We did a randomized double blind placebo controlled crossover study with two three-weeks treatment periods with gabapentin and placebo separated by a two-weeks washout period. Patients started at random with gabapentin or placebo, which was administered in identical capsules three times daily. We included 58 patients with CRPS type 1. RESULTS: Patients reported significant pain relief in favor of gabapentin in the first period. Therapy effect in the second period was less; finally resulting in no significant effect combining results of both periods. The CRPS patients had sensory deficits at baseline. We found that this sensory deficit was significantly reversed in gabapentin users in comparison to placebo users. CONCLUSIONS: Gabapentin had a mild effect on pain in CRPS I. It significantly reduced the sensory deficit in the affected limb. A subpopulation of CRPS patients may benefit from gabapentin

High-resolution infrared studies of the ν10, ν11, ν14, and ν18 levels of [1.1.1]propellane

This paper is a continuation of earlier work in which the high resolution infrared spectrum of [1.1.1]propellane was measured and its k and l structure resolved for the first time. Here we present results from an analysis of more than 16,000 transitions involving three fundamental bands v₁₀ (E' - A'₁), v₁₁ (E' - A'₁), v₁₄ (A"₂ - A'₁) and two difference bands (v₁₀–v₁₈) (E' - E") and (v₁₁ - v₁₈) (E' - E"). Additional information about v₁₈ was also obtained from the difference band (v₁₅ + v₁₈) - v₁₈ (E' - E") and the binary combination band (v₁₅ + v₁₈) (E' - A'₁). Through the use of the ground state constants reported in an earlier paper [1], rovibrational constants have been determined for all the vibrational states involved in these bands. The rovibrational parameters for the v₁₈ (E") state were obtained from combination–differences and showed no need to include interactions with other states. The v₁₀ (E') state analysis was also straight-forward, with only a weak Coriolis interaction with the levels of the v₁₄ (A"₂) state. The latter levels are much more affected by a strong Coriolis interaction with the levels of the nearby v₁₁ (E') state and also by a small but significant interaction with another state, presumably the v₁₆ (E") state, that is not directly observed. Gaussian calculations (B3LYP/cc-pVTZ) computed at the anharmonic level aided the analyses by providing initial values for many of the parameters. These theoretical results generally compare favorably with the final parameter values deduced from the spectral analyses. Finally, evidence was obtained for several level crossings between the rotational levels of the v₁₁ and v₁₄ states and, using a weak coupling term corresponding to a Δk = ±5, Δl = ∓1 matrix element, it was possible to find transitions from the ground state that, combined with transitions to the same upper state, give a value of C₀ = 0.1936515(4) cm⁻¹. This result, combined with the value of B₀ = 0.28755833(14) cm⁻¹ reported earlier [1], yields a value of 1.586277(3) Å for the length of the novel axial CC bond in propellane

Annihilation of structural defects in chalcogenide absorber films for high-efficiency solar cells

Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.In polycrystalline semiconductor absorbers for thin-film solar cells, structural defects may enhance electron-hole recombination and hence lower the resulting energy conversion efficiency. To be able to efficiently design and optimize fabrication processes that result in high-quality materials, knowledge of the nature of structural defects as well as their formation and annihilation during film growth is essential. Here we show that in co-evaporated Cu(In,Ga)Se-2 absorber films the density of defects is strongly influenced by the reaction path and substrate temperature during film growth. A combination of high-resolution electron microscopy, atomic force microscopy, scanning tunneling microscopy, and X-ray diffraction shows that Cu(In,Ga)Se-2 absorber films deposited at low temperature without a Cu-rich stage suffer from a high density of - partially electronically active - planar defects in the {112} planes. Real-time X-ray diffraction reveals that these faults are nearly completely annihilated during an intermediate Cu-rich process stage with [Cu]/([In] + [Ga]) > 1. Moreover, correlations between real-time diffraction and fluorescence analysis during Cu-Se deposition reveal that rapid defect annihilation starts shortly before the start of segregation of excess Cu-Se at the surface of the Cu(In,Ga)Se-2 film. The presented results hence provide direct insights into the dynamics of the film-quality-improving mechanism

Prevalence of pathogenic BRCA1/2 germline mutations among 802 women with unilateral triple-negative breast cancer without family cancer history

Background: There is no international consensus up to which age women with a diagnosis of triple-negative breast cancer (TNBC) and no family history of breast or ovarian cancer should be offered genetic testing for germline BRCA1 and BRCA2 (gBRCA) mutations. Here, we explored the association of age at TNBC diagnosis with the prevalence of pathogenic gBRCA mutations in this patient group. Methods: The study comprised 802 women (median age 40 years, range 19–76) with oestrogen receptor, progesterone receptor, and human epidermal growth factor receptor type 2 negative breast cancers, who had no relatives with breast or ovarian cancer. All women were tested for pathogenic gBRCA mutations. Logistic regression analysis was used to explore the association between age at TNBC diagnosis and the presence of a pathogenic gBRCA mutation. Results: A total of 127 women with TNBC (15.8%) were gBRCA mutation carriers (BRCA1: n = 118, 14.7%; BRCA2: n = 9, 1.1%). The mutation prevalence was 32.9% in the age group 20–29 years compared to 6.9% in the age group 60–69 years. Logistic regression analysis revealed a significant increase of mutation frequency with decreasing age at diagnosis (odds ratio 1.87 per 10 year decrease, 95%CI 1.50–2.32, p < 0.001). gBRCA mutation risk was predicted to be > 10% for women diagnosed below approximately 50 years. Conclusions: Based on the general understanding that a heterozygous mutation probability of 10% or greater justifies gBRCA mutation screening, women with TNBC diagnosed before the age of 50 years and no familial history of breast and ovarian cancer should be tested for gBRCA mutations. In Germany, this would concern approximately 880 women with newly diagnosed TNBC per year, of whom approximately 150 are expected to be identified as carriers of a pathogenic gBRCA mutation

Nuclear receptor coregulator SNP discovery and impact on breast cancer risk

<p>Abstract</p> <p>Background</p> <p>Coregulator proteins are "master regulators", directing transcriptional and posttranscriptional regulation of many target genes, and are critical in many normal physiological processes, but also in hormone driven diseases, such as breast cancer. Little is known on how genetic changes in these genes impact disease development and progression. Thus, we set out to identify novel single nucleotide polymorphisms (SNPs) within SRC-1 (NCoA1), SRC-3 (NCoA3, AIB1), NCoR (NCoR1), and SMRT (NCoR2), and test the most promising SNPs for associations with breast cancer risk.</p> <p>Methods</p> <p>The identification of novel SNPs was accomplished by sequencing the coding regions of these genes in 96 apparently normal individuals (48 Caucasian Americans, 48 African Americans). To assess their association with breast cancer risk, five SNPs were genotyped in 1218 familial BRCA1/2-mutation negative breast cancer cases and 1509 controls (rs1804645, rs6094752, rs2230782, rs2076546, rs2229840).</p> <p>Results</p> <p>Through our resequencing effort, we identified 74 novel SNPs (30 in NCoR, 32 in SMRT, 10 in SRC-3, and 2 in SRC-1). Of these, 8 were found with minor allele frequency (MAF) >5% illustrating the large amount of genetic diversity yet to be discovered. The previously shown protective effect of rs2230782 in SRC-3 was strengthened (OR = 0.45 [0.21-0.98], p = 0.04). No significant associations were found with the other SNPs genotyped.</p> <p>Conclusions</p> <p>This data illustrates the importance of coregulators, especially SRC-3, in breast cancer development and suggests that more focused studies, including functional analyses, should be conducted.</p

Polygenic risk scores indicate extreme ages at onset of breast cancer in female BRCA1/2 pathogenic variant carriers

BACKGROUND: Clinical management of women carrying a germline pathogenic variant (PV) in the BRCA1/2 genes demands for accurate age-dependent estimators of breast cancer (BC) risks, which were found to be affected by a variety of intrinsic and extrinsic factors. Here we assess the contribution of polygenic risk scores (PRSs) to the occurrence of extreme phenotypes with respect to age at onset, namely, primary BC diagnosis before the age of 35 years (early diagnosis, ED) and cancer-free survival until the age of 60 years (late/no diagnosis, LD) in female BRCA1/2 PV carriers. METHODS: Overall, estrogen receptor (ER)-positive, and ER-negative BC PRSs as developed by Kuchenbaecker et al. for BC risk discrimination in female BRCA1/2 PV carriers were employed for PRS computation in a curated sample of 295 women of European descent carrying PVs in the BRCA1 (n=183) or the BRCA2 gene (n=112), and did either fulfill the ED criteria (n=162, mean age at diagnosis: 28.3 years, range: 20 to 34 years) or the LD criteria (n=133). Binomial logistic regression was applied to assess the association of standardized PRSs with either ED or LD under adjustment for patient recruitment criteria for germline testing and localization of BRCA1/2 PVs in the corresponding BC or ovarian cancer (OC) cluster regions. RESULTS: For BRCA1 PV carriers, the standardized overall BC PRS displayed the strongest association with ED (odds ratio (OR) = 1.62; 95% confidence interval (CI): 1.16–2.31, p<0.01). Additionally, statistically significant associations of selection for the patient recruitment criteria for germline testing and localization of pathogenic PVs outside the BRCA1 OC cluster region with ED were observed. For BRCA2 PV carriers, the standardized PRS for ER-negative BC displayed the strongest association (OR = 2.27, 95% CI: 1.45–3.78, p<0.001). CONCLUSIONS: PRSs contribute to the development of extreme phenotypes of female BRCA1/2 PV carriers with respect to age at primary BC diagnosis. Construction of optimized PRS SNP sets for BC risk stratification in BRCA1/2 PV carriers should be the task of future studies with larger, well-defined study samples. Furthermore, our results provide further evidence, that localization of PVs in BC/OC cluster regions might be considered in BC risk calculations for unaffected BRCA1/2 PV carriers