Learn More
We have created a content-based image retrieval framework for computed tomography images of pulmonary nodules. When presented with a nodule image, the system retrieves images of similar nodules from a collection prepared by the Lung Image Database Consortium (LIDC). The system (1) extracts images of individual nodules from the LIDC collection based on LIDC(More)
We present a method to support the gradual evolution of secure scripts by formalizing an extension of the simply-typed lambda calculus that provides information flow constructs. These constructs allow initially insecure programs to evolve via targeted refactoring and to provide dynamic information flow guarantees via casts, as well as static information(More)
Knee joints (n=30) from 22 adult rheumatoid arthritis (RA) patients who were previously randomized and subjected to a six-month double-blind controlled trial of yttrium-90 vs. triamcinolone hexacetonide with a six-year follow-up. In contrast to most previous studies, there was no co-administration of a steroid agent at the time the radiopharmaceutical was(More)
The renal response to potassium loading was studied in 14 newborn (6-20 days of age) and 14 adult mongrel dogs in order to determine the capacity of the newborn to excrete potassium load. Eight newborn and eight adult dogs were infused with 20 mueq of potassium chloride X min-1 X kg body wt-1 for 240 min. Adults excreted a significantly greater proportion(More)
Cerebral blood flow (CBF) and cerebral metabolic rate of oxygen (CMRO2) were measured during normocarbia and during both moderate and severe hypocarbia. Eighteen newborn mongrel dogs, 1 to 7 days of age, were given pancuronium and ventilated with 70% N2O and 30% O2. The respirator was adjusted to achieve a PaCO2 of 15 torr, all subsequent changes to 25 and(More)
Automatic liver segmentation from abdominal computed tomography (CT) images based on gray levels or shape alone is difficult because of the overlap in gray-level ranges and the variation in position and shape of the soft tissues. To address these issues, we propose an automatic liver segmentation method that utilizes low-level features based on texture(More)
Research studies have shown that advances in computed tomography (CT) technology allow better detection of pulmonary nodules by generating higher-resolution images. However, the new technology also generates many more individual transversal reconstructions, which as a result may affect the efficiency and accuracy of the radiologists interpreting these(More)
This paper focuses on extensibility, the ability of a programmer using a particular language to extend the expressiveness of that language. This paper explores how to provide an interesting notion of extensibility by virtualizing the interface between code and data. A virtual value is a special value that supports behavioral intercession. When a primitive(More)
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code should document all thread interference, and we present a type system for verifying the absence of undocumented interference in Java programs. Under this type system, well-typed(More)