581 research outputs found

    A proof of strong normalisation of the typed atomic lambda-calculus

    Get PDF

    Climate Change Modulates Multitrophic Interactions Between Maize, A Root Herbivore, and Its Enemies

    Get PDF
    How climate change will modify belowground tritrophic interactions is poorly understood, despite their importance for agricultural productivity. Here, we manipulated the three major abiotic factors associated with climate change (atmospheric CO2, temperature, and soil moisture) and investigated their individual and joint effects on the interaction between maize, the banded cucumber beetle (Diabrotica balteata), and the entomopathogenic nematode (EPN) Heterorhabditis bacteriophora. Changes in individual abiotic parameters had a strong influence on plant biomass, leaf wilting, sugar concentrations, protein levels, and benzoxazinoid contents. Yet, when combined to simulate a predicted climate scenario (Representative Concentration Pathway 8.5, RCP 8.5), their effects mostly counter-balanced each other. Only the sharp negative impact of drought on leaf wilting was not fully compensated. In both current and predicted scenarios, root damage resulted in increased leaf wilting, reduced root biomass, and reconfigured the plant sugar metabolism. Single climatic variables modulated the herbivore performance and survival in an additive manner, although slight interactions were also observed. Increased temperature and CO2 levels both enhanced the performance of the insect, but elevated temperature also decreased its survival. Elevated temperatures and CO2 further directly impeded the EPN infectivity potential, while lower moisture levels improved it through plant- and/or herbivore-mediated changes. In the RCP 8.5 scenario, temperature and CO2 showed interactive effects on EPN infectivity, which was overall decreased by 40%. We conclude that root pest problems may worsen with climate change due to increased herbivore performance and reduced top-down control by biological control agents

    Determinants of impact : towards a better understanding of encounters with the arts

    Get PDF
    The article argues that current methods for assessing the impact of the arts are largely based on a fragmented and incomplete understanding of the cognitive, psychological and socio-cultural dynamics that govern the aesthetic experience. It postulates that a better grasp of the interaction between the individual and the work of art is the necessary foundation for a genuine understanding of how the arts can affect people. Through a critique of philosophical and empirical attempts to capture the main features of the aesthetic encounter, the article draws attention to the gaps in our current understanding of the responses to art. It proposes a classification and exploration of the factors—social, cultural and psychological—that contribute to shaping the aesthetic experience, thus determining the possibility of impact. The ‘determinants of impact’ identified are distinguished into three groups: those that are inherent to the individual who interacts with the artwork; those that are inherent to the artwork; and ‘environmental factors’, which are extrinsic to both the individual and the artwork. The article concludes that any meaningful attempt to assess the impact of the arts would need to take these ‘determinants of impact’ into account, in order to capture the multidimensional and subjective nature of the aesthetic experience

    Realizability Interpretation and Normalization of Typed Call-by-Need λ\lambda-calculus With Control

    Get PDF
    We define a variant of realizability where realizers are pairs of a term and a substitution. This variant allows us to prove the normalization of a simply-typed call-by-need \lambda$-$calculus with control due to Ariola et al. Indeed, in such call-by-need calculus, substitutions have to be delayed until knowing if an argument is really needed. In a second step, we extend the proof to a call-by-need \lambda-calculus equipped with a type system equivalent to classical second-order predicate logic, representing one step towards proving the normalization of the call-by-need classical second-order arithmetic introduced by the second author to provide a proof-as-program interpretation of the axiom of dependent choice

    Urinary C-Peptide of Insulin as a Non-Invasive Marker of Nutritional Status: Some Practicalities

    Get PDF
    Nutritional status is a critical element of many aspects of animal ecology, but has proven difficult to measure non-invasively in studies of free-ranging animals. Urinary C-peptide of insulin (UCP), a small polypeptide cleaved in an equimolar ratio from proinsulin when the body converts it to insulin, offers great promise in this regard, and recent studies of several non-human primate species have utilized it with encouraging results. Despite this, there are a number of unresolved issues related to the collection, processing, storage and transport of samples. These include: contamination of samples on collection (most commonly by dirt or faeces), short-term storage before returning to a field station, differences in processing and long-term storage methods (blotting onto filter paper, freezing, lyophilizing), and for frozen samples, transportation while keeping samples frozen. Such issues have been investigated for urine samples in particular with respect to their effects on steroid hormone metabolites, but there has been little investigation of their effects on UCP measurement. We collected samples from captive macaques, and undertook a series of experiments where we systematically manipulated samples and tested the effects on subsequent UCP measurements. We show that contamination of urine samples by faeces led to a decrease in UCP levels by >90%, but that contamination with dirt did not have substantial effects. Short-term storage (up to 12 hours) of samples on ice did not affect UCP levels significantly, but medium-term storage (up to 78 hours) did. Freezing and lyophilization for long-term storage did not affect UCP levels, but blotting onto filter paper did. A transportation simulation showed that transporting frozen samples packed in ice and insulated should be acceptable, but only if it can be completed within a period of a few days and if freeze-thaw can be avoided. We use our data to make practical recommendations for fieldworkers

    Postglacial Colonization of Northern Coastal Habitat by Bottlenose Dolphins: A Marine Leading-Edge Expansion?

    Get PDF
    Oscillations in the Earth’s temperature and the subsequent retreating and advancing of ice-sheets around the polar regions are thought to have played an important role in shaping the distribution and genetic structuring of contemporary high-latitude populations. After the Last Glacial Maximum (LGM), retreating of the ice-sheets would have enabled early colonizers to rapidly occupy suitable niches to the exclusion of other conspecifics, thereby reducing genetic diversity at the leading-edge. Bottlenose dolphins (genus Tursiops) form distinct coastal and pelagic ecotypes, with finer-scale genetic structuring observed within each ecotype. We reconstruct the postglacial colonization of the Northeast Atlantic (NEA) by bottlenose dolphins using habitat modeling and phylogenetics. The AquaMaps model hindcasted suitable habitat for the LGM in the Atlantic lower latitude waters and parts of the Mediterranean Sea. The time-calibrated phylogeny, constructed with 86 complete mitochondrial genomes including 30 generated for this study and created using a multispecies coalescent model, suggests that the expansion to the available coastal habitat in the NEA happened via founder events starting ~15 000 years ago (95% highest posterior density interval: 4 900–26 400). The founders of the 2 distinct coastal NEA populations comprised as few as 2 maternal lineages that originated from the pelagic population. The low effective population size and genetic diversity estimated for the shared ancestral coastal population subsequent to divergence from the pelagic source population are consistent with leading-edge expansion. These findings highlight the legacy of the Late Pleistocene glacial cycles on the genetic structuring and diversity of contemporary populations

    Evolution of a Signaling Nexus Constrained by Protein Interfaces and Conformational States

    Get PDF
    Heterotrimeric G proteins act as the physical nexus between numerous receptors that respond to extracellular signals and proteins that drive the cytoplasmic response. The Gα subunit of the G protein, in particular, is highly constrained due to its many interactions with proteins that control or react to its conformational state. Various organisms contain differing sets of Gα-interacting proteins, clearly indicating that shifts in sequence and associated Gα functionality were acquired over time. These numerous interactions constrained much of Gα evolution; yet Gα has diversified, through poorly understood processes, into several functionally specialized classes, each with a unique set of interacting proteins. Applying a synthetic sequence-based approach to mammalian Gα subunits, we established a set of seventy-five evolutionarily important class-distinctive residues, sites where a single Gα class is differentiated from the three other classes. We tested the hypothesis that shifts at these sites are important for class-specific functionality. Importantly, we mapped known and well-studied class-specific functionalities from all four mammalian classes to sixteen of our class-distinctive sites, validating the hypothesis. Our results show how unique functionality can evolve through the recruitment of residues that were ancestrally functional. We also studied acquisition of functionalities by following these evolutionarily important sites in non-mammalian organisms. Our results suggest that many class-distinctive sites were established early on in eukaryotic diversification and were critical for the establishment of new Gα classes, whereas others arose in punctuated bursts throughout metazoan evolution. These Gα class-distinctive residues are rational targets for future structural and functional studies

    Astrocyte pathology in the prefrontal cortex impairs the cognitive function of rats

    Get PDF
    Interest in astroglial cells is rising due to recent findings supporting dynamic neuron-astrocyte interactions. There is increasing evidence of astrocytic dysfunction in several brain disorders such as depression, schizophrenia or bipolar disorder; importantly these pathologies are characterized by the involvement of the prefrontal cortex and by significant cognitive impairments. Here, to model astrocyte pathology, we injected animals with the astrocyte specific toxin L-a-aminoadipate (L-AA) in the medial prefrontal cortex (mPFC); a behavioral and structural characterization two and six days after the injection was performed. Behavioral data shows that the astrocyte pathology in the mPFC affects the attentional set-shifting, the working memory and the reversal learning functions. Histological analysis of brain sections of the L-AA-injected animals revealed a pronounced loss of astrocytes in the targeted region. Interestingly, analysis of neurons in the lesion sites showed a progressive neuronal loss that was accompanied with dendritic atrophy in the surviving neurons. These results suggest that the L-AA-induced astrocytic loss in the mPFC triggers subsequent neuronal damage leading to cognitive impairment in tasks depending on the integrity of this brain region. These findings are of relevance to better understand the pathophysiological mechanisms underlying disorders that involve astrocytic loss/dysfunction in the PFC.This work was supported by the Marie Curie Fellowship FP7-PEOPLE-2010-IEF 273936, BIAL Foundation Grants 138/2008 and 61/2010, FEDER funds through Operational program for competitiveness factors-COMPETE -, ON2 Programa Operacional Regional do Norte (ON.2-O Novo Norte), QREN/FEDER, and by national funds through FCT-Foundation for Science and Technology-project (PTDC/SAU-NSC/118194/2010) and fellowships (SFRH/BPD/66151/2009 and SFRH/BD/89714/2012)
    corecore