-
Article
Evaluating the Referring Physician’s Clinical History and Indication as a Means for Communicating Chronic Conditions That Are Pertinent at the Point of Radiologic Interpretation
The clinical history and indication (CHI) provided with a radiological examination are critical components of a quality interpretation by the radiologist. A patient’s chronic conditions offer the context in wh...
-
Article
Cross-Sectional Relatedness Between Sentences in Breast Radiology Reports: Development of an SVM Classifier and Evaluation Against Annotations of Five Breast Radiologists
Introduce the notion of cross-sectional relatedness as an informational dependence relation between sentences in the conclusion section of a breast radiology report and sentences in the findings section of the...
-
Article
Bridging the Text-Image Gap: a Decision Support Tool for Real-Time PACS Browsing
In this paper, we introduce an ontology-based technology that bridges the gap between MR images on the one hand and knowledge sources on the other hand. The proposed technology allows the user to express inter...
-
Article
Automatically Correlating Clinical Findings and Body Locations in Radiology Reports Using MedLEE
In this paper, we describe and evaluate a system that extracts clinical findings and body locations from radiology reports and correlates them. The system uses Medical Language Extraction and Encoding System (...
-
Chapter and Conference Paper
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification methods such as the Universal M...
-
Chapter and Conference Paper
Turning Photo Annotating Tasks into Instant Messaging Fun: Prototy**, User Trials, and Roadmap**
In this article we report on our research that integrates photo annotation tasks into online chatting. Users of our system can share and annotate digital photos online while chatting. There are two major innov...
-
Chapter and Conference Paper
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates
In mobile computing environments, logging systems are often used to record updates during device disconnection and logs are used in data synchronization on reconnection. Portable devices often have resource co...
-
Article
A syntactic proof of the conservativity of λω over λ2
In this paper, the relationship between the second order typed λ-calculus λ2 and its higher order version λω is discussed. A purely syntactic proof of the conservativity of λω over λ2 is given.