The recruitment of seedlings from seeds is the key demographic transition for rain forest trees. Though tropical forest mammals are known to consume many seeds, their effects on tree community structure remain little known. To evaluate their effects, we monitored 8,000 seeds of 24 tree species using exclosure cages that were selectively permeable to three size classes of mammals for up to 4.4 y...

A wide range of approaches and techniques have been explored in attempts to build Automatic music composition (AMC) systems. However, most attempts have tended to use a single, centralized technique for the entire AMC process. This has many drawbacks. This paper proposes a solution to these drawbacks in the form of a tree-like structure made up of several interacting emergent systems. The struc...

Nacrtak Model development and use play a significant role in research and forest management of Slovenian forests. As co-natural and sustainable forest management is traditional, it is essential to rely on available knowledge of the composition of natural plant associations. This paper describes the need for stumpage price modelling, and the basic concept of developing models which can behave dy...

An extension of macro tree transducers is introduced with the capability of states to return multiple trees at the same time. Under call-by-value semantics, the new model is strictly more expressive than call-by-value macro tree transducers, and moreover, it has better closure properties under composition.

We introduce weighted regular tree grammars with storage as combination of (a) regular tree grammars with storage and (b) weighted tree automata over multioperator monoids. Each weighted regular tree grammar with storage generates a weighted tree language, which is a mapping from the set of trees to the multioperator monoid. We prove that, for multioperator monoids canonically associated to par...

In this paper we give a fast algorithm to generate all partitions of a positive integer n. Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. It is known the fact that the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. Using tree structures for storin...

We introduce an automata-theoretic approach for the verification of multi-agent systems. We present a translation between branching time temporal-epistemic logic and alternating tree automata. Model checking an interpreted system against a temporal-epistemic formula is reduced to checking the non-emptiness of the composition of two tree automata. We exemplify this technique using a simple multi...

Effects of tree species diversity on decomposition can operate via a multitude of mechanism, including alterations of microclimate by the forest canopy. Studying such effects in natural settings is complicated by the fact that topography also affects microclimate and thus decomposition, so that effects of diversity are more difficult to isolate. Here, we quantified decomposition rates of standa...

We compare two deforestation techniques: short cut fusion formalized in category theory and the syntactic composition of tree transducers. The former strongly depends on types and uses the parametricity property or free theorem whereas the latter makes no use of types at all and allows more general compositions. We introduce the notion of a categorical transducer which is a generalization of a ...

Nowadays, there is a trend for delivering the Simulation as a Service using web-based/cloud-based services. Existing simulation services cannot be easily discovered and composed. Although semantic mashups have become popular for implementing service composition in the Web 2.0, there are yet no semantic mashups applications focusing on modeling and simulation. Here, we propose the first existing...