179 research outputs found

    Confluence and Convergence in Probabilistically Terminating Reduction Systems

    Get PDF
    Convergence of an abstract reduction system (ARS) is the property that any derivation from an initial state will end in the same final state, a.k.a. normal form. We generalize this for probabilistic ARS as almost-sure convergence, meaning that the normal form is reached with probability one, even if diverging derivations may exist. We show and exemplify properties that can be used for proving almost-sure convergence of probabilistic ARS, generalizing known results from ARS.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

    Ocean and land forcing of the record-breaking Dust Bowl heat waves across central United States

    Get PDF
    International audienceThe severe drought of the 1930s Dust Bowl decade coincided with record-breaking summer heatwaves that contributed to the socioeconomic and ecological disaster over North America's Great Plains. It remains unresolved to what extent these exceptional heatwaves, hotter than in historically forced coupled climate model simulations, were forced by sea surface temperatures (SSTs) and exacerbated through human-induced deterioration of land cover. Here we show, using an atmospheric-only model, that anomalously warm North Atlantic SSTs enhance heatwave activity through an association with drier spring conditions resulting from weaker moisture transport. Model devegetation simulations, that represent the widespread exposure of bare soil in the 1930s, suggest human activity fueled stronger and more frequent heatwaves through greater evaporative drying in the warmer months. This study highlights the potential for the amplification of naturally occurring extreme events like droughts by vegetation feedbacks to create more extreme heatwaves in a warmer world

    The Merging of Two Dynasties—Identification of an African Cotton Leaf Curl Disease-Associated Begomovirus with Cotton in Pakistan

    Get PDF
    Cotton leaf curl disease (CLCuD) is a severe disease of cotton that occurs in Africa and Pakistan/northwestern India. The disease is caused by begomoviruses in association with specific betasatellites that differ between Africa and Asia. During survey of symptomatic cotton in Sindh (southern Pakistan) Cotton leaf curl Gezira virus (CLCuGV), the begomovirus associated with CLCuD in Africa, was identified. However, the cognate African betasatellite (Cotton leaf curl Gezira betasatellite) was not found. Instead, two Asian betasatellites, the CLCuD-associated Cotton leaf curl Multan betasatellite (CLCuMB) and Chilli leaf curl betasatellite (ChLCB) were identified. Inoculation of the experimental plant species Nicotiana benthamiana showed that CLCuGV was competent to maintain both CLCuMB and ChLCB. Interestingly, the enations typical of CLCuD were only induced by CLCuGV in the presence of CLCuMB. Also in infections involving both CLCuMB and ChLCB the enations typical of CLCuMB were less evident. This is the first time an African begomovirus has been identified on the Indian sub-continent, highlight the growing threat of begomoviruses and particularly the threat of CLCuD causing viruses to cotton cultivation in the rest of the world

    On-line analysis and in situ pH monitoring of mixed acid fermentation by Escherichia coli using combined FTIR and Raman techniques

    Get PDF
    We introduce an experimental setup allowing continuous monitoring of bacterial fermentation processes by simultaneous optical density (OD) measurements, long-path FTIR headspace monitoring of CO2, acetaldehyde and ethanol, and liquid Raman spectroscopy of acetate, formate, and phosphate anions, without sampling. We discuss which spectral features are best suited for detection, and how to obtain partial pressures and concentrations by integrations and least squares fitting of spectral features. Noise equivalent detection limits are about 2.6 mM for acetate and 3.6 mM for formate at 5 min integration time, improving to 0.75 mM for acetate and 1.0 mM for formate at 1 h integration. The analytical range extends to at least 1 M with a standard deviation of percentage error of about 8%. The measurement of the anions of the phosphate buffer allows the spectroscopic, in situ determination of the pH of the bacterial suspension via a modified Henderson-Hasselbalch equation in the 6–8 pH range with an accuracy better than 0.1. The 4 m White cell FTIR measurements provide noise equivalent detection limits of 0.21 μbar for acetaldehyde and 0.26 μbar for ethanol in the gas phase, corresponding to 3.2 μM acetaldehyde and 22 μM ethanol in solution, using Henry’s law. The analytical dynamic range exceeds 1 mbar ethanol corresponding to 85 mM in solution. As an application example, the mixed acid fermentation of Escherichia coli is studied. The production of CO2, ethanol, acetaldehyde, acids such as formate and acetate, and the changes in pH are discussed in the context of the mixed acid fermentation pathways. Formate decomposition into CO2 and H2 is found to be governed by a zeroth-order kinetic rate law, showing that adding exogenous formate to a bioreactor with E. coli is expected to have no beneficial effect on the rate of formate decomposition and biohydrogen production

    Conspicuous Female Ornamentation and Tests of Male Mate Preference in Threespine Sticklebacks (Gasterosteus aculeatus)

    Get PDF
    Sexual selection drives the evolution of exaggerated male ornaments in many animal species. Female ornamentation is now acknowledged also to be common but is generally less well understood. One example is the recently documented red female throat coloration in some threespine stickleback (Gasterosteus aculeatus) populations. Although female sticklebacks often exhibit a preference for red male throat coloration, the possibility of sexual selection on female coloration has been little studied. Using sequential and simultaneous mate choice trials, we examined male mate preferences for female throat color, as well as pelvic spine color and standard length, using wild-captured threespine sticklebacks from the Little Campbell River, British Columbia. In a multivariate analysis, we found no evidence for a population-level mate preference in males, suggesting the absence of directional sexual selection on these traits arising from male mate choice. Significant variation was detected among males in their preference functions, but this appeared to arise from differences in their mean responsiveness across mating trials and not from variation in the strength (i.e., slope) of their preference, suggesting the absence of individual-level preferences as well. When presented with conspecific intruder males, male response decreased as intruder red throat coloration increased, suggesting that males can discriminate color and other aspects of phenotype in our experiment and that males may use these traits in intrasexual interactions. The results presented here are the first to explicitly address male preference for female throat color in threespine sticklebacks.Open Access Publishing Fun

    Male, National, and Religious Collective Narcissism Predict Sexism

    Get PDF
    Results of three cross-sectional studies indicate that sexism in Poland is associated with collective narcissism—a belief that one’s own group’s (the in-group’s) exaggerated exceptionality is not sufficiently recognized by others—with reference to three social identities: male, religious, and national. In Study 1 (n = 329), male collective narcissism was associated with sexism. This relationship was sequentially mediated by precarious manhood and traditional gender beliefs. In Study 2 (n = 877), Catholic collective narcissism predicted tolerance of violence against women (among men and women) over and above religious fundamentalism and in contrast to intrinsic religiosity. In Study 3 (n = 1070), national collective narcissism was associated with hostile sexism among men and women and with benevolent sexism more strongly among women than among men. In contrast, national in-group satisfaction—a belief that the nation is of a high value—predicted rejection of benevolent and hostile sexism among women but was positively associated with hostile and benevolent sexism among men. Among men and women collective narcissism was associated with tolerance of domestic violence against women, whereas national in-group satisfaction was associated with rejection of violence against women

    Effectiveness of classroom based crew resource management training in the intensive care unit: study design of a controlled trial

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Crew resource management (CRM) has the potential to enhance patient safety in intensive care units (ICU) by improving the use of non-technical skills. However, CRM evaluation studies in health care are inconclusive with regard to the effect of this training on behaviour and organizational outcomes, due to weak study designs and the scarce use of direct observations. Therefore, the aim of this study is to determine the effectiveness and cost-effectiveness of CRM training on attitude, behaviour and organization after one year, using a multi-method approach and matched control units. The purpose of the present article is to describe the study protocol and the underlying choices of this evaluation study of CRM in the ICU in detail.</p> <p>Methods/Design</p> <p>Six ICUs participated in a paired controlled trial, with one pre-test and two post test measurements (respectively three months and one year after the training). Three ICUs were trained and compared to matched control ICUs. The 2-day classroom-based training was delivered to multidisciplinary groups. Typical CRM topics on the individual, team and organizational level were discussed, such as situational awareness, leadership and communication. All levels of Kirkpatrick's evaluation framework (reaction, learning, behaviour and organisation) were assessed using questionnaires, direct observations, interviews and routine ICU administration data.</p> <p>Discussion</p> <p>It is expected that the CRM training acts as a generic intervention that stimulates specific interventions. Besides effectiveness and cost-effectiveness, the assessment of the barriers and facilitators will provide insight in the implementation process of CRM.</p> <p>Trial registration</p> <p>Netherlands Trial Register (NTR): <a href="http://www.trialregister.nl/trialreg/admin/rctview.asp?TC=1976">NTR1976</a></p

    Ecological Niche Dimensionality and the Evolutionary Diversification of Stick Insects

    Get PDF
    The degree of phenotypic divergence and reproductive isolation between taxon pairs can vary quantitatively, and often increases as evolutionary divergence proceeds through various stages, from polymorphism to population differentiation, ecotype and race formation, speciation, and post-speciational divergence. Although divergent natural selection promotes divergence, it does not always result in strong differentiation. For example, divergent selection can fail to complete speciation, and distinct species pairs sometimes collapse (‘speciation in reverse’). Widely-discussed explanations for this variability concern genetic architecture, and the geographic arrangement of populations. A less-explored possibility is that the degree of phenotypic and reproductive divergence between taxon pairs is positively related to the number of ecological niche dimensions (i.e., traits) subject to divergent selection. Some data supporting this idea stem from laboratory experimental evolution studies using Drosophila, but tests from nature are lacking. Here we report results from manipulative field experiments in natural populations of herbivorous Timema stick insects that are consistent with this ‘niche dimensionality’ hypothesis. In such insects, divergent selection between host plants might occur for cryptic colouration (camouflage to evade visual predation), physiology (to detoxify plant chemicals), or both of these niche dimensions. We show that divergent selection on the single niche dimension of cryptic colouration can result in ecotype formation and intermediate levels of phenotypic and reproductive divergence between populations feeding on different hosts. However, greater divergence between a species pair involved divergent selection on both niche dimensions. Although further replication of the trends reported here is required, the results suggest that dimensionality of selection may complement genetic and geographic explanations for the degree of diversification in nature

    Caenorhabditis briggsae Recombinant Inbred Line Genotypes Reveal Inter-Strain Incompatibility and the Evolution of Recombination

    Get PDF
    The nematode Caenorhabditis briggsae is an emerging model organism that allows evolutionary comparisons with C. elegans and exploration of its own unique biological attributes. To produce a high-resolution C. briggsae recombination map, recombinant inbred lines were generated from reciprocal crosses between two strains and genotyped at over 1,000 loci. A second set of recombinant inbred lines involving a third strain was also genotyped at lower resolution. The resulting recombination maps exhibit discrete domains of high and low recombination, as in C. elegans, indicating these are a general feature of Caenorhabditis species. The proportion of a chromosome's physical size occupied by the central, low-recombination domain is highly correlated between species. However, the C. briggsae intra-species comparison reveals striking variation in the distribution of recombination between domains. Hybrid lines made with the more divergent pair of strains also exhibit pervasive marker transmission ratio distortion, evidence of selection acting on hybrid genotypes. The strongest effect, on chromosome III, is explained by a developmental delay phenotype exhibited by some hybrid F2 animals. In addition, on chromosomes IV and V, cross direction-specific biases towards one parental genotype suggest the existence of cytonuclear epistatic interactions. These interactions are discussed in relation to surprising mitochondrial genome polymorphism in C. briggsae, evidence that the two strains diverged in allopatry, the potential for local adaptation, and the evolution of Dobzhansky-Muller incompatibilities. The genetic and genomic resources resulting from this work will support future efforts to understand inter-strain divergence as well as facilitate studies of gene function, natural variation, and the evolution of recombination in Caenorhabditis nematodes
    • …
    corecore