The hippocampus is a prominent subcortical feature of interest in many neuroscience studies. Its subtle morphological changes often predicate illnesses, including Alzheimer’s, schizophrenia or epilepsy. The precise location of structural differences requires a reliable correspondence between shapes across a population. In this paper, we propose an automated method for groupwise hippocampal shap...

This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offsets to address values in a block. We give the semantics of a C-like language within each of these memory models to illustrate their differences. The language we consider is a fragment of Leroy’s Clight, including arrays,...

This paper is devoted to the problem of the hardware implementation of selected shape description algorithms. The properties and complexity of particular methods are discussed in order to find those that are most applicable to a direct hardware implementation. Thus, the complexity of both the approaches and the processed data should be minimised. In this paper the properties of the Roundness, X...

This paper presents a framework for the geometric interpretation of a single polarization image taken of specular reflecting objects. The task of recovering 3D shape information of specular objects from intensity images is a difficult if not impossible one, as no intensity based features are available. Polarization analysis provides additional features to overcome the problem. In particular the...

The features of a class of cubic curves with a shape factor are analyzed by means of the theory of envelope and topological mapping. The effects of the shape factor on the cubic curves are made clear. Necessary and sufficient conditions are derived for the curve to have one or two inflection points, a loop or a cusp, or to be locally or globally convex. Those conditions are completely character...

Shape comparisons of two groups of objects often have two goals: to create a classifier to separate the groups and to provide information that shows differences between classes. We examine issues that are important for shape analysis in a study comparing schizophrenic patients to normal subjects. For this study, non-linear classifiers provide large accuracy gains over linear ones. Using volume ...

We treat the problem of chromosome segmentation with the aid of shape analysis and classification. Our approach consists of a combination of two phases, a purely rule–based phase and a phase driven by constrained discriminant analysis. In the first phase, obvious prototypical shape elements related to touchings and overlaps are recursively identified, in the second, remaining complex and ambigu...

This paper presents an innovative tool and method that allow efficient innovation of shape and topology of virtual parts at both mesh and CAD levels using optimization methods. The method consists of automatic variations of shapes in CAD/CAE environments that allow effective search for new shapes that are not considered initially by designers.

Shape analysis aims at determining invariants of heapallocated structures that arise during the execution of a program. Current shape analysis techniques are stateless, i.e. they only model the structures arising on the heap and completely ignore their memory locations and where they were allocated. This paper proposes an extended, allocation-site aware shape analysis and briefly sketches field...

We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several such systems in development now. However, Thor is unique in that it provides not only shape analysis, but also arithmetic reasoning via a novel combination procedure. Also, considerable effort has been put into makin...