350 research outputs found

    Forcing mechanisms behind variations in TOC concentration of lake waters Forcing mechanisms behind variations in total organic carbon (TOC) concentration of lake waters during the past eight centuries – palaeolimnological evidence from southern Sweden Forcing mechanisms behind variations in TOC concentration of lake waters

    Get PDF
    International audienceDecadal-scale variations in total organic carbon (TOC) concentration in lake water since AD 1200 in two small lakes in southern Sweden were reconstructed based on visible-near infrared spectroscopy (VNIRS) of their recent sediment successions. In order to assess the impacts of local land-use changes and regional variations in 5 sulphur deposition and climate on the inferred changes in TOC concentration, the same sediment records were subjected to multi-proxy palaeolimnological analyses. Changes in lake-water pH were inferred from diatom analysis, whereas pollen-based land-use reconstructions (Landscape Reconstruction Algorithm) together with geo-chemical records provided information on catchment-scale environmental changes, 10 and comparisons were made with available records of climate and population density. Our long-term reconstructions reveal that TOC concentrations were generally high prior to AD 1900, with second-order variations coupled mainly to changes in agricultural land-use intensity. The last century showed significant changes, and unusually low TOC concentrations were recorded in 1930–1990, followed by a recent increase. Vari-15 ations in sulphur emissions, with an increase in the early 1900s to a peak around AD 1980 and a subsequent decrease, were most likely the main driver of these dynamics, although processes related to the introduction of modern forestry and recent increases in precipitation and temperature may have contributed. The increase in lake-water TOC concentration from around AD 1980 may therefore reflect a recovery process. Given 20 that the effects of sulphate deposition now subside, other forcing mechanisms related to land management and climate change will possibly become the main drivers of TOC concentration changes in boreal lake waters in the future

    Historical TOC concentration minima during peak sulfur deposition in two Swedish lakes

    Get PDF
    International audienceDecadal-scale variations in total organic carbon (TOC) concentration in lake water since AD 1200 in two small lakes in southern Sweden were reconstructed based on visible–near-infrared spectroscopy (VNIRS) of their recent sediment successions. In order to assess the impacts of local land-use changes, regional variations in sulfur, and nitrogen deposition and climate variations on the inferred changes in TOC concentration, the same sediment records were subjected to multi-proxy palaeolimnological analyses. Changes in lake-water pH were inferred from diatom analysis , whereas pollen-based land-use reconstructions (Landscape Reconstruction Algorithm) together with geochemical records provided information on catchment-scale environmental changes, and comparisons were made with available records of climate and population density. Our long-term reconstructions reveal that inferred lake-water TOC concentrations were generally high prior to AD 1900, with additional variability coupled mainly to changes in forest cover and agricultural land-use intensity. The last century showed significant changes, and unusually low TOC concentrations were inferred at AD 1930–1990, followed by a recent increase , largely consistent with monitoring data. Variations in sulfur emissions, with an increase in the early 1900s to a peak around AD 1980 and a subsequent decrease, were identified as an important driver of these dynamics at both sites, while processes related to the introduction of modern forestry and recent increases in precipitation and temperature may have contributed, but the effects differed between the sites. The increase in lake-water TOC concentration from around AD 1980 may therefore reflect a recovery process. Given that the effects of sulfur deposition now subside and that the recovery of lake-water TOC concentrations has reached pre-industrial levels, other forcing mechanisms related to land management and climate change may become the main drivers of TOC concentration changes in boreal lake waters in the future

    Proving Type Class Laws for Haskell

    Full text link
    Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific data type. All instances of such type classes are expected to behave in a certain way and satisfy laws associated with the respective class. These are however typically just stated in comments and as such, there is no real way to enforce that they hold. In this paper we describe a system which allows the user to write down type class laws which are then automatically instantiated and sent to an inductive theorem prover when declaring a new instance of a type class.Comment: Presented at the Symposium for Trends in Functional Programming, 201

    In children and adolescents with temporomandibular disorder assembled with juvenile idiopathic arthritis ‑ no association were found between pain and TMJ deformities using CBCT

    Get PDF
    Background - Children and adolescents with juvenile idiopathic arthritis (JIA) may suffer from temporomandibular disorder (TMD). Due to this, imaging diagnosis is crucial in JIA with non-symptomatic TM joint (TMJ) involvement. The aim of the study was to examine the association between clinical TMD signs/symptoms and cone-beam computed tomography (CBCT) findings of TMJ structural deformities in children and adolescents with JIA. Methods - This cross-sectional study is part of a longitudinal prospective multi-centre study performed from 2015–2020, including 228 children and adolescents aged 4–16 years diagnosed with JIA, according to the International League of Associations for Rheumatology (ILAR). For this sub-study, we included the Bergen cohort of 72 patients (32 female, median age 13.1 years, median duration of JIA 4.5 years). Clinical TMD signs/symptoms were registered as pain on palpation, pain on jaw movement, and combined pain of those two. The severity of TMJ deformity was classified as sound (no deformity), mild, or moderate/severe according to the radiographic findings of CBCT. Results Conclusions - There was no association between painful TMD and CBCT imaging features of the TMJ in patients with JIA, but the oligoarticular subtype of JIA, there was a significant difference associated with TMJ pain and structural CBCT deformities

    Adsorption of CO on a Platinum (111) surface - a study within a four-component relativistic density functional approach

    Get PDF
    We report on results of a theoretical study of the adsorption process of a single carbon oxide molecule on a Platinum (111) surface. A four-component relativistic density functional method was applied to account for a proper description of the strong relativistic effects. A limited number of atoms in the framework of a cluster approach is used to describe the surface. Different adsorption sites are investigated. We found that CO is preferably adsorbed at the top position.Comment: 23 Pages with 4 figure

    Multivariate Modelling of Pedestrian Fatality Risk Through on the Spot Accident Investigation

    Full text link
    Pedestrians are the most vulnerable users of public roads and represent one of the largest groups of road casualties; their death rate around the world due to vehicle-pedestrian collisions is high and tending to rise. In Spain, as in other countries of the European Union, steps have been taken to reduce the number and consequences of such accidents, with encouraging results in recent years. A key to countering this concern is the accident research activity that has obtained remarkable achievements in different fields, especially when multidisciplinary approaches are taken. This paper describes the development of a multivariate model that is able to detect the most influential parameters on the consequences of vehicle-pedestrian collision and to quantify their impact on pedestrian fatality risk. First, an accident database containing detailed information and parameters of vehicle-pedestrian collisions in Madrid has been developed. The accidents were investigated on the spot by INSIA accident investigation teams and analyzed using advanced reconstruction techniques. The model was then developed with two components: (1) a classification tree that characterizes and selects the explanatory variables, identifying their interactions, and (2) a binary logistic regression to quantify the influence of each variable and interaction resulting from the classification tree. The whole model represents an important tool for identifying, quantifying and predicting the potential impact of measures aimed at reducing injuries in vehicle-pedestrian collisions

    Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

    Get PDF
    A benefit of pure functional programming is that it encourages equational reasoning. However, the Haskell language has lacked direct tool support for such reasoning. Consequently, reasoning about Haskell programs is either performed manually, or in another language that does provide tool support (e.g. Agda or Coq). HERMIT is a Haskell-specific toolkit designed to support equational reasoning and user-guided program transformation, and to do so as part of the GHC compilation pipeline. This paper describes HERMIT’s recently developed support for equational reasoning, and presents two case studies of HERMIT usage: checking that type-class laws hold for specific instance declarations, and mechanising textbook equational reasoning

    Сравнительный анализ методов оценки конкурентоспособности организации

    Get PDF
    Материалы XIV Междунар. науч. конф. студентов, магистрантов, аспирантов и молодых ученых, Гомель, 13–14 мая 2021 г
    corecore