In shape analysis, the concept of shape spaces has always been vague, requiring a caseby-case approach for every new type of shape. In this paper, we give a general definition for an abstract space of shapes embedded in a given manifold M. This notion allows to unify the shape spaces studied so far in the literature under a single banner, and offers a rigorous framework for several possible new...

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...

in this work, we report synthesis of silver nanoplates by a simple reduction process of silver nitrate in the presence of polyvinyl alcohol (pva) and n,n'-dimethyl formamide (dmf). the characterization of the samples were carried out using x-ray diffraction (xrd), transmission-electron microscopy (tem) and uv-vis spectroscopy. absorption spectra of the nanoplates in comparison with that of...

The auroral emissions observed in the high-latitude regions encircling the magnetic poles are a key element in studying plasmaphysical processes in the near-Earth space, the magnetosphere. The Finnish Meteorological Institute operates five digital all-sky cameras, which routinely monitor the auroral emissions in Northern Finland, Sweden, and Svalbard; each camera records an image of the full sk...

Coarctation of the Aorta (CoA) is a cardiac defect that requires surgical intervention aiming to restore an unobstructed aortic arch shape. Many patients suffer from complications post-repair, which are commonly associated with arch shape abnormalities. Determining the degree of shape abnormality could improve risk stratification in recommended screening procedures. Yet, traditional morphometry...

Research into shape grammar implementation has largely been concerned with rectilinear shapes and there has been little research concerning implementation on curved shapes. This reflects developments of the shape grammar formalism which has traditionally been defined according to straight lines. In this paper, issues regarding the application of shape grammars on curved shapes are investigated....

In this paper we propose a new method for shape analysis based on the ordering of shapes using band-depth. We use this band-depth to non-parametrically define a global depth for a shape with respect to a reference population, typically consisting of normal control subjects. This allows us to globally quantify differences with respect to "normality". Using the depth-ordering of shapes also allow...