Stroke from A Large Left Atrial Myxoma

A 36-year-old male involved in a car accident was found to have an embolic stroke due to a left atrial myxoma. Open heart surgery was delayed 4 weeks to decrease the risk of neurologic complications from the anticoagulation required for cardiopulmonary bypass. After resection of the myxoma, intraoperative transesophageal echocardiography found severe mitral regurgitation, which was repaired

The Anticoagulation of Calf Thrombosis (ACT) project: study protocol for a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Half of all lower limb deep vein thrombi (DVT) in symptomatic ambulatory patients are located in the distal (calf) veins. While proximal disease warrants therapeutic anticoagulation to reduce the associated risks, distal DVT often goes untreated. However, a proportion of untreated distal disease will undoubtedly propagate or embolize. Concern also exists that untreated disease could lead to long-term post thrombotic changes. Currently, it is not possible to predict which distal thrombi will develop such complications. Whether these potential risks outweigh those associated with unrestricted anticoagulation remains unclear. The Anticoagulation of Calf Thrombosis (ACT) trial aims to compare therapeutic anticoagulation against conservative management for patients with acute symptomatic distal deep vein thrombosis.</p> <p>Methods</p> <p>ACT is a pragmatic, open-label, randomized controlled trial. Adult patients diagnosed with acute distal DVT will be allocated to either therapeutic anticoagulation or conservative management. All patients will undergo 3 months of clinical and assessor blinded sonographic follow-up, followed by 2-year final review. The project will commence initially as an external pilot study, recruiting over a 16-month period at a single center to assess feasibility measures and clinical event rates. Primary outcome measures will assess feasibility endpoints. Secondary clinical outcomes will be collected to gather accurate data for the design of a definitive clinical trial and will include: (1) a composite endpoint combining thrombus propagation to the popliteal vein or above, development of symptomatic pulmonary embolism or sudden death attributable to venous thromboembolic disease; (2) the incidence of major and minor bleeding episodes; (3) the incidence of post-thrombotic leg syndrome at 2 years using a validated screening tool; and (4) the incidence of venous thromboembolism (VTE) recurrence at 2 years.</p> <p>Discussion</p> <p>The ACT trial will explore the feasibility of comparing therapeutic anticoagulation to conservative management in acute distal DVT, within a modern cohort. We also aim to provide contemporary data on clot propagation, bleeding rates and long-term outcomes within both groups. These results will inform the conduct of a definitive study if feasibility is established.</p> <p>Trial registration</p> <p>Current Controlled Trials <a href="http://www.controlled-trials.com/ISRCTN75175695">ISRCTN75175695</a></p

Controversies in the antiphospholipid syndrome: can we ever stop warfarin?

Patients with antiphospholipid syndrome are at increased risk for recurrent arterial and venous thrombosis and therefore benefit from long term warfarin therapy. The optimal duration of warfarin therapy after a first venous thromboembolic event is however a matter of some controversy and many questions remain unanswered. After reviewing and analysing the available evidence, we discuss some common scenarios in everyday clinical practice where treatment decisions are difficult

Rasiowa–Sikorski deduction systems in computer science applications

AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency