We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Harmonic phase (HARP) magnetic resonance imaging (MRI) is an image analysis method for measuring tissue motion and strain from tagged MR images. Previous studies in cardiac tagged...
Vijay Parthasarathy, Jerry L. Prince, Moriel NessA...
This paper presents a new framework for multiple object segmentation in medical images that respects the topological properties and anatomical relationships of structures as given...
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...