Subjects imagined a designated two-dimensional shape rotating within a blank, circular field at a self-determined rate. At some point during the mental rotation, a test shape was presented at one of 12 picture-plane orientations, and the subject was required to determine as rapidly as possible whether the test shape was the same as the originally designated shape or was its mirror image. When t...

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