Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when information is gathered from multiple sources). In this paper we propose the use of quasi-boolean multi-valued logics for reasoning about such systems. We also give semantics to a multi-valued extension of CTL, descr...

We present the evolution of testing algorithms at our institution in which the C. Diff Quik Chek Complete immunochromatographic cartridge assay determines the presence of both glutamate dehydrogenase and Clostridium difficile toxins A and B as a primary screen for C. difficile infection and indeterminate results (glutamate dehydrogenase positive, toxin A and B negative) are confirmed by the Gen...

3 Chen Zhang, Chek Kun Tan, Craig McFarlane, Mridula Sharma, Nguan Soon Tan*, Ravi 4 Kambadur,*# 5 1. School of Biological Sciences, Nanyang Technological University, Singapore 637551. 6 2 Singapore Institute for Clinical Sciences, A*STAR, 30 Medical Centre Drive, National 7 University of Singapore, Singapore 8 3 Department of Biochemistry, YLL School of Medicine, National University of 9 Singa...

In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois and minimal negations, calling the resulting language CTL. We define CTL operators and show that they can be computed using fixpoints. We further discuss how to extend our existing multi-valued model-checker Chek [8] to re...

Of 50 blood culture sets, 20 Bacto (Difco Laboratories, Detroit, Mich.), 20 Septi-Chek (Hoffmann-La Roche, Inc., Nutley, N.J.), and 10 BACTEC 6B and 7D (Johnston Laboratories, Inc., Towson, Md.) sets were inoculated with Campylobacter pylori and fresh human blood. None of the 50 blood cultures produced any detectable growth. Current commercial blood culture systems may be inadequate for the det...

Introduction: The knowledge about the biology of obesity and apoptosis induction adipose-derived stem cells (ADSCs) may support in development new therapies. Objective: present research aimed to investigate toxicogenic effect all-trans retinoic acid (ATRA) as well its influence adipogenic differentiation expression genes related DNA damage, cell cycle thermogenesis. Methodology: Cell cultures h...

The sterility of previously assembled cardiopulmonary bypass circuits was investigated for 17 extracorporeal circuits. The closed circuits were assembled using aseptic technique and remained in the operating room until the time of use. The mean time from point of setup to point of priming for the 17 randomly chosen circuits was 21.47 hours, with a range of 13.50 to 60.50 hours. Circuits were pr...

Opisthorchis viverrini infection was found to be highly prevalent in 3 riverside villages (Ang Svay Chek A, B, and C) of the Prey Kabas District, Takeo Province. This area is located in the southern part of Cambodia, where the recovery of adult O. viverrini worms was recently reported. From May 2006 until May 2010, fecal examinations were performed on a total of 1,799 villagers using the Kato-K...