We prove that the skeleton of a product of finitely many finite distributive lattices is isomorphic to the product of skeletons of its factors. Thus, it is possible to construct finite distributive lattices with a given directly reducible skeleton by reducing the problem to the skeleton factors. Although not all possible lattices can be obtained this way, we show that it works for the smallest ...

This report presents a survey of performance models for parallel al-gorithmic skeletons. First, higher-order functions (HOFs) are presented according to the modelled skeletons. Next, the corresponding parallel implementations (skeletons) for the HOFs are discussed with the performance models that were constructed for the skeletons.

Increasing amounts of atmospheric carbon dioxide (CO2) from human industrial activities are causing changes in global ocean carbonate chemistry, resulting in a reduction in pH, a process termed "ocean acidification." It is important to determine which species are sensitive to elevated levels of CO2 because of potential impacts to ecosystems, marine resources, biodiversity, food webs, population...

We describe an eecient implementation of a parallel algorithmic skeleton which supports set membership classiication problems in Constructive Solid Geometry. A performance modelling methodology is developed, which realistically predicts the asymptotic performance of speciic CSG applications.

Teleosts have an asymmetrical caudal fin skeleton formed by the upward bending of the caudal-most portion of the body axis, the ural region. This homocercal type of caudal fin ensures powerful and complex locomotion and is regarded as one of the most important innovations for teleosts during adaptive radiation in an aquatic environment. However, the mechanisms that create asymmetric caudal fin ...

In this paper, we establish a unique correspondence between skeleton branches and subarcs of object contours. Based on this correspondence, a skeleton is pruned by removing skeleton branches whose generating points are on the same contour subarc. This has an effect of removing redundant skeleton branches and retaining all the necessary visual branches. We show that this approach preserves skele...

-Binary image representation by its morphological skeleton transform has been proposed in the past as an information preserving representation. In this paper this skeleton representation is adopted as the start point for the development of a binary shape recognition scheme. A skeleton matching algorithm is presented that efficiently characterizes the similarity between two skeletons as a distan...