Saproxylic Beetle Assemblage Selection as Determining Factor of Species Distributional Patterns: Implications for Conservation

The knowledge of the distributional patterns of saproxylic beetles is essential for conservation biology due to the relevance of this fauna in the maintenance of ecological processes and the endangerment of species. The complex community of saproxylic beetles is shaped by different assemblages that are composed of species linked by the microhabitats they use. We evaluate how different the species distribution patterns that are obtained can be, depending on the analyzed assemblage and to what extent these can affect conservation decisions. Beetles were sampled using hollow emergence and window traps in three protected areas of the Iberian Peninsula. Species richness, composition, and diversity turnover were analyzed for each sampling method and showed high variation depending on the analyzed assemblage. Beta diversity was clearly higher among forests for the assemblage captured using window traps. This method collects flying insects from different tree microhabitats and its captures are influenced by the forest structuring. Within forests, the assemblages captured by hollow emergence traps, which collect the fauna linked to tree hollows, showed the largest turnover of species, as they are influenced by the characteristics of each cavity. Moreover, the selection of the forest showing the highest species richness strongly depended on the studied assemblage. This study demonstrates that differences in the studied assemblages (group of species co-occurring in the same habitat) can also lead to significant differences in the identified patterns of species distribution and diversity turnover. This fact will be necessary to take into consideration when making decisions about conservation and management.

On the effect of word frequency on distributional similarity

The dependency of word similarity in vector space models on the frequency of words has been noted in a few studies, but has received very little attention. We study the influence of word frequency in a set of 10 000 randomly selected word pairs for a number of different combinations of feature weighting schemes and similarity measures. We find that the similarity of word pairs for all methods, except for the one using singular value decomposition to reduce the dimensionality of the feature space, is determined to a large extent by the frequency of the words. In a binary classification task of pairs of synonyms and unrelated words we find that for all similarity measures the results can be improved when we correct for the frequency bias.

Applying semantics to grid middleware

Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics has been developed aiming to address this issue. A successful grid resource allocation depends, among other things, on the quality of the available information about software artifacts and grid resources. In this article, we propose a semantic approach to integrate selection of equivalent resources and selection of equivalent software artifacts to improve the scheduling of resources suitable for a given set of application execution requirements. We also describe a prototype implementation of our approach based on the Integrade grid middleware and experimental results that illustrate its benefits. Copyright (C) 2009 John Wiley & Sons, Ltd.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

The emergence of the determiner system in Mauritian Creole: a syntax semantics mapping

This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.

Factors influencing biodiversity and distributional gradients in mangroves

Numerous factors affect the distribution of mangrove plants. Most mangrove species are typically dispersed by water-buoyant propagules, allowing them to lake advantage of estuarine, coastal and ocean currents both to replenish existing stands and to establish new ones. The direction they travel depends on sea currents and land barriers, but the dispersal distance depends on the time that propagules remain buoyant and viable. This is expected to differ for each species. Similarly, each species will also differ in establishment success and growth development rate, and each has tolerance limits and growth responses which are apparently unique. Such attributes are presumably responsible for the characteristic distributional ranges of each species, as each responds to the environmental, physical and biotic settings they might occupy. In practice, species are often ordered by the interplay of different factors along environmental gradients, and these may conveniently be considered at four geographic scales-global, regional, estuarine and intertidal. We believe these influencing factors act similarly around the world, and to demonstrate this point, we present examples of distributional gradients from the two global biogeographic regions, the Atlantic East Pacific and the Indo-West Pacific.

Distributional profiles of homologous open reading frames among bacterial phyla: implications for vertical and lateral transmission

If open reading frames (ORFs) have been transmitted primarily by vertical descent, the distributional profile of orthologues of each ORF should be congruent with the organismal tree or a subtree thereof. Distributional patterns not reconciled parsimoniously with tree-like descent and loss are prima facie evidence of lateral gene transfer. Herein, a rigorous criterion for recognizing ORF distributions is described and implemented; it does not require the inference of phylogenetic trees, nor does it assume any specific tree. Because lineage-specific differences in rates of sequence change can also generate unexpected distributional patterns, rate artefacts, were controlled for by requiring pairwise matches between ORFs to exceed a rigorous inclusion threshold, but absence of a match was assessed against a more-permissive exclusion threshold. Applying this dual-threshold criterion to cross-domain and cross-phylum distributional patterns for ORFs in 23 bacterial genomes, a relative abundance of ORFs was observed that find a match in exactly seven other bacterial phyla; 94-99% of these ORFs also find matches among the Archaea and/or Eukarya. In the larger (and some smaller) bacterial genomes, ORFs that find matches in exactly one other bacterial phylum are also relatively abundant, but fewer of these have non-bacterial homologues; most of their matches within the Bacteria are to the Proteobacteria and/or Firmicutes, which cannot be sister lineages to all bacteria. ORFs that are neither distributed universally among the Bacteria, nor necessarily shared with topologically adjacent lineages, are preferentially enriched in large bacterial genomes.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.