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 order to prevent the shrinkage of olive fruit and maintain its fresh being, and  also to increase the oil content and dry matter, the effect of kaolin at three levels of application (0, 2.5% and 5%) on four varieties of olive (mission, conservolea, keillet, blady) was evaluated within a period of four months, in ahwaz, the tests being repated in 3 replicates. results revealed significant eff...

The purpose of this paper is the assessment of a family of shape factors for oo-line signature veriication. The initial method, suggested in 1], which extracts geometric features, is modiied to assess the performance of veriication in the general case of forgery. W e c o n-tribute to the information coded by adapting the coding method to the image and by i n tegrating a spatial distance into th...

INTRODUCTION Prune dwarf ilarvirus (PDV) and its various strains cause many types of stone fruit diseases of considerable economic importance (Nemeth, 1986). The virus induces considerable damage in many hosts either by itself or in a mixed infection with other stone fruit viruses. PDV is transmitted naturally by infected pollen. PDV has worldwide distribution, especially where sweet and sour c...

In previous documents we have outlined an approach for the analysis of 2 and 3D shape vectors using measurement covariances for the situation where the measurements are known to be independent. The purpose of this document is to explain the mathematics required to extend this approach to “pseudolandmarks”, where information is provided at a given 2 or 3D location only in 1D. We show that the us...

When we approach shape representation, we need to choose which modeling constructs to adopt, e.g., low-level geometric elements like edges and (sur)faces, or more general elements like protrusions, bumps and holes, among others. The latter can be described as spatial configurations of the former satisfying unity and, possibly, identity criteria. However, once these are brought into the picture,...

A total of 117 pomegranate genotypes collected from different areas of Yazd province of Iran were studied for genetic variation by evaluating 23 morphological traits according to the international descriptor. Similar diversity pattern of the measured characteristics was observed in three types of sweet, sweet-sour and sour varieties. The traits shape of fruit base, suckering tendency, vigor of ...