E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

One year effectiveness of an app-based treatment for urinary incontinence in comparison to care as usual in Dutch general practice:A pragmatic randomised controlled trial over 12 months

OBJECTIVE: To assess the long-term effectiveness of app-based treatment for female stress, urgency, or mixed urinary incontinence (UI) compared to care-as-usual in primary care. DESIGN: A pragmatic, randomised controlled, superiority trial. SETTING: Primary care in the Netherlands from 2015 to 2018, follow-up at 12 months. POPULATION: Women with ≥2 UI-episodes per week, access to mobile apps, wanting treatment. 262 women randomised equally to app or care-as-usual; 89 (68%) and 83 (63%) attended one year follow-up. INTERVENTIONS: The standalone app included conservative management for UI with motivation aids (e.g., reminders). Care-as-usual delivered according to the Dutch GP guideline for UI. MAIN OUTCOME MEASURES: Effectiveness assessed by the change in symptom severity score (ICIQ-UI-SF) and the change in quality of life (ICIQ-LUTS-QoL) with linear regression on an intention-to-treat basis. RESULTS: Clinically relevant improvement of UI severity for both app (-2.17 ± 2.81) and care-as-usual (-3.43 ± 3.6), with a non-significant mean difference of 0.903 (-0.66 to 1.871). CONCLUSION: App-based treatment is a viable alternative to care-as-usual for UI in primary care in terms of effectiveness after one year

Cost-effectiveness of an app-based treatment for urinary incontinence in comparison with care-as-usual in Dutch general practice:a pragmatic randomised controlled trial over 12 months

OBJECTIVE: To assess the cost-effectiveness of app-based treatment for female stress, urgency, or mixed urinary incontinence (UI) compared to care-as-usual in Dutch primary care. DESIGN: A pragmatic, randomised controlled, superiority trial. SETTING: Primary care in the Netherlands from 2015 to 2018, follow-up at 12 months. POPULATION: Women with ≥2 UI-episodes per week, access to mobile apps, wanting treatment. INTERVENTIONS: The standalone app included conservative management for UI with motivation aids (e.g., reminders). Care-as-usual delivered according to the Dutch GP guideline for UI. MAIN OUTCOME MEASURES: Costs and cost-effectiveness and -utility were assessed from a societal perspective, based on Incontinence Impact Adjusted Life Years (IIALYs), Quality Adjusted Life years (QALYs) and medical, non-medical and productivity costs. Information on costs was obtained with the iMCQ and iPCQ questionnaires (Medical Consumption and Productivity Cost Questionnaires). RESULTS: 262 women randomised equally to app or care-as-usual; 89 (68%) and 83 (63%) attended follow-up. Costs were lower for app-based treatment with €-161 (95%CI: -180 to -151) per year. Cost-effectiveness showed small mean differences in effect for IIALY (0.04) and QALY (-0.03) and thus larger ICER (-€3,696) and ICUR (€6,379) (Incremental Cost-Effectiveness and Cost-utility Ratios). CONCLUSION: App-based treatment is a cost-effective alternative to care-as-usual for women with UI in Dutch primary care

Experimental loophole-free violation of a Bell inequality using entangled electron spins separated by 1.3 km

For more than 80 years, the counterintuitive predictions of quantum theory have stimulated debate about the nature of reality. In his seminal work, John Bell proved that no theory of nature that obeys locality and realism can reproduce all the predictions of quantum theory. Bell showed that in any local realist theory the correlations between distant measurements satisfy an inequality and, moreover, that this inequality can be violated according to quantum theory. This provided a recipe for experimental tests of the fundamental principles underlying the laws of nature. In the past decades, numerous ingenious Bell inequality tests have been reported. However, because of experimental limitations, all experiments to date required additional assumptions to obtain a contradiction with local realism, resulting in loopholes. Here we report on a Bell experiment that is free of any such additional assumption and thus directly tests the principles underlying Bell's inequality. We employ an event-ready scheme that enables the generation of high-fidelity entanglement between distant electron spins. Efficient spin readout avoids the fair sampling assumption (detection loophole), while the use of fast random basis selection and readout combined with a spatial separation of 1.3 km ensure the required locality conditions. We perform 245 trials testing the CHSH-Bell inequality $S \leq 2$ and find $S = 2.42 \pm 0.20$. A null hypothesis test yields a probability of $p = 0.039$ that a local-realist model for space-like separated sites produces data with a violation at least as large as observed, even when allowing for memory in the devices. This result rules out large classes of local realist theories, and paves the way for implementing device-independent quantum-secure communication and randomness certification.Comment: Raw data will be made available after publicatio

Antecedents and consequences of effectuation and causation in the international new venture creation process

The selection of the entry mode in an international market is of key importance for the venture. A process-based perspective on entry mode selection can add to the International Business and International Entrepreneurship literature. Framing the international market entry as an entrepreneurial process, this paper analyzes the antecedents and consequences of causation and effectuation in the entry mode selection. For the analysis, regression-based techniques were used on a sample of 65 gazelles. The results indicate that experienced entrepreneurs tend to apply effectuation rather than causation, while uncertainty does not have a systematic influence. Entrepreneurs using causation-based international new venture creation processes tend to engage in export-type entry modes, while effectuation-based international new venture creation processes do not predetermine the entry mod

Free energies of binding of R- and S-propranolol to wild-type and F483A mutant cytochrome P450 2D6 from molecular dynamics simulations

Detailed molecular dynamics (MD) simulations have been performed to reproduce and rationalize the experimental finding that the F483A mutant of CYP2D6 has lower affinity for R-propranolol than for S-propranolol. Wild-type (WT) CYP2D6 does not show this stereospecificity. Four different approaches to calculate the free energy differences have been investigated and were compared to the experimental binding data. From the differences between calculations based on forward and backward processes and the closure of thermodynamic cycles, it was clear that not all simulations converged sufficiently. The approach that calculates the free energies of exchanging R-propranolol with S-propranolol in the F483A mutant relative to the exchange free energy in WT CYP2D6 accurately reproduced the experimental binding data. Careful inspection of the end-points of the MD simulations involved in this approach, allowed for a molecular interpretation of the observed differences

Inflammatory breast cancer shows angiogenesis with high endothelial proliferation rate and strong E-cadherin expression

status: publishe

Endogenous sex hormones and prostate cancer: a quantitative review of prospective studies

This paper presents a quantitative review of the data from eight prospective epidemiological studies, comparing mean serum concentrations of sex hormones in men who subsequently developed prostate cancer with those in men who remained cancer free. The hormones reviewed have been postulated to be involved in the aetiology of prostate cancer: androgens and their metabolites testosterone (T), non-SHBG-bound testosterone (non-SHBG-bound T), di-hydrotestosterone (DHT), androstanediol glucuronide (A-diol-g), androstenedione (A-dione), dehydroepiandrosterone sulphate (DHEAS), sex hormone binding globulin (SHBG), the oestrogens, oestrone and oestradiol, luteinizing hormone (LH) and prolactin. The ratio of the mean hormone concentration in prostate cancer cases to that of controls (and its 95% confidence interval (CI)) was calculated for each study, and the results summarized by calculating the weighted average of the log ratios. No differences in the average concentrations of the hormones were found between prostate cancer cases and controls, with the possible exception of A-diol-g which exhibited a 5% higher mean serum concentration among cases relative to controls (ratio 1.05, 95% CI 1.00-1.11), based on 644 cases and 1048 controls. These data suggest that there are no large differences in circulating hormones between men who subsequently go on to develop prostate cancer and those who remain free of the disease. Further research is needed to substantiate the small difference found in A-diol-g concentrations between prostate cancer cases and controls