1,123 research outputs found
Dynamics of the formation of a hydrogel by a pathogenic amyloid peptide: islet amyloid polypeptide
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
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
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
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
Recommended from our members
Stereopsis in end-stage renal disease (ESRD)
We investigated an effect of end-stage renal disease (ESRD) on the visual system by measuring the ability of 21 patients to perceive depth in the random dot stereograms and circles of the Randot Test. To control for other factors which might influence performance on the tests of stereopsis, patients were compared with healthy controls matched for age, years of education, IQ, and general cognitive ability. Vernier acuity (thought to reflect mainly central processing) and Landolt acuity (more sensitive to retinal and optical abnormalities) were also measured, but the study did not include a formal ophthalmological examination. All controls could perceive depth in random dot stereograms, whereas 9/21 patients could not. Patients who could perceive depth had worse stereoacuity than did their matched controls. The patient group as a whole had worse Vernier and Landolt acuities than the controls. The stereoblind patient subgroup had similar Vernier acuity to the stereoscopic subgroup, but worse Landolt acuity, and were more likely to have peripheral vascular disease. We conclude that ESRD had affected structures both within the eye, and within the visual brain. However, the similarity of Vernier acuity and difference of Landolt acuity in the stereoblind and stereoscopic patient subgroups suggest that the differences in stereoscopic ability arise from abnormalities in the eyes rather than in the brain
Recommended from our members
Latent learning in end stage renal disease (ESRD)
Cognitive functions such as attention and memory are known to be impaired in End Stage Renal Disease (ESRD), but the sites of the neural changes underlying these impairments are uncertain. Patients and controls took part in a latent learning task, which had previously shown a dissociation between patients with Parkinson’s disease and those with medial temporal damage. ESRD patients (n=24) and age and education-matched controls (n=24) were randomly assigned to either an exposed or unexposed condition. In Phase 1 of the task, participants learned that a cue (word) on the back of a schematic head predicted that the subsequently seen face would be smiling. For the exposed (but not unexposed) condition, an additional (irrelevant) colour cue was shown during presentation. In Phase 2, a different association, between colour and facial expression, was learned. Instructions were the same for each phase: participants had to predict whether the subsequently viewed face was going to be happy or sad. No difference in error rate between the groups was found in Phase 1, suggesting that patients and controls learned at a similar rate. However, in Phase 2, a significant interaction was found between group and condition, with exposed controls performing significantly worse than unexposed (therefore demonstrating learned irrelevance). In contrast, exposed patients made a similar number of errors to unexposed in Phase 2. The pattern of results in ESRD was different from that previously found in Parkinson’s disease, suggesting a different neural origin
Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting
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
Recommended from our members
The nature of impairments of memory in patients with end-stage renal disease (ESRD)
Possible impairments of memory in end-stage renal disease (ESRD) were investigated in two experiments. In Experiment 1, in which stimulus words were presented visually, participants were tested on conceptual or perceptual memory tasks, with retrieval being either explicit or implicit. Compared with healthy controls, ESRD patients were impaired when memory required conceptual but not when it required perceptual processing, regardless of whether retrieval was explicit or implicit. An impairment of conceptual implicit memory (priming) in the ESRD group represented a previously unreported deficit compared to healthy aging. There were no significant differences between pre- and immediate post-dialysis memory performance in ESRD patients on any of the tasks. In Experiment 2, in which presentation was auditory, patients again performed worse than controls on an explicit conceptual memory task. We conclude that the type of processing required by the task (conceptual vs. perceptual) is more important than the type of retrieval (explicit vs. implicit) in memory failures in ESRD patients, perhaps because temporal brain regions are more susceptible to the effects of the illness than are posterior regions
Magnetic field effects on liquid metal free convection
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
- …