Testing for inherited thrombophilia does not reduce the recurrence of venous thrombosis\ud

Background: Inherited thrombophilia is only weakly associated with recurrence in patients with a first venous thrombosis (VT). In spite of this, thrombophilia testing is often performed in these patients. Positive results may influence patient management such as prolonged anticoagulant treatment or intensified prophylaxis in high-risk situations. Objective: To investigate whether thrombophilia testing reduces the risk of recurrent VT by virtue of these management alterations. Methods: From a large case–control study of patients (MEGA study), aged 18–70 years, with a first VT between 1999 and 2004, we selected 197 patients who had had a recurrence during follow-up. We compared the incidence of thrombophilia testing to that of a control cohort of 324 patients. We calculated the odds ratio (OR) for recurrent thrombosis in tested vs. non-tested patients. Only patients who were tested before recurrence were regarded as tested. All first and recurrent thrombotic events were objectively confirmed. Results: Thrombophilia tests were performed in 35% of cases and in 30% of controls. The OR for recurrence was 1.2 [95% confidence interval (CI) 0.9–1.8] for tested vs. non-tested patients. After correction for age, sex, family history, geographic region, presence of clinical risk factors, and year of first VT, the OR remained unchanged. Discussion: Thrombophilia testing in patients with a first VT does not reduce the incidence of recurrence in clinical practice.\u

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Evidence-based approach to thrombophilia testing

Thrombophilia can be identified in about half of all patients presenting with VTE. Testing has increased tremendously for various indications, but whether the results of such tests help in the clinical management of patients has not been settled. I use evidence from observational studies to conclude that testing for hereditary thrombophilia generally does not alter the clinical management of patients with VTE, with occasional exceptions for women at fertile age. Because testing for thrombophilia only serves limited purpose this should not be performed on a routine basis