The transformational derivation of parallel programs for distributed-memory architectures using skeleton-based approaches is one of the most promising methods for parallel program development. These approaches support the derivation of provably correct, eecient and portable parallel programs using a predeened set of encapsulated eeciently implemented parallel base algorithms. Encapsulation requ...

In this paper, we propose a new method to construct graphical representations of cortical folding patterns by computing skeletons on triangulated cortical surfaces. In our approach, a cortical surface is first partitioned into sulcal and gyral regions via the solution of a variational problem using graph cuts, which can guarantee global optimality. After that, we extend the method of Hamilton-J...

We present a new skeletonization algorithm well suited for the problem of handprinted character recognition. Our approach employs a novel algorithm for computing the Voronoi diagram of a polygon with holes. We show that Voronoi skeletons can serve as eecient shape descriptors because they preserve connectivity and Euclidean metrics. Compared to traditional skeletonization techniques, we suggest...

We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descriptions of the given agents in terms of their events that are significant for coordination, as well as (b) relationships among the events occurring in these skeletons. A natural question is how may the skeletons and relat...

Skeleton descriptors are commonly used to represent, understand and process shapes. While existing methods produce skeletons at a fixed dimension, such as surface or curve skeletons for a 3D object, often times objects are better described using skeleton geometry at a mixture of dimensions. In this paper we present a novel algorithm for computing mixed-dimensional skeletons. Our method is guide...

Terpenoid synthases create diverse carbon skeletons by catalyzing complex carbocation rearrangements, making them particularly challenging for enzyme function prediction. To begin to address this challenge, we have developed a computational approach for the systematic enumeration of terpenoid carbocations. Application of this approach allows us to systematically define a nearly complete chemica...

Algorithmic skeletons are polymorphic higher-order functions representing common parallelization patterns and implemented in parallel. They can be used as the building blocks of parallel and distributed applications by integrating them into a sequential language. In this paper, we present a new approach to programming with skeletons. We integrate the skeletons into an imperative host language e...

In my doctoral project it is argued that, beside the role of institutional contexts, social influence is crucial to explain the differences in the rapid and uneven rise in cohabitation through Europe in the last decades. The social influence focussed here upon is linked to the changing level of ongoing practice in each country through time. Two contextual mechanisms that are likely to convey th...

Introduction: In this study, we investigated the distraction power of the unusual and usual images on the attention of 20 healthy primary school children. Methods: Our study was different from previous ones in that the participants were asked to fix the initial position of their attention on a pre-defined location after being presented with unusual images as distractors. The goals were prese...

Mapand fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, it turns out that confining compilation efforts to individual skeletons is insufficient. This paper proposes compilation schemes which aim at reducing runtime overhead due to communication and synchronization by embeddin...