1,123 research outputs found

    Dynamics of the formation of a hydrogel by a pathogenic amyloid peptide: islet amyloid polypeptide

    Get PDF
    Many chronic degenerative diseases result from aggregation of misfolded polypeptides to form amyloids. Many amyloidogenic polypeptides are surfactants and their assembly can be catalysed by hydrophobic-hydrophilic interfaces (an air-water interface in-vitro or membranes in-vivo). We recently demonstrated the specificity of surface-induced amyloidogenesis but the mechanisms of amyloidogenesis and more specifically of adsorption at hydrophobic-hydrophilic interfaces remain poorly understood. Thus, it is critical to determine how amyloidogenic polypeptides behave at interfaces. Here we used surface tensiometry, rheology and electron microscopy to demonstrate the complex dynamics of gelation by full-length human islet amyloid polypeptide (involved in type II diabetes) both in the bulk solution and at hydrophobic-hydrophilic interfaces (air-water interface and phospholipids). We show that the hydrogel consists of a 3D supramolecular network of fibrils. We also assessed the role of solvation and dissected the evolution over time of the assembly processes. Amyloid gelation could have important pathological consequences for membrane integrity and cellular functions

    Stressors and threats to the flora of Acadia National Park, Maine: Current knowledge, information gaps, and future directions

    Get PDF
    Stressors and threats to the flora of Acadia National Park, Maine: Current knowledge, information gaps, and future directions. J. Torrey Bot. Soc. 139: 323–344. 2012.— Acadia National Park is a center of plant diversity in northeastern North America. The Park\u27s varied habitats and flora are sensitive to a number of natural and anthropogenic perturbations. Stressors such as invasive plants, pest and pathogens, ozone, acidic fog and sulfur deposition, nitrogen deposition, heavy metals, fire and fire suppression, over-browsing, visitor use, hurricanes, and climate change have all had effects on the Park\u27s habitats and plant species at some point and it is unclear how many of these stressors are currently affecting the flora of Acadia National Park. We discuss the botanical diversity of Acadia, assess the natural and anthropogenic stressors and threats affecting the Park\u27s flora, and summarize critical information gaps to better assess the known stressors and threats to the flora. Understanding these stressors and threats is critical to making informed management decisions to preserve the botanical diversity of Acadia and other regional parks

    Linearity in the non-deterministic call-by-value setting

    Full text link
    We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

    Call-by-value non-determinism in a linear logic type discipline

    Get PDF
    We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

    Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

    Full text link
    The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while the latter uses equalities. When given by rewrites, algebraic lambda-calculi are not confluent unless further restrictions are added. We provide a type system for the linear-algebraic lambda-calculus enforcing strong normalisation, which gives back confluence. The type system allows an abstract interpretation in System F.Comment: In Proceedings LSFA 2011, arXiv:1203.542

    Magnetic field effects on liquid metal free convection

    Get PDF
    International audienceWe provide a numerical analysis of three-dimensional free convection of a liquid in a Rayleigh-BĂ©nard configuration,subject to a steady and uniform magnetic field, using the finite volume code Jadim. The influence of the Hartmann andRayleigh numbers are studied. We compare our results to several experimental works. As suggested by previousexperiments, the magnetic field tends to lower the heat transfer at the walls. This is caused by a significant alteration ofthe flow structures, due to the Lorentz force. For slightly overcritical Rayleigh numbers, two-dimensional rolls appearbut the flow structure rapidly becomes three-dimensional as we increase the Rayleigh number. The magnetic field tendsto destroy those structures and the transition to a 3D flow is delayed to higher values of the Rayleigh number, when theHartmann number is increased. We show that the averaged heat transfer at the walls decreases, although it remains ofthe same order of magnitude. However the local structure of heat transfer is altered
    • …
    corecore