A static shape analysis is presented that can prove the absence of NULLand dangling pointer dereferences in standard algorithms on lists, trees and graphs. It is conceptually simpler than other analyses that use symbolically represented logic to describe the heap. Instead, it represents the heap as a single graph and a Boolean formula. The key idea is to summarize two nodes by calculating their...

This report documents the programme and the outcome of Dagstuhl Seminar 15451 “Verification of Evolving Graph Structures”. The aim was to bring together researchers from different communities (shape analysis, separation logic, graph transformation, verification of infinite-state systems) who are interested in developing techniques for the analysis of graph manipulations, i.e., methods that are ...

Fatigue describes the damage or failure of material under cyclic loading. Activation and deactivation operations of technical units are important examples in engineering where fatigue and especially low-cycle fatigue (LCF) play an essential role. A significant scatter in fatigue life for many materials results in the necessity of advanced probabilistic models for fatigue. Moreover, structural s...

We propose Steklov geometry processing, an extrinsic approach to spectral geometry processing and shape analysis. Intrinsic approaches, usually based on the Laplace–Beltrami operator, cannot capture the spatial embedding of a shape up to rigid motion, while many previous extrinsic methods lack theoretical justi cation. Instead, we propose a systematic approach by considering the Steklov eigenva...

Over the last decade, the intersections between 3D shape analysis and image processing have become a topic of increasing interest in the computer graphics community. Nevertheless, when attempting to apply current image analysis methods to 3D shapes (feature-based description, registration, recognition, indexing, etc.) one has to face fundamental differences between images and geometric objects....

Shape similarity assessment is a fundamental geometric reasoning problem that finds application in several different product design and manufacturing applications. A computationally efficient way to assess shape similarity is to first abstract 3D object shapes into shape signatures and use shape signatures to perform similarity assessment. Several different types of shape signatures have been d...

The problem of efficiently finding images that are similar to a target image has attracted much attention in the image processing community and is rightly considered an information retrieval task. However, the problem of finding structure and regularities in large image datasets is an area in which data mining is beginning to make fundamental contributions. In this work, we consider the new pro...

Statistical shape analysis is a tool that allows to quantify the shape variability of a population of shapes. Traditional tools to perform statistical shape analysis compute variations that reflect both shape and posture changes simultaneously. In many applications, such as ergonomic design applications, we are only interested in shape variations. With traditional tools, it is not straightforwa...

Eggplant (Solanum melongena L.) is an important solanaceous crop with high phenotypic diversity and moderate genotypic diversity. Ninety-nine genotypes of eggplant germplasm (species (S. melongena, S. incanum, S. linnaeanum and S. gilo), landraces and heirloom cultivars) from 32 countries and five continents were evaluated for genetic diversity, population structure, fruit shape, and disease re...

The propagation of light in stone fruit tissue was modeled using the Monte Carlo (MC) method. Peaches were used as the representative model of stone fruits. The effects of the fruit core and the skin on light transport features in the peaches were assessed. It is suggested that the skin, flesh and core should be separately considered with different parameters to accurately simulate light propag...