Ed Abel

Learn More
In this paper, we present a spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases. The main advantages of such a formalism are its rigor-ousness, clear semantics and sound inference mechanism. We also show how the formalism can be extended to include orientation and metrical information.(More)
UNLABELLED Diabetes is associated with high rates of cardiovascular disease and sudden death. Therefore, dissecting specific mechanisms, such as the effects of impaired insulin signaling on cardiac electrophysiology may lead to better diagnosis and treatment. Lack of insulin receptors in mouse myocytes has been shown to reduce repolarizing potassium(More)
  • 1