We undertook a prospective, randomised study in order to evaluate the efficacy of clamping the drains after intra-articular injection of saline with 1:500 000 adrenaline compared with post-operative blood salvage in reducing blood loss in 212 total knee arthroplasties. The mean post-operative drained blood volume after drain clamping was 352.1 ml compared to 662.3 ml after blood salvage (p < 0....

This theory defines the type inference rules and the type inference algorithm W for MiniML (simply-typed lambda terms with let) due to Milner. It proves the soundness and completeness of W w.r.t. the rules. A report describing the theory is found in [1] and [2]. 1 Universal error monad theory Maybe imports Main begin definition option_bind :: "[’a option, ’a => ’b option] => ’b option" where "o...

We describe here HOL-ML, an encoding of a subset of SML and its dynamic semantics (as described by The Definition of Standard ML) in HOL. This encoding, which is the first stage in a project that will include typechecking and SML Modules, allows the formal study of the evaluation of a real programming language including state and control constructs (exceptions). In this paper we describe the su...

A lthough it sounds disastrous, making a $100,000 mistake seems relatively minor when stockbrokers have lost millions by hitting the wrong key. The following case proved to be different, however. An ordinary bank customer, Grete Fossbakk, used Internet banking to transfer a large amount to her daughter. She keyed one digit too many into the account number field, however, inadvertently sending t...

Sir, Hepatitis B (HBV) and hepatitis C (HCV) are chronic viral liver infections representing a substantial health burden in the US and elsewhere. 1 The impetus to 'push the treatment envelope' results in treatment of a patient group with co-morbid serious psychiatric illness that amplifies treatment challenges. We describe a HBV/HCV co-infected patient with cirrhosis and psychotic illness. A 39...

AIMS Denosumab is a fully human monoclonal immunoglobulin G2 antibody that inhibits bone resorption and increases bone mass and strength. The present clinical study assessed serum and seminal fluid pharmacokinetics following a single denosumab dose in healthy men, and evaluated whether denosumab in seminal fluid poses any risk to a fetus in the event of unprotected sexual intercourse with a pre...

OBJECTIVE To better define the typical and atypical biochemical profiles of patients with surgically proven primary hyperparathyroidism. METHODS In this single-center, prospectively conducted study of consecutive patients with surgically proven primary hyperparathyroidism over a 7-year period, we analyzed serum calcium, parathyroid hormone, and 25-hydroxyvitamin D concentrations. RESULTS A ...