Transformations between HCLP and PCSP

We present a general methodology for transforming between HCLP and PCSP in both directions. HCLP and PCSP each have advantages when modelling problems, and each have advantages when implementing models and solving them. Using the work presented in this paper, the appropriate paradigm can be used for each of these steps, with a meaning-preserving transformation in between if necessary

A process algebra for synchronous concurrent constraint programming

Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity. Our approach is based on the idea of telling new information just in the case that a concurrently running process is asking for it. An operational and an algebraic semantics are defined. The algebraic semantics is proved to be sound and complete with respect to a compositional operational semantics which is also presented in the paper

Multi-agent systems as concurrent constraint processes

We present a language Scc for a specication of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewher

Helminth species richness in wild wood mice, Apodemus sylvaticus, is enhanced by the presence of the intestinal nematode Heligmosomoides polygyrus

We analysed 3 independently collected datasets of fully censused helminth burdens in wood mice, Apodemus sylvaticus, testing the a priori hypothesis of Behnke et al. (2005) that the presence of the intestinal nematode Heligmosomoides polygyrus predisposes wood mice to carrying other species of helminths. In Portugal, mice carrying H. polygyrus showed a higher prevalence of other helminths but the magnitude of the effect was seasonal. In Egham, mice with H. polygyrus showed a higher prevalence of other helminth species, not confounded by other factors. In Malham Tarn, mice carrying H. polygyrus were more likely to be infected with other species, but only among older mice. Allowing for other factors, heavy residual H. polygyrus infections carried more species of other helminths in both the Portugal and Egham data; species richness in Malham was too low to conduct a similar analysis, but as H. polygyrus worm burdens increased, so the prevalence of other helminths also increased. Our results support those of Behnke et al. (2005), providing firm evidence that at the level of species richness a highly predictable element of co-infections in wood mice has now been defined: infection with H. polygyrus has detectable consequences for the susceptibility of wood mice to other intestinal helminth species

Via and embedded resistor production in low cost lithographically printed substrates

Lithographic printing of silver based conductive inks to form circuit tracking provides a very low cost, environmentally friendly method of production. It allows circuits with line widths down to 100 μm and a sheet resistance of 0.3 Ω per square to be produced at rates of up to 10000 impressions per hour. The process makes use of low capital cost equipment and has low set up costs. To date, an equally cost effective method of manufacturing vias in these circuits has not been developed. This paper proposes two new techniques for via production which are compatible with the rest of the manufacturing process. In the first technique, suitably profiled holes are laser drilled for subsequent filling as part of the lithographic printing. In the second technique laser energy is used to melt the substrate material so that it is able to mix with the conductive ink and so form a conductive path. The paper describes the proposed production techniques and discusses the factors affecting each method and in particular the substrate properties affecting production. The substrate materials considered in detail are Glossart and Teslin. The optical absorption and ablation characteristics of these materials for excimer and CO2 lasers are reported, as are the thermal diffusivities

UK Breastfeeding Helpline support: An investigation of influences upon satisfaction

Background Incentive or reward schemes are becoming increasingly popular to motivate healthy lifestyle behaviours. In this paper, insights from a qualitative and descriptive study to investigate the uptake, impact and meanings of a breastfeeding incentive intervention integrated into an existing peer support programme (Star Buddies) are reported. The Star Buddies service employs breastfeeding peer supporters to support women across the ante-natal, intra-partum and post-partum period. Methods In a disadvantaged area of North West England, women initiating breastfeeding were recruited by peer supporters on the postnatal ward or soon after hospital discharge to participate in an 8 week incentive (gifts and vouchers) and breastfeeding peer supporter intervention. In-depth interviews were conducted with 26 women participants who engaged with the incentive intervention, and a focus group was held with the 4 community peer supporters who delivered the intervention. Descriptive analysis of routinely collected data for peer supporter contacts and breastfeeding outcomes before and after the incentive intervention triangulated and retrospectively provided the context for the qualitative thematic analysis. Results A global theme emerged of 'incentives as connectors', with two sub-themes of 'facilitating connections' and 'facilitating relationships and wellbeing'. The incentives were linked to discussion themes and gift giving facilitated peer supporter access for proactive weekly home visits to support women. Regular face to face contacts enabled meaningful relationships and new connections within and between the women, families, peer supporters and care providers to be formed and sustained. Participants in the incentive scheme received more home visits and total contact time with peer supporters compared to women before the incentive intervention. Full participation levels and breastfeeding rates at 6-8 weeks were similar for women before and after the incentive intervention. Conclusion The findings suggest that whilst the provision of incentives might not influence women's intentions or motivations to breastfeed, the connections forged provided psycho-social benefits for both programme users and peer supporters

Regulatory control and the costs and benefits of biochemical noise

Experiments in recent years have vividly demonstrated that gene expression can be highly stochastic. How protein concentration fluctuations affect the growth rate of a population of cells, is, however, a wide open question. We present a mathematical model that makes it possible to quantify the effect of protein concentration fluctuations on the growth rate of a population of genetically identical cells. The model predicts that the population's growth rate depends on how the growth rate of a single cell varies with protein concentration, the variance of the protein concentration fluctuations, and the correlation time of these fluctuations. The model also predicts that when the average concentration of a protein is close to the value that maximizes the growth rate, fluctuations in its concentration always reduce the growth rate. However, when the average protein concentration deviates sufficiently from the optimal level, fluctuations can enhance the growth rate of the population, even when the growth rate of a cell depends linearly on the protein concentration. The model also shows that the ensemble or population average of a quantity, such as the average protein expression level or its variance, is in general not equal to its time average as obtained from tracing a single cell and its descendants. We apply our model to perform a cost-benefit analysis of gene regulatory control. Our analysis predicts that the optimal expression level of a gene regulatory protein is determined by the trade-off between the cost of synthesizing the regulatory protein and the benefit of minimizing the fluctuations in the expression of its target gene. We discuss possible experiments that could test our predictions.Comment: Revised manuscript;35 pages, 4 figures, REVTeX4; to appear in PLoS Computational Biolog

Food-web structure in relation to environmental gradients and predator-prey ratios in tank-bromeliad ecosystems

Little is known of how linkage patterns between species change along environmental gradients. The small, spatially discrete food webs inhabiting tank-bromeliads provide an excellent opportunity to analyse patterns of community diversity and food-web topology (connectance, linkage density, nestedness) in relation to key environmental variables (habitat size, detrital resource, incident radiation) and predators: prey ratios. We sampled 365 bromeliads in a wide range of understorey environments in French Guiana and used gut contents of invertebrates to draw the corresponding 365 connectance webs. At the bromeliad scale, habitat size (water volume) determined the number of species that constitute food-web nodes, the proportion of predators, and food-web topology. The number of species as well as the proportion of predators within bromeliads declined from open to forested habitats, where the volume of water collected by bromeliads was generally lower because of rainfall interception by the canopy. A core group of microorganisms and generalist detritivores remained relatively constant across environments. This suggests that (i) a highly-connected core ensures food-web stability and key ecosystem functions across environments, and (ii) larger deviations in food-web structures can be expected following disturbance if detritivores share traits that determine responses to environmental changes. While linkage density and nestedness were lower in bromeliads in the forest than in open areas, experiments are needed to confirm a trend for lower food-web stability in the understorey of primary forests