Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

Clustering and synchrony in laying hens: The effect of environmental resources on social dynamics

Laying hens generally choose to aggregate, but the extent to which the environments in which we house them impact on social group dynamics is not known. In this paper the effect of pen environment on spatial clustering is considered. Twelve groups of four laying hens were studied under three environmental conditions: wire floor (W), shavings (Sh) and perches, peat, nestbox and shavings (PPN). Groups experienced each environment twice, for five weeks each time, in a systematic order that varied from group to group. Video recordings were made one day per week for 30 weeks. To determine level of clustering, we recorded positional data from a randomly selected 20-min excerpt per video (a total of 20 min x 360 videos analysed). On screen, pens were divided into six equal areas. In addition, PPN pens were divided into an additional four (sub) areas, to account for the use of perches (one area per half perch). Every 5 s, we recorded the location of each bird and calculated location use over time, feeding synchrony and cluster scores for each environment. Feeding synchrony and cluster scores were compared against unweighted and weighted (according to observed proportional location use) Poisson distributions to distinguish between resource and social attraction.

Web crippling behaviour of cold-formed steel channel sections with offset web holes subjected to interior-two-flange loading

Cold-formed steel sections are often used as wall studs or floor joists; such sections often include web holes for ease of installation of the services. Cold-formed steel design codes, however, do not consider the effect of such web holes. In this paper, a combination of experimental tests and non-linear elasto-plastic finite element analyses are used to investigate the effect of such holes on web crippling under interior-two-flange (ITF) loading conditions; the cases of both flange fastened and flange unfastened are considered. A good agreement between the experimental tests and finite element analyses was obtained. The finite element model was then used for the purposes of a parametric study on the effect of different sizes and position of holes in the web. It was demonstrated that the main factors influencing the web crippling strength are the ratio of the hole depth to the depth of the web, and the ratio of the distance from the edge of the bearing to the flat depth of web. Design recommendations in the form of web crippling strength reduction factors are proposed, that are conservative to both the experimental and finite element results.

Scaling of Food-Web Properties with Diversity and Complexity Across Ecosystems

Trophic scaling models describe how topological food-web properties such as the number of predator prey links scale with species richness of the community. Early models predicted that either the link density (i.e. the number of links per species) or the connectance (i.e. the linkage probability between any pair of species) is constant across communities. More recent analyses, however, suggest that both these scaling models have to be rejected, and we discuss several hypotheses that aim to explain the scale dependence of these complexity parameters. Based on a recent, highly resolved food-web compilation, we analysed the scaling behaviour of 16 topological parameters and found significant power law scaling relationships with diversity (i.e. species richness) and complexity (i.e. connectance) for most of them. These results illustrate the lack of universal constants in food-web ecology as a function of diversity or complexity. Nonetheless, our power law scaling relationships suggest that fundamental processes determine food-web topology, and subsequent analyses demonstrated that ecosystem-specific differences in these relationships were of minor importance. As such, these newly described scaling relationships provide robust and testable cornerstones for future structural food-web models.

Temporal Variability in Predator-Prey Relationships of a Forest Floor Food Web

Connectance webs represent the standard data description in food web ecology, but their usefulness is often limited in understanding the patterns and processes within ecosystems. Increasingly, efforts have been made to incorporate additional, biologically meaningful, data into food web descriptions, including the construction of food webs using data describing the body size and abundance of each species. Here, data from a terrestrial forest floor food web, sampled seasonally over a 1-year period, were analysed to investigate (i) how stable the body size abundance and predator prey relationships of an ecosystem are through time and (ii) whether there are system-specific differences in body size abundance and predator prey relationships between ecosystem types.

Manipulating Interaction Strengths and the Consequences for Trivariate Patterns in a Marine Food Web

We are experiencing a global extinction crisis as a result of climate change and human-induced alteration of natural habitats, with large predators at high trophic levels in food webs being particularly vulnerable. Unfortunately, there is a scarcity of food web data that can be used to assess how species extinctions alter the structure and stability of temporally and spatially replicated networks. We established a series of large experimental mesocosms in a shallow subtidal benthic marine system and constructed food webs for each replicate. After 6 months of community assembly, we removed large predators from the core communities of 20 experimental food webs, based on the strength of their trophic interactions, and monitored the changes in the networks' structure and stability over an 8-month period. Our analyses revealed the importance of allometric relationships and size-structuring in natural communities as a means of preserving food web structure and sustainability, despite significant changes in the diversity, stability and productivity of the system.

Interaction strength, food web topology and the relative importance of species in food webs

P>1. We established complex marine communities, consisting of over 100 species, in large subtidal experimental mesocosms. We measured the strength of direct interactions and the net strength of direct and indirect interactions between the species in those communities, using a combination of theoretical and empirical approaches.

Macroecological patterns and niche structure in a new marine food web

The integration of detailed information on feeding interactions with measures of abundance and body mass of individuals provides a powerful platform for understanding ecosystem organisation. Metabolism and, by proxy, body mass constrain the flux, turnover and storage of energy and biomass in food webs. Here, we present the first food web data for Lough Hyne, a species rich Irish Sea Lough. Through the application of individual-and size-based analysis of the abundance-body mass relationship, we tested predictions derived from the metabolic theory of ecology. We found that individual body mass constrained the flux of biomass and determined its distribution within the food web. Body mass was also an important determinant of diet width and niche overlap, and predator diets were nested hierarchically, such that diet width increased with body mass. We applied a novel measure of predator-prey biomass flux which revealed that most interactions in Lough Hyne were weak, whereas only a few were strong. Further, the patterning of interaction strength between prey sharing a common predator revealed that strong interactions were nearly always coupled with weak interactions. Our findings illustrate that important insights into the organisation, structure and stability of ecosystems can be achieved through the theoretical exploration of detailed empirical data.

A web-based overview of semiconductor photochemistry-based current commercial applications

The major current commercial applications of semiconductor photochemistry promoted on the world wide web are reviewed. The basic principles behind the different applications are discussed, including the use of semiconductor photochemistry to: photo-mineralise organics, photo-sterilise and photo-demist. The range of companies, and their products, which utilise semiconductor photochemistry are examined and typical examples listed. An analysis of the geographical distribution of current commercial activity in this area is made. The results indicate that commercial activity in this area is growing world-wide, but is especially strong in Japan. The number and geographical distribution of patents in semiconductor photocatalysis are also commented on. The trends in the numbers of US and Japanese patents over the last 6 years are discussed. (C) 2002 Elsevier Science B.V. All rights reserved.

A review of studies of ionizing radiation-induced double-strand break clustering

Underpinning current models of the mechanisms of the action of radiation is a central role for DNA damage and in particular double-strand breaks (DSBs). For radiations of different LET, there is a need to know the exact yields and distributions of DSBs in human cells. Most measurements of DSB yields within cells now rely on pulsed-field gel electrophoresis as the technique of choice. Previous measurements of DSB yields have suggested that the yields are remarkably similar for different types of radiation with RBE values less than or equal to1.0. More recent studies in mammalian cells, however, have suggested that both the yield and the spatial distribution of DSBs are influenced by radiation quality. RBE values for DSBs induced by high-LET radiations are greater than 1.0, and the distributions are nonrandom. Underlying this is the interaction of particle tracks with the higher-order chromosomal structures within cell nuclei. Further studies are needed to relate nonrandom distributions of DSBs to their rejoining kinetics. At the molecular level, we need to determine the involvement of clustering of damaged bases with strand breakage, and the relationship between higher-order clustering over sizes of kilobase pairs and above to localized clustering at the DNA level. Overall, these studies will allow us to elucidate whether the nonrandom distributions of breaks produced by high-LET particle tracks have any consequences for their repair and biological effectiveness. (C) 2001 by Radiation Research Society.

A Monte Carlo model of DNA double-strand break clustering and rejoining kinetics for the analysis of pulsed-field gel electrophoresis data

In studies of radiation-induced DNA fragmentation and repair, analytical models may provide rapid and easy-to-use methods to test simple hypotheses regarding the breakage and rejoining mechanisms involved. The random breakage model, according to which lesions are distributed uniformly and independently of each other along the DNA, has been the model most used to describe spatial distribution of radiation-induced DNA damage. Recently several mechanistic approaches have been proposed that model clustered damage to DNA. In general, such approaches focus on the study of initial radiation-induced DNA damage and repair, without considering the effects of additional (unwanted and unavoidable) fragmentation that may take place during the experimental procedures. While most approaches, including measurement of total DNA mass below a specified value, allow for the occurrence of background experimental damage by means of simple subtractive procedures, a more detailed analysis of DNA fragmentation necessitates a more accurate treatment. We have developed a new, relatively simple model of DNA breakage and the resulting rejoining kinetics of broken fragments. Initial radiation-induced DNA damage is simulated using a clustered breakage approach, with three free parameters: the number of independently located clusters, each containing several DNA double-strand breaks (DSBs), the average number of DSBs within a cluster (multiplicity of the cluster), and the maximum allowed radius within which DSBs belonging to the same cluster are distributed. Random breakage is simulated as a special case of the DSB clustering procedure. When the model is applied to the analysis of DNA fragmentation as measured with pulsed-field gel electrophoresis (PFGE), the hypothesis that DSBs in proximity rejoin at a different rate from that of sparse isolated breaks can be tested, since the kinetics of rejoining of fragments of varying size may be followed by means of computer simulations. The problem of how to account for background damage from experimental handling is also carefully considered. We have shown that the conventional procedure of subtracting the background damage from the experimental data may lead to erroneous conclusions during the analysis of both initial fragmentation and DSB rejoining. Despite its relative simplicity, the method presented allows both the quantitative and qualitative description of radiation-induced DNA fragmentation and subsequent rejoining of double-stranded DNA fragments. (C) 2004 by Radiation Research Society.

Predator-prey body size, interaction strength and the stability of a real food web

1. We examined the empirical relationship between predator-prey body size ratio and interaction strength in the Ythan Estuary food web.

Weak interactions, omnivory and emergent food-web properties

Empirical studies have shown that, in real ecosystems, species-interaction strengths are generally skewed in their distribution towards weak interactions. Some theoretical work also suggests that weak interactions, especially in omnivorous links, are important for the local stability of a community at equilibrium. However, the majority of theoretical studies use uniform distributions of interaction strengths to generate artificial communities for study. We investigate the effects of the underlying interaction-strength distribution upon the return time, permanence and feasibility of simple Lotka-Volterra equilibrium communities. We show that a skew towards weak interactions promotes local and global stability only when omnivory is present. It is found that skewed interaction strengths are an emergent property of stable omnivorous communities, and that this skew towards weak interactions creates a dynamic constraint maintaining omnivory. Omnivory is more likely to occur when omnivorous interactions are skewed towards weak interactions. However, a skew towards weak interactions increases the return time to equilibrium, delays the recovery of ecosystems and hence decreases the stability of a community. When no skew is imposed, the set of stable omnivorous communities shows an emergent distribution of skewed interaction strengths. Our results apply to both local and global concepts of stability and are robust to the definition of a feasible community. These results are discussed in the light of empirical data and other theoretical studies, in conjunction with their broader implications for community assembly.