Providing Automated Verification in HOL Using MDGs

While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a verification framework in which we attempt to strike the balance between the expressiveness of theorem proving and the efficiency and automation of state exploration techniques. To this end, we propose to integrate a layer of checking algorithms based on Multiway Decision Graphs (MDG) in the HOL theorem prover. We deeply embedded the MDG underlying logic in HOL and implemented a platform that provides a set of algorithms allowing the user to develop his/her own state-exploration based application inside HOL. While the verification problem is specified in HOL, the proof is derived by tightly combining the MDG based computations and the theorem prover facilities. We have been able to implement and experiment with different state exploration techniques within HOL such as MDG reachability analysis, equivalence and model checking

Initial results of secukinumab drug survival in patients with psoriasis: A multicentre daily practice cohort study

Interleukin 17-antagonist secukinumab demonstrated high efficacy for treatment of psoriasis in randomized controlled trials. However, performance in daily practice may differ from trials. Drug survival is a comprehensive outcome covering effectiveness and safety, suitable for analyses of daily practice. The aim of this study was to evaluate drug survival of secukinumab in a daily practice psoriasis cohort. Data were collected from 13 hospitals. Drug survival was analysed using Kaplan–Meier survival curves, split for reason of discontinuation. In total, 196 patients were included (83% biologic experienced). Overall, 12 and 18 months drug survival of secukinumab was 76% and 67%, respectively, and was mostly determined by ineffectiveness. There was a trend towards shorter drug survival in women and in biologic experienced patients. Thirteen percent of patients experienced at least one episode of fungal infection. This is one of the first studies of drug survival of secukinumab in patients with psoriasis treated in daily practice

Factors associated with psychological and physiological stress reactions to blood donation: a systematic review of the literature.

Contains fulltext : 155260.pdf (publisher's version ) (Open Access)1 juli 201

Negative experiences and predonation blood pressure at the subsequent donation in blood donors

BACKGROUND: Negative donation experiences, like being deferred or experiencing an adverse reaction, might upset blood donors, resulting in anticipatory stress responses such as elevated blood pressure at the subsequent visit. We therefore explored associations between blood donors' negative donation experiences and their blood pressure at the subsequent visit. STUDY DESIGN AND METHODS: Blood pressure of donors with no history of negative experiences in three consecutive donations was compared to the blood pressure of donors with a negative experience during the second of the three donations. Blood pressure (systolic and diastolic) measured prior to the third donation was compared between the two groups, using linear regression analyses. Two types of negative experiences (adverse reactions and deferral) were analysed, stratifying for donation type and sex, and adjusting for age and predonation blood pressure at baseline. Results : In total, 248 118 (50% female) donors were included in the analyses. Eleven per cent (26 380 donors, 61% female) had experienced a negative experience. Fainting and dizziness were associated with significant (P < 0.05) increases in systolic blood pressure: in men, 3.0 mmHg (fainting) and 2.0 mmHg (dizziness); in women, 2.0 mmHg (fainting) and 1.4 mmHg (dizziness). Deferral was associated with significant (P < 0.05) increases in both systolic (men: 0.7 mmHg, women: 0.3 mmHg) and diastolic (men: 0.2 mmHg, women: 0.3 mmHg) blood pressure. CONCLUSION: Whole blood donations with negative experiences were associated with a statistically significant higher predonation blood pressure at the subsequent visit. This indicates that negative experiences might cause an anticipatory stress reaction in a subsequent donation