We show that the cut-elimination for LKT, as presented in Danos et al.(1993), simulates the normalization for classical natural deduction(CND). Particularly, the denotation for CND inherits the one for LKT. Moreover the transform from CND proof (i.e., Parigot's -term) to LKT proof can be considered as a classical extension to call-by-name (CBN) CPS-transform.

The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a CND is constructed for the Qualitative Trajectory Calculus (QTC), being a calculus for representing and reasoning about movements of objects. The CND for QTC is based on two central concepts having their importance in...

BACKGROUND Many studies have reported that drainage after thyroidectomy does not decrease the rate of local postoperative complications. We sought to review the safety of thyroidectomy combined with cervical neck dissection (CND) without drainage. METHODS The medical records of consecutive patients who underwent thyroidectomy without drainage were retrospectively reviewed. Two groups were def...

Objectives. This study evaluated the benefits of performing prophylactic central neck dissection (CND) with total thyroidectomy (TT) in management of papillary thyroid carcinoma (PTC) patients who were clinically node-negative at presentation. Methods. A total of 257 patients with stage T1 or T2 PTC and without preoperative evidence of lymph node involvement (N0) were enrolled in this prospecti...

We derive the minimum variance quadratic unbiased estimator (MIVQUE) of the variance of the components of a random vector having a compound normal distribution (CND). We show that the MIVQUE converges in probability to a random variable whose distribution is essentially the mixing distribution characterising the CND. This fact is very important, because the MIVQUE allows us to make out the sign...

We present high spatial resolution (5.1 × 2.7) Owens Valley Radio Observatory (OVRO) millimeter array observations of HCN (J=1-0) and HCO (J=10) emission in the inner 3 pc of the Galaxy (0.04 pc ∼ 1). The HCN and HCO emission of the Circumnuclear Disk (CND) is distributed in a well-defined ring with a peak at a radius of 1.6 pc. The observed radial velocities are generally consistent with rotat...

BACKGROUND We describe a novel approach that harnesses the ubiquity of copy number deletion polymorphisms in human genomes to definitively detect and quantify chimeric DNA in clinical samples. Unlike other molecular approaches to chimerism analysis, the copy number deletion (CND) method targets genomic loci (>50 base pairs in length) that are wholly absent from wild-type (i.e., self) background...

OBJECTIVES/HYPOTHESIS To describe the clinical and audiometric characteristics of children with cochlear nerve dysplasia (CND). STUDY DESIGN Retrospective chart review of clinical database of children with inner ear anomalies treated at a tertiary care children's hospital. METHODS Institutional review board-approved retrospective review from June 30, 2006, to July 1, 2011; 18 children were ...