157 research outputs found

    Decoupling of morphological disparity and taxic diversity during the adaptive radiation of anomodont therapsids

    Get PDF
    Adaptive radiations are central to macroevolutionary theory. Whether triggered by acquisition of new traits or ecological opportunities arising from mass extinctions, it is debated whether adaptive radiations are marked by initial expansion of taxic diversity or of morphological disparity (the range of anatomical form). If a group rediversifies following a mass extinction, it is said to have passed through a macroevolutionary bottleneck, and the loss of taxic or phylogenetic diversity may limit the amount of morphological novelty that it can subsequently generate. Anomodont therapsids, a diverse clade of Permian and Triassic herbivorous tetrapods, passed through a bottleneck during the end-Permian mass extinction. Their taxic diversity increased during the Permian, declined significantly at the Permo–Triassic boundary and rebounded during the Middle Triassic before the clade's final extinction at the end of the Triassic. By sharp contrast, disparity declined steadily during most of anomodont history. Our results highlight three main aspects of adaptive radiations: (i) diversity and disparity are generally decoupled; (ii) models of radiations following mass extinctions may differ from those triggered by other causes (e.g. trait acquisition); and (iii) the bottleneck caused by a mass extinction means that a clade can emerge lacking its original potential for generating morphological variety

    A formally verified compiler back-end

    Get PDF
    This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

    Considering the Case for Biodiversity Cycles: Reexamining the Evidence for Periodicity in the Fossil Record

    Get PDF
    Medvedev and Melott (2007) have suggested that periodicity in fossil biodiversity may be induced by cosmic rays which vary as the Solar System oscillates normal to the galactic disk. We re-examine the evidence for a 62 million year (Myr) periodicity in biodiversity throughout the Phanerozoic history of animal life reported by Rohde & Mueller (2005), as well as related questions of periodicity in origination and extinction. We find that the signal is robust against variations in methods of analysis, and is based on fluctuations in the Paleozoic and a substantial part of the Mesozoic. Examination of origination and extinction is somewhat ambiguous, with results depending upon procedure. Origination and extinction intensity as defined by RM may be affected by an artifact at 27 Myr in the duration of stratigraphic intervals. Nevertheless, when a procedure free of this artifact is implemented, the 27 Myr periodicity appears in origination, suggesting that the artifact may ultimately be based on a signal in the data. A 62 Myr feature appears in extinction, when this same procedure is used. We conclude that evidence for a periodicity at 62 Myr is robust, and evidence for periodicity at approximately 27 Myr is also present, albeit more ambiguous.Comment: Minor modifications to reflect final published versio

    Global Taxonomic Diversity of Anomodonts (Tetrapoda, Therapsida) and the Terrestrial Rock Record Across the Permian-Triassic Boundary

    Get PDF
    The end-Permian biotic crisis (∼252.5 Ma) represents the most severe extinction event in Earth's history. This paper investigates diversity patterns in Anomodontia, an extinct group of therapsid synapsids (‘mammal-like reptiles’), through time and in particular across this event. As herbivores and the dominant terrestrial tetrapods of their time, anomodonts play a central role in assessing the impact of the end-Permian extinction on terrestrial ecosystems. Taxonomic diversity analysis reveals that anomodonts experienced three distinct phases of diversification interrupted by the same number of extinctions, i.e. an end-Guadalupian, an end-Permian, and a mid-Triassic extinction. A positive correlation between the number of taxa and the number of formations per time interval shows that anomodont diversity is biased by the Permian-Triassic terrestrial rock record. Normalized diversity curves indicate that anomodont richness continuously declines from the Middle Permian to the Late Triassic, but also reveals all three extinction events. Taxonomic rates (origination and extinction) indicate that the end-Guadalupian and end-Permian extinctions were driven by increased rates of extinction as well as low origination rates. However, this pattern is not evident at the final decline of anomodont diversity during the Middle Triassic. Therefore, it remains unclear whether the Middle Triassic extinction represents a gradual or abrupt event that is unique to anomodonts or more common among terrestrial tetrapods. The end-Permian extinction represents the most distinct event in terms of decline in anomodont richness and turnover rates

    Individual differences in face identity processing

    Get PDF
    We investigated the relationships between individual differences in different aspects of face-identity processing, using the Glasgow Face Matching Test (GFMT) as a measure of unfamiliar face perception, the Cambridge Face Memory Test (CFMT) as a measure of new face learning, and the Before They Were Famous task (BTWF) as a measure of familiar face recognition. These measures were integrated into two separate studies examining the relationship between face processing and other tasks. For Study 1 we gathered participants’ subjective ratings of their own face perception abilities. In Study 2 we used additional measures of perceptual and cognitive abilities, and personality factors to place individual differences in a broader context. Performance was significantly correlated across the three face-identity tasks in both studies, suggesting some degree of commonality of underlying mechanisms. For Study 1 the participants’ self-ratings correlated poorly with performance, reaching significance only for judgements of familiar face recognition. In Study 2 there were few associations between face tasks and other measures, with task-level influences seeming to account for the small number of associations present. In general, face tasks correlated with each other, but did not show an overall relation with other perceptual, cognitive or personality tests. Our findings are consistent with the existence of a general face-perception factor, able to account for around 25% of the variance in scores. However, other relatively task-specific influences are also clearly operating

    Food consumption frequency and perceived stress and depressive symptoms among students in three European countries

    Get PDF
    Mikolajczyk RT, El Ansari W, Maxwell AE. Food consumption frequency and perceived stress and depressive symptoms among students in three European countries. Nutrition Journal. 2009;8(1):31.Background: Certain foods might be more frequently eaten under stress or when higher levels of depressive symptoms are experienced. We examined whether poor nutritional habits are associated with stress and depressive symptoms and whether the relationships differ by country and gender in a sample from three European countries collected as part of a Cross National Student Health Survey. Methods: A cross-sectional survey was conducted among first-year students in Germany (N = 696), Poland (N = 489) and Bulgaria (N = 654). Self-administered questionnaires included a 12-item food frequency questionnaire, Cohen's Perceived Stress Scale, and a modified Beck Depression Index. Linear regression analyses were conducted for two outcomes, perceived stress and depressive symptoms. Results: Food consumption frequencies differed by country and gender, as did depressive symptoms and perceived stress. For male students, none of the food consumption groups were associated with perceived stress or depressive symptoms. In females, perceived stress was associated with more frequent consumption of sweets/fast foods and less frequent consumption of fruits/vegetables. Additionally, depressive symptoms were associated with less frequent consumption of fruits/vegetables and meat. Conclusion: Our data show consistent associations between unhealthy food consumption and depressive symptoms and perceived stress among female students from three European countries, but not among male students. This suggests that efforts to reduce depressive symptoms and stress among female students may also lead to the consumption of healthier foods and/or vice-versa

    Bringing Back a Healthy Buzz? Invertebrate Parasites and Reintroductions:A Case Study in Bumblebees

    Get PDF
    Reintroductions can play a key role in the conservation of endangered species. Parasites may impact reintroductions, both positively and negatively, but few case studies of how to manage parasites during reintroductions exist. Bumblebees are in decline at regional and global scales, and reintroductions can be used to re-establish extinct local populations. Here we report on how the risks associated with parasites are being managed in an ongoing reintroduction of the short-haired bumblebee, Bombus subterraneus, to the UK. Disease risk analysis was conducted and disease risk management plans constructed to design a capture-quarantine-release system that minimised the impacts on both the bumblebees and on their natural parasites. Given that bumblebee parasites are (i) generalists, (ii) geographically ubiquitous, and (iii) show evidence of local adaptation, the disease risk management plan was designed to limit the co-introduction of parasites from the source population in Sweden to the destination site in the UK. Results suggest that this process at best eliminated, or at least severely curtailed the co-introduction of parasites, and ongoing updates of the plan enabled minimization of impacts on natural host-parasite dynamics in the Swedish source population. This study suggests that methods designed for reintroductions of vertebrate species can be successfully applied to invertebrates. Future reintroductions of invertebrates where the parasite fauna is less well known should take advantage of next-generation barcoding and multiple survey years prior to the start of reintroductions, to develop comprehensive disease risk management plans

    Biomic Specialization and Speciation Rates in Ruminants (Cetartiodactyla, Mammalia): A Test of the Resource-Use Hypothesis at the Global Scale

    Get PDF
    The resource-use hypothesis proposed by E.S. Vrba predicts that specialist species have higher speciation and extinction rates than generalists because they are more susceptible to environmental changes and vicariance. In this work, we test some of the predictions derived from this hypothesis on the 197 extant and recently extinct species of Ruminantia (Cetartiodactyla, Mammalia) using the biomic specialization index (BSI) of each species, which is based on its distribution within different biomes. We ran 10000 Monte Carlo simulations of our data in order to get a null distribution of BSI values against which to contrast the observed data. Additionally, we drew on a supertree of the ruminants and a phylogenetic likelihood-based method (QuaSSE) for testing whether the degree of biomic specialization affects speciation rates in ruminant lineages. Our results are consistent with the predictions of the resource-use hypothesis, which foretells a higher speciation rate of lineages restricted to a single biome (BSI = 1) and higher frequency of specialist species in biomes that underwent high degree of contraction and fragmentation during climatic cycles. Bovids and deer present differential specialization across biomes; cervids show higher specialization in biomes with a marked hydric seasonality (tropical deciduous woodlands and schlerophyllous woodlands), while bovids present higher specialization in a greater variety of biomes. This might be the result of divergent physiological constraints as well as a different biogeographic and evolutionary history

    The Economic Benefits Resulting from the First 8 Years of the Global Programme to Eliminate Lymphatic Filariasis (2000–2007)

    Get PDF
    Lymphatic filariasis (LF), commonly known as ‘elephantiasis’, is one of the world's most debilitating infectious diseases. In 83 countries worldwide, more than 1.3 billion people are at risk of infection with an estimated 120 million individuals already infected. A recent publication reviewing the health impact of the first 8 years of the Global Programme to Eliminate Lymphatic Filariasis (GPELF) demonstrated the enormous health benefits achieved in populations receiving annual mass drug administration (MDA), as a result of infection prevented, disease progression halted, and ancillary treatment of co-infections. To date, however, no studies have estimated the economic value of these health benefits, either to the individuals or the societies afflicted with LF. Our study estimates that US21.8billionwillbegainedamongindividualsbenefittingfromjustthefirst8yearsoftheGlobalProgramme,andanadditionalUS21.8 billion will be gained among individuals benefitting from just the first 8 years of the Global Programme, and an additional US2.2 billion will be saved by the health systems of endemic countries. Treating endemic populations is possible at very low cost – particularly because of the generous drug donations from two pharmaceutical companies – but results in enormous economic benefits. Findings from this study yield a much clearer understanding the GPELF's full economic impact and strengthen the conviction that it is a ‘best buy’ in global health
    corecore