INTRODUCTION Accidental immersion in cold water is an occupational risk. Work suits and life jackets (LJ) should work effectively in combination to keep the airway clear of the water (freeboard) and enable self-righting. We hypothesized that inherent buoyancy, in the suit or LJ, would be beneficial for enabling freeboard, but its distribution may influence LJ self-righting. METHODS Six partic...

In this paper, we investigate translations from a classical cut-free sequent calculus LK into an intuitionistic cut-free sequent calculus LJ. Translations known from the literature rest on permutations of inferences in classical proofs. We show that, for some classes of rst-order formulae, all minimal LJ-proofs are non-elementary but there exist short LK-proofs of the same formula. Similar resu...

We evaluated a new mycobacterial culture system, MB Redox, for recovery rate and time to detection of mycobacteria from 742 consecutive respiratory specimens and compared the results to those found with Löwenstein-Jensen (LJ) medium. Twenty specimens (2.7%) were positive for M. tuberculosis: 17 on LJ medium and 19 in MB Redox, with 16 specimens positive in both media. In addition, 24 specimens ...

The origin of this study is the 1993 International Mathematical Olympiads, held at Istanbul, Turkey. Problem # 6, which occurred on day 2, reads: Let n > 1 be an integer. There are n lamps L0, . . . , Ln−1 arranged in a circle. Each lamp is either ON or OFF. A sequence of steps S0, S1, . . . , Sj , . . . is carried out. Step Sj affects the state of Lj only (leaving the state of all others lamps...

SETTINGS Tuberculosis (TB) diagnostic laboratories in Latin America. OBJECTIVES Evaluation of thin-layer agar (TLA) compared to Löwenstein-Jensen (LJ) culture for the diagnosis of TB. DESIGN Phase II prospective study in six laboratories. Samples included sputum and extra-pulmonary specimens from patients with a clinical diagnosis of TB. Respiratory samples were decontaminated using NaOH/ N...

In this study, a temperature-dependent of the dispersion coefficients is calculated from equation state.The Lennard-Jones LJ (12-6-3) effective pair potential function and simple thermodynamic argumentwith the input PVT data of liquid metals are used to calculate the dispersion coefficients. The dispersioncoefficients ( , , ) 3 6 12 C C C are found to be a linear function of 1/T1+α , where T is...

BACKGROUND Traditionally, the Lowenstein Jensen (LJ) medium has been used for culturing Mycobacterium tuberculosis. In abdominal tuberculosis (TB), the reported yield from tissue culture is between 20% and 60%. Liquid cultures are reported to give a higher yield but there is little data available in abdominal TB. AIM To compare the yield of TB culture with BACTEC 460TB liquid medium and LJ me...

The intersection type assignment system IT uses the formulas of the negative fragment of the predicate calculus (LJ) as types for the λ-terms. However, the deductions of IT only correspond to the proper sub-set of the derivations of LJ, obtained by imposing a metatheoretic condition about the use of the conjunction of LJ. This paper proposes a logical foundation for IT. This is done by introduc...