This paper describes a method to accelerate the generation of shape primitives for N-dimensional images N X . These shape primitives can be used in conditions for topology preserving erosion or skeletonization in Ndimensional images. The method is based on the possibility to describe primitives for intrinsic dimensions 1 N N = − % by quadratic equations of the form ( ) 1 2

Shape analysis concerns the problem of determining “shape invariants” for programs that perform destructive updating on dynamically allocated storage. This paper presents a new algorithm that takes as input a shape descriptor (describing some set of concrete stores X) and a precondition p, and computes the most-precise shape descriptor for the stores in X that satisfy p. This algorithm solves s...

This work deals with the development and application of reduction strategies for real-time and many query problems arising in fluid dynamics, such as shape optimization, shape registration (reconstruction), and shape parametrization. The proposed strategy is based on the coupling between reduced basis methods for the reduction of computational complexity and suitable shape parametrizations – su...

A method for the classification of tabular grain silver halide microcrystals according to their shape is presented. Various approaches of shape analysis and recognition and their applicability for the given problem are discussed. Shape descriptors obtained from Fourier power spectra are used to describe the shape of microcrystals. The classification of the shapes is based on nearest neighborhoo...

We present a new modular shape analysis that can synthesize heap memory specification on a per method basis. We rely on a second-order biabduction mechanism that can give interpretations to unknown shape predicates. There are several novel features in our shape analysis. Firstly, it is grounded on second-order bi-abduction. Secondly, we distinguish unknown pre-predicates in pre-conditions, from...

The aerosol collection efficiencies of water droplets and ice crystals are compared based on the concept of equivalent geometrical kernel K* which is the geometrical sweep-out volume per unit time by the collector. It is thought that the comparison based on this quantity reveals the real difference of the aerosol collecting abilities of different collectors and sheds lights on the precipitation...

background: the purpose of this research was to determine the relation between negative or positive qualitative troponin i test and the short term prognosis of patients presenting to emergency department with chest pain or angina equivalent symptoms. methods: we assessed the qualitative rapid troponin i in patients with chest pain or angina equivalent symptoms after at least 4 hours and then we...

Computing a concise representation of the anatomical variability found in large sets of images is an important first step in many statistical shape analyses. In this paper, we present a generative Bayesian approach for automatic dimensionality reduction of shape variability represented through diffeomorphic mappings. To achieve this, we develop a latent variable model for principal geodesic ana...