We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-valued shape analysis by Sagiv, Reps and Wilhelm. Our construction of the abstract post operator is analogous to the corresponding construction for classical predicate abstraction, except that predicates over objects on ...

Let ν be a unit normal vector field along M . Notice that ν : M −→ S satisfies that 〈ν(m),m〉 = 0. For any tangent vector v ∈ TmM , m ∈ M , the shape operator A is given by A(v) = −∇̄vν, where ∇̄ denotes the Levi Civita connection in S. For every m ∈ M , A(m) defines a linear symmetric transformation from TmM to TmM ; the eigenvalues of this transformation are known as the principal curvatures of ...

We investigate the potential of shape information in assisting the computer-aided diagnosis of Alzheimer’s disease and its prodromal stage of mild cognitive impairment. We employ BrainPrint to obtain an extensive characterization of the shape of brain structures. BrainPrint captures shape information of an ensemble of cortical and subcortical structures by solving the 2D and 3D Laplace-Beltrami...

We present a novel shape representation that characterizes the shape of a surface in terms of a coordinate system based on the eigensystem of the anisotropic Laplace-Beltrami operator. In contrast to the existing techniques, our representation can capture developable transformations and is therefore useful for analysis of cortical folding patterns. This representation has desirable properties i...

Thanks to the success of 3D reconstruction algorithms and the development of online tools for computer-aided design (CAD) the number of publicly available 3D models has grown significantly in recent years, and will continue to do so. This thesis investigates representations of 3D models for 3D shape matching, instance-level 2D-3D alignment, and category-level 2D-3D recognition. The geometry of ...

OBJECTIVE To determine, for a number of techniques used to obtain foot shape based around plaster casting, foam box impressions, and 3-dimensional scanning, (1) the effect the technique has on the overall reproducibility of custom foot orthoses (FOs) in terms of inter- and intracaster reliability and (2) the reproducibility of FO design by using computer-aided design (CAD) software in terms of ...

Recent research has indicated that operators may utilize the system-wide trust strategy when presented with two automation aids of unknown reliability (Keller, Bean, & Rice, 2009; Keller & Rice, 2010; Keller & Rice, 2009). This is undesirable as operators may under-utilize reliable aids when they are paired with unreliable aids. Two variables derived from Gestalt psychology’s law of similarity ...

Prime Component Decomposition of Images and its Applications in an Image Underst anding System Maciej Macieszczak, Ph-D. Concordia University, 1997 A reliable and flexible model of a low-level processing stage is one of the most crucial requirements in the development of an image understanding system (IUS). In this thesis, a model for the low-level processing stage based on a new scheme of prim...

Background: Heat stress in the steel industry is considered as a serious threat to the health and safety of workers. A wide spectrum of complications and diseases from mild disorders such as burning sensation to fatal conditions such as thermal shock may occur due to uncontrolled thermal stress. In this study, heat stress assessment was performed according to the wet-bulb globe temperature (WBG...

The goal of the fuzzy diatoms models is to use the advancement of the fuzzy theory and with predictive modelling to predict the outcome of given condition of diatoms. Fuzzy modelling depends from many factors, mainly by the shape of the membership functions, similarity metrics and above all the operation between the fuzzy sets – the fuzzy operators. In this paper we introduce new fuzzy operator...