The Parameterized Compositional Model Checking Problem (PCMCP) is to decide, using compositional proofs, whether a property holds for every instance of a parameterized family of process networks. Compositional analysis focuses attention on the neighborhood structure of processes in the network family. For the verification of safety properties, the PCMCP is shown to be much more tractable than t...

This document describes the implementation of the SonicJumper gestural controller bodysuit in a compositional context. It is a tool for generating musical materials, which are then used to compose a piece of music. The emphasis is on integration of gestural controllers at the earliest stage of the compositional process, rather than at the end. That is to say, the following discussion centers on...

One of the criteria generally applied in distinguishing lexical processes from syntactic ones is compositionality: the standard assumption is that syntactic processes have transparent (compositional) semantics while word-formation is semantically opaque. In this paper I will argue that this assumption is false: certain processes which are generally held to be syntactic are compositional only to...

Heavy organics deposition is a common problem in oil industry, especially in oil production, transportation and processing. Wax or solid paraffin series are examples of heavy organics that deposit. Precipitation and crystallization of wax causes major difficulties in different processes. Based on multi-solid theory, a basic model is modified in this paper for wax precipitation in different oils...

We describe how to perform monadic computations over recursive data structures with fine grained control over the evaluation strategy. This solves the issue that the definition of a recursive monadic function already determines the evaluation strategy due to the necessary sequencing of the monadic operations. We show that compositional data types already provide the structure needed in order to...

Under the assumption that the Aitchison geometry holds in the simplex, standard analysis of compositional data assumes a uniform distribution as reference measure of the space. Changing the reference measure induces a weighting of parts. The changes that appear in the algebraic-geometric structure of the simplex are analysed, as a step towards understanding the implications for elementary stati...

A lot of multivariate data sets of interest to scientists are called compositional or "closed" data sets, and consists essentially of relative proportions. A recent search on the web by entering "chemical compositional data", led to more than 2,730,000 results within different fields and disciplines, but specially, agricultural and food sciences (August 2011 using Google searcher). The driving ...

This paper advances the state of the art for a computer-assisted approach to music generation called functional scaffolding for musical composition (FSMC), whose representation facilitates creative combination, exploration, and transformation of musical concepts. Music in FSMC is represented as a functional relationship between an existing human composition, or scaffold, and a generated accompa...

The estimation of a mean of a proportion is a frequent task in statistical survey analysis, and often such ratios are estimated from compositions such as income components, wage components, tax components, etc. In practice, the weighted arithmetic mean is regularly used to estimate the center of the data. However, this estimator is not appropriate if the ratios are estimated from compositions, ...

We report compositional data for several foods that comprise the annual diet among Hadza foragers near Lake Eyasi in northern Tanzania. Samples collected during daily gathering trips over three "eldwork seasons were prepared according to Hadza methods. All three types of honey show moisture and starch levels similar to United States' honeys but higher levels of protein, fat, and ash. Several sa...