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

AIM To investigate the phenotype of cells comprising diffuse and intestinal-type gastric cancers using monoclonal antibodies to two antigens. One antigen (designated D10) is characteristic of gastric mucous neck cells, cardiac glands, pyloric glands, and Brunner's glands. The second antigen (designated 17NM) is specific to the mucous vacuole of intestinal goblet cells. METHODS Thirty two gast...

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

studies of genetic diversity of plant populations are very important tools for plant breeders. in this study, 110 rice genotypes, including 39 iranian local, 20 iranian improved and 51 foreign improved varieties were studied for 14 agronomic traits in the the rectangular lattice design at the rice research institute of iran (rasht). the analysis of variance showed that there were significant di...

Abstraet--A neural network approach is proposed to build the first stage of an Automatic Handwritten Signature Verification System. The directional Probability Density Function was used as a global shape factor and its discriminating power was enhanced by reducing its cardinality via filtering. Various experimental protocols were used to implement the backpropagation network (BPN) classifier. A...