cardiovascular disease remains the principal cause of death in the modernized world.   several novel noninvasive imaging techniques have been recently developed to improve diagnosis of cardiac and coronary disease.   of these advances, multidetector computed tomographic (mdct) angiography has evolved most dramatically to transform computed tomography from a single-slice trans-axial modality to ...

The generation of too much information prohibits eecient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher for propositional linear-time temporal logics, further m...

An approach to the mechanisation of temporal logics, based on a form of clausal resolution has been developed [Fis91, Fis93]. Temporal formulae incorporating both past-time and future-time temporal operators are converted into Separated Normal Form, and then both non-temporal and temporal resolution rules are applied. The temporal resolution rule attempts to match conditions which must be event...

Qualitative spatial reasoning is usually performed using spatial calculi specially designed to represent certain aspects of spatial knowledge. However most calculi must be adapted for use in applications where additional constraints are at play. This paper combines the DRA and CYC algebras into a new calculus for reasoning within network structures. In the process we prove some interesting resu...

This report describes a minimalistic set of methods engineered to anchor clinical events onto a temporal space. Specifically, we describe methods to extract clinical events (e.g., Problems, Treatments and Tests), temporal expressions (i.e., time, date, duration, and frequency), and temporal links (e.g., Before, After, Overlap) between events and temporal entities. These methods are developed an...

In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic temporal resolution and finegrained temporal resolution. For the first, we state a very general decidability result, which is independent of the particular decision procedure used to decide the first-order part of the logi...

We investigated whether attending to a particular point in time affects temporal resolution in a task in which participants judged which of two visual stimuli had been presented first. The results showed that temporal resolution can be improved by attending to the relevant moment as indicated by the temporal cue. This novel finding is discussed in terms of the differential effects of spatial an...

Super-resolution microscopy typically achieves high spatial resolution, but the temporal resolution remains low. We report super temporal-resolved microscopy (STReM) to improve the temporal resolution of 2D super-resolution microscopy by a factor of 20 compared to that of the traditional camera-limited frame rate. This is achieved by rotating a phase mask in the Fourier plane during data acquis...