A New Elimination Rule for the Calculus of Inductive Constructions

Published in the post-proceedings of TYPES but actually not presented orally to the conferenceInternational audienceIn Type Theory, definition by dependently-typed case analysis can be expressed by means of a set of equations — the semantic approach — or by an explicit pattern-matching construction — the syntactic approach. We aim at putting together the best of both approaches by extending the pattern-matching construction found in the Coq proof assistant in order to obtain the expressivity and flexibility of equation-based case analysis while remaining in a syntax-based setting, thus making dependently-typed programming more tractable in the Coq system. We provide a new rule that permits the omission of impossible cases, handles the propagation of inversion constraints, and allows to derive Streicher's K axiom. We show that subject reduction holds, and sketch a proof of relative consistency

Differential effects of Parkinson\u27s disease and dopamine replacement on memory encoding and retrieval.

Increasingly memory deficits are recognized in Parkinson\u27s disease (PD). In PD, the dopamine-producing cells of the substantia nigra (SN) are significantly degenerated whereas those in the ventral tegmental area (VTA) are relatively spared. Dopamine-replacement medication improves cognitive processes that implicate the SN-innervated dorsal striatum but is thought to impair those that depend upon the VTA-supplied ventral striatum, limbic and prefrontal cortices. Our aim was to examine memory encoding and retrieval in PD and how they are affected by dopamine replacement. Twenty-nine PD patients performed the Rey Auditory Verbal Learning Test (RAVLT) and a non-verbal analogue, the Aggie Figures Learning Test (AFLT), both on and off dopaminergic medications. Twenty-seven, age-matched controls also performed these memory tests twice and their data were analyzed to correspond to the ON-OFF order of the PD patients to whom they were matched. We contrasted measures that emphasized with those that accentuated retrieval and investigated the effect of PD and dopamine-replacement on these processes separately. For PD patients relative to controls, encoding performance was normal in the off state and was impaired on dopaminergic medication. Retrieval was impaired off medication and improved by dopamine repletion. This pattern of findings suggests that VTA-innervated brain regions such as ventral striatum, limbic and prefrontal cortices are implicated in encoding, whereas the SN-supplied dorsal striatum mediates retrieval. Understanding this pattern of spared functions and deficits in PD, and the effect of dopamine replacement on these distinct memory processes, should prompt closer scrutiny of patients\u27 cognitive complaints to inform titration of dopamine replacement dosages along with motor symptoms

Examining dorsal striatum in cognitive effort using Parkinson\u27s disease and fMRI.

OBJECTIVE: Understanding cognition mediated by the striatum can clarify cognitive deficits in Parkinson\u27s disease (PD). Previously, we claimed that dorsal striatum (DS) mediates cognitive flexibility. To refute the possibility that variation in cognitive effort confounded our observations, we reexamined our data to dissociate cognitive flexibility from effort. PD provides a model for exploring DS-mediated functions. In PD, dopamine-producing cells supplying DS are significantly degenerated. DS-mediated functions are impaired off and improved on dopamine replacement medication. Functional magnetic resonance imaging (fMRI) can confirm striatum-mediated functions. METHODS: Twenty-two PD patients, off-on dopaminergic medication, and 22 healthy age-matched controls performed a number selection task. Numerical distance between number pairs varied systematically. Selecting between two numbers that are closer versus distant in magnitude is more effortful: the symbolic distance effect. However, selecting between closer versus distant number pairs is equivalent in the need to alter attention or response strategies (i.e., cognitive flexibility). In Experiment 2, 28 healthy participants performed the same task with simultaneous measurement of brain activity with fMRI. RESULTS: The symbolic distance effect was equivalent for PD versus control participants and across medication sessions. Furthermore, symbolic distance did not correlate with DS activation using fMRI. In this dataset, we showed previously that integrating conflicting influences on decision making is (1) impaired in PD and improved by dopaminergic therapy and (2) associated with preferential DS activation using fMRI. INTERPRETATION: These findings support the notion that DS mediates cognitive flexibility specifically, not merely cognitive effort, accounting for some cognitive deficits in PD and informing treatment

Regional Brain Stem Atrophy in Idiopathic Parkinson's Disease Detected by Anatomical MRI

Idiopathic Parkinson's disease (PD) is a neurodegenerative disorder characterized by the dysfunction of dopaminergic dependent cortico-basal ganglia loops and diagnosed on the basis of motor symptoms (tremors and/or rigidity and bradykinesia). Post-mortem studies tend to show that the destruction of dopaminergic neurons in the substantia nigra constitutes an intermediate step in a broader neurodegenerative process rather than a unique feature of Parkinson's disease, as a consistent pattern of progression would exist, originating from the medulla oblongata/pontine tegmentum. To date, neuroimaging techniques have been unable to characterize the pre-symptomatic stages of PD. However, if such a regular neurodegenerative pattern were to exist, consistent damages would be found in the brain stem, even at early stages of the disease. We recruited 23 PD patients at Hoenn and Yahr stages I to II of the disease and 18 healthy controls (HC) matched for age. T1-weighted anatomical scans were acquired (MPRAGE, 1 mm3 resolution) and analyzed using an optimized VBM protocol to detect white and grey matter volume reduction without spatial a priori. When the HC group was compared to the PD group, a single cluster exhibited statistical difference (p<0.05 corrected for false detection rate, 4287 mm3) in the brain stem, between the pons and the medulla oblongata. The present study provides in-vivo evidence that brain stem damage may be the first identifiable stage of PD neuropathology, and that the identification of this consistent damage along with other factors could help with earlier diagnosis in the future. This damage could also explain some non-motor symptoms in PD that often precede diagnosis, such as autonomic dysfunction and sleep disorders

Carcass characteristics and beef quality of young grass-fed Angus x Salers bovines

To characterize carcass and meat attributes, such as beef eating quality in specific farming conditions, 31 young grass-fed crossbred Angus x Salers cattle in two farming systems (a mono-cattle system versus a mixed system with beef cattle and sheep) were used in this study. Three muscle cuts (striploin—m. longissimus dorsi et thoracis; bolar blade—m. triceps brachii caput longum; internal flank plate—m. obliquus internus abdominis) were used for consumer eating quality testing and striploin was used for panelist eating quality assessment, and objective measurements [Warner–Bratzler shear force (WBSF) and fatty acid (FA) and antioxidant contents]. Results indicated that the farming system had no impact on carcass characteristics or meat quality, but it tended to affect FA content, which is likely explained by between-system differences in animal maturity (assessed by ossification score). Animal gender had significant effects on three eating quality traits evaluated by untrained consumers, with higher flavor liking, overall liking, and overall meat eating quality (MQ4) scores in females than in males. Additionally, FA contents were correlated with sensory quality traits to varying extents: consumer-scored tenderness, flavor, and overall liking were mainly positively correlated with ω-3 and ω-6 polyunsaturated fatty acid (PUFA) contents, and panelist-evaluated tenderness and abnormal flavor were more positively correlated with total lipids, saturated fatty acid (SFA), and monounsaturated fatty acid (MUFA) contents. Overall, this study showed that specific grass-fed crossbred Angus x Salers cattle can produce lean meat rich in ω-3 PUFAs with a low ω-6/ω-3 ratio and with “better than average” beef eating quality

AMP-activated protein kinase controls liposaccharide-induced hyperpermeability

Organ dysfunction determines the severity of sepsis and is correlated to mortality. Endothelial increased permeability contributes to the development of organ failure. AMP-activated protein kinase (AMPK) has been shown to modulate cytoskeleton and could mediate endothelial permeability. Our hypothesis is that AMPK controls sepsis-induced hyperpermeability in the heart and is involved in septic cardiomyopathy. Sepsis was induced by intraperitoneal injection of liposaccharide, 10 mg/kg (LPS). Alpha-1 AMPK knockout mice (α1KO) were compared with wild-type. Vascular permeability was characterized by Evans blue extravasation. Inflammatory cytokine mRNA expression was determined by qPCR analysis. Left ventricular mass was assessed by echocardiography. In addition, to emphasize the beneficial role of AMPK on heart vascular permeability, AMPK activator (acadesine) was administered to C57Bl6 mice before LPS injection. The ANOVA test with Bonferroni's post hoc test and the log-rank test were used. P < 0.05 was considered as significant. Increased cardiac vascular permeability was observed in the LPS group in comparison to untreated animals (2.5% vs. 16%; P < 0.05). The α1KO mice exhibited an increase vascular permeability after LPS injection in comparison to wild-type mice (41.5% vs. 16%; P < 0.05). α1KO animals had a significant mortality increase after LPS injection (70% vs. 10%; P < 0.05). LPS markedly induced the production of proinflammatory cytokines (TNFα, IL-1β, IL-6) that were significantly higher in the α1KO animals. More importantly, LPS treatment leads to an increased left ventricular mass in the α1KO mice within 24 hours, suggesting the onset of edema. Finally LPS-induced vascular hyperpermeability was greatly reduced after AMPK activation by acadesine (13.2% vs. 40%; P < 0.05). AMPK importantly regulates cardiac vascular permeability and could control the sepsis-induced cardiomyopathy. AMPK could represent a new pharmacological target of sepsis

A pivotal role for starch in the reconfiguration of 14C-partitioning and allocation in Arabidopsis thaliana under short-term abiotic stress.

Plant carbon status is optimized for normal growth but is affected by abiotic stress. Here, we used 14C-labeling to provide the first holistic picture of carbon use changes during short-term osmotic, salinity, and cold stress in Arabidopsis thaliana. This could inform on the early mechanisms plants use to survive adverse environment, which is important for efficient agricultural production. We found that carbon allocation from source to sinks, and partitioning into major metabolite pools in the source leaf, sink leaves and roots showed both conserved and divergent responses to the stresses examined. Carbohydrates changed under all abiotic stresses applied; plants re-partitioned 14C to maintain sugar levels under stress, primarily by reducing 14C into the storage compounds in the source leaf, and decreasing 14C into the pools used for growth processes in the roots. Salinity and cold increased 14C-flux into protein, but as the stress progressed, protein degradation increased to produce amino acids, presumably for osmoprotection. Our work also emphasized that stress regulated the carbon channeled into starch, and its metabolic turnover. These stress-induced changes in starch metabolism and sugar export in the source were partly accompanied by transcriptional alteration in the T6P/SnRK1 regulatory pathway that are normally activated by carbon starvation

Perception of cultured “meat” by Italian, Portuguese and Spanish consumers

The aim of this study was to investigate how consumers (n = 2,171) originated from South-Western Europe (Italy, Portugal, and Spain) perceive cultured “meat” (CM) and if their demographic characteristics (origin, gender, age, education, occupation, and meat consumption) are related to their willingness to try (WTT), to regularly eat (WTE) and to pay (WTP) for CM. We found the current respondents had an initially positive attitude towards CM: 49% of them perceived CM as “promising and/or acceptable” and 23% “fun and/or intriguing” whereas 29% considered it as “absurd and/or disgusting”. In addition, 66 and 25% would be willing and not willing to try CM, respectively. However, 43% had no WTE for CM and, 94% would not pay more for CM compared to conventional meat. Age and especially occupation were good indicators of consumer acceptance of CM. Respondents of 18–30 years of age had the highest acceptance. Respondents outside the meat sector had the highest WTE and people working within the meat sector had the lowest WTE, scientists (within or outside the meat sector) had the highest WTT, people not scientists but within the meat sector had the lowest WTT. Additionally, we found that men are more likely to accept CM than women, Spanish-speaking consumers had the highest WTT and WTE, people with vegan and vegetarian diets may pay more for CM but generally no more than for conventional meat. The perceptions that CM may be more eco-friendly, ethical, safe and healthy than conventional meat, and to a lower extent, the perception that current meat production causes ethical and environmental problems are likely to be major motives for the current respondents to try, regularly eat and pay for CM. On the opposite, lower perceptions of CM benefits and of conventional meat weaknesses more generally, plus emotional resistance towards CM are main barriers to accept CM

The Role of the Receptor for Advanced Glycation End-Products in a Murine Model of Silicosis

Background: The role of the receptor for advanced glycation end-products (RAGE) has been shown to differ in two different mouse models of asbestos and bleomycin induced pulmonary fibrosis. RAGE knockout (KO) mice get worse fibrosis when challenged with asbestos, whereas in the bleomycin model they are largely protected against fibrosis. In the current study the role of RAGE in a mouse model of silica induced pulmonary fibrosis was investigated. Methodology/Principal Findings: Wild type (WT) and RAGE KO mice received a single intratracheal (i.t.) instillation of silica in saline or saline alone as vehicle control. Fourteen days after treatment mice were subjected to a lung mechanistic study and the lungs were lavaged and inflammatory cells, protein and TGF-β levels in lavage fluid determined. Lungs were subsequently either fixed for histology or excised for biochemical assessment of fibrosis and determination of RAGE proteinand mRNA levels. There was no difference in the inflammatory response or degree of fibrosis (hydroxyproline levels) in the lungs between WT and RAGE KO mice after silica injury. However, histologically the fibrotic lesions in the RAGE KO mice had a more diffuse alveolar septal fibrosis compared to the nodular fibrosis in WT mice. Furthermore, RAGE KO mice had a significantly higher histologic score, a measure of affected areas of the lung, compared to WT silica treated mice. A lung mechanistic study revealed a significant decrease in lung function after silica compared to control, but no difference between WT and RAGE KO. While a dose response study showed similar degrees of fibrosis after silica treatment in the two strains, the RAGE KO mice had some differences in the inflammatory response compared to WT mice. Conclusions/Significance: Aside from the difference in the fibrotic pattern, these studies showed no indicators of RAGE having an effect on the severity of pulmonary fibrosis following silica injury. © 2010 Ramsgaard et al

Paradoxical roles of antioxidant enzymes:Basic mechanisms and health implications

Reactive oxygen species (ROS) and reactive nitrogen species (RNS) are generated from aerobic metabolism, as a result of accidental electron leakage as well as regulated enzymatic processes. Because ROS/RNS can induce oxidative injury and act in redox signaling, enzymes metabolizing them will inherently promote either health or disease, depending on the physiological context. It is thus misleading to consider conventionally called antioxidant enzymes to be largely, if not exclusively, health protective. Because such a notion is nonetheless common, we herein attempt to rationalize why this simplistic view should be avoided. First we give an updated summary of physiological phenotypes triggered in mouse models of overexpression or knockout of major antioxidant enzymes. Subsequently, we focus on a series of striking cases that demonstrate “paradoxical” outcomes, i.e., increased fitness upon deletion of antioxidant enzymes or disease triggered by their overexpression. We elaborate mechanisms by which these phenotypes are mediated via chemical, biological, and metabolic interactions of the antioxidant enzymes with their substrates, downstream events, and cellular context. Furthermore, we propose that novel treatments of antioxidant enzyme-related human diseases may be enabled by deliberate targeting of dual roles of the pertaining enzymes. We also discuss the potential of “antioxidant” nutrients and phytochemicals, via regulating the expression or function of antioxidant enzymes, in preventing, treating, or aggravating chronic diseases. We conclude that “paradoxical” roles of antioxidant enzymes in physiology, health, and disease derive from sophisticated molecular mechanisms of redox biology and metabolic homeostasis. Simply viewing antioxidant enzymes as always being beneficial is not only conceptually misleading but also clinically hazardous if such notions underpin medical treatment protocols based on modulation of redox pathways