Polyhedral Analysis using Parametric Objectives

The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables. This paper describes a new approach to computing polyhedral domain operations. The core of this approach is an algorithm to calculate variable elimination (projection) based on parametric linear programming. The algorithm enumerates only non-redundant inequalities of the projection space, hence permits anytime approximation of the output

An update on the Hirsch conjecture

The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to George Dantzig. It states that the graph of a d-dimensional polytope with n facets cannot have diameter greater than n - d. Despite being one of the most fundamental, basic and old problems in polytope theory, what we know is quite scarce. Most notably, no polynomial upper bound is known for the diameters that are conjectured to be linear. In contrast, very few polytopes are known where the bound $n-d$ is attained. This paper collects known results and remarks both on the positive and on the negative side of the conjecture. Some proofs are included, but only those that we hope are accessible to a general mathematical audience without introducing too many technicalities.Comment: 28 pages, 6 figures. Many proofs have been taken out from version 2 and put into the appendix arXiv:0912.423

Auxinic herbicides, mechanisms of action, and weed resistance: A look into recent plant science advances

Auxin governs dynamic cellular processes involved at several stages of plant growth and development. In this review, we discuss the mechanisms employed by auxin in light of recent scientific advances, with a focus on synthetic auxins as herbicides and synthetic auxin resistance mechanisms. Two auxin receptors were reported. The plasma membrane receptor ABP1 (Auxin Binding Protein 1) alters the structure and arrangement of actin filaments and microtubules, leading to plant epinasty and reducing peroxisomes and mitochondria mobility in the cell environment. The second auxin receptor is the gene transcription pathway regulated by the SCFTir/AFB ubiquitination complex, which destroys transcription repressor proteins that interrupt Auxin Response Factor (ARF) activation. As a result mRNA related with Abscisic Acid (ABA) and ethylene are transcribed, producing high quantities of theses hormones. Their associated action leads to high production of Reactive Oxygen Species (ROS), leading to tissue and plant death. Recently, another ubiquitination pathway which is described as a new auxin signaling route is the F-box protein S-Phase Kinase-Associated Protein 2A (SKP2A). It is active in cell division regulation and there is evidence that auxin herbicides can deregulate the SKP2A pathway, which leads to severe defects in plant development. In this discussion, we propose that SFCSKP2A auxin binding site alteration could be a new auxinic herbicide resistance mechanism, a concept which may contribute to the current progress in plant biology in its quest to clarify the many questions that still surround auxin herbicide mechanisms of action and the mechanisms of weed resistance

Taxonomy based on science is necessary for global conservation

Peer reviewe

Apathy in presymptomatic genetic frontotemporal dementia predicts cognitive decline and is driven by structural brain changes

Introduction: Apathy adversely affects prognosis and survival of patients with frontotemporal dementia (FTD). We test whether apathy develops in presymptomatic genetic FTD, and is associated with cognitive decline and brain atrophy. Methods: Presymptomatic carriers of MAPT, GRN or C9orf72 mutations (N = 304), and relatives without mutations (N = 296) underwent clinical assessments and MRI at baseline, and annually for 2 years. Longitudinal changes in apathy, cognition, gray matter volumes, and their relationships were analyzed with latent growth curve modeling. Results: Apathy severity increased over time in presymptomatic carriers, but not in non-carriers. In presymptomatic carriers, baseline apathy predicted cognitive decline over two years, but not vice versa. Apathy progression was associated with baseline low gray matter volume in frontal and cingulate regions. Discussion: Apathy is an early marker of FTD-related changes and predicts a subsequent subclinical deterioration of cognition before dementia onset. Apathy may be a modifiable factor in those at risk of FTD

Genome-wide association meta-analyses and fine-mapping elucidate pathways influencing albuminuria

Increased levels of the urinary albumin-to-creatinine ratio (UACR) are associated with higher risk of kidney disease progression and cardiovascular events, but underlying mechanisms are incompletely understood. Here, we conduct trans-ethnic (n = 564,257) and European-ancestry specific meta-analyses of genome-wide association studies of UACR, including ancestry- and diabetes-specific analyses, and identify 68 UACR-associated loci. Genetic correlation analyses and risk score associations in an independent electronic medical records database (n = 192,868) reveal connections with proteinuria, hyperlipidemia, gout, and hypertension. Fine-mapping and trans-Omics analyses with gene expression in 47 tissues and plasma protein levels implicate genes potentially operating through differential expression in kidney (including TGFB1, MUC1, PRKCI, and OAF), and allow coupling of UACR associations to altered plasma OAF concentrations. Knockdown of OAF and PRKCI orthologs in Drosophila nephrocytes reduces albumin endocytosis. Silencing fly PRKCI further impairs slit diaphragm formation. These results generate a priority list of genes and pathways for translational research to reduce albuminuria

Spinal cholinergic interneurons regulate the excitability of motoneurons during locomotion

To effect movement, motoneurons must respond appropriately to motor commands. Their responsiveness to these inputs, or excitability, is regulated by neuromodulators. Possible sources of modulation include the abundant cholinergic "C boutons" that surround motoneuron somata. In the present study, recordings from motoneurons in spinal cord slices demonstrated that cholinergic activation of m<sub>2</sub>-type muscarinic receptors increases excitability by reducing the action potential afterhyperpolarization. Analyses of isolated spinal cord preparations in which fictive locomotion was elicited demonstrated that endogenous cholinergic inputs increase motoneuron excitability during locomotion. Anatomical data indicate that C boutons originate from a discrete group of interneurons lateral to the central canal, the medial partition neurons. These results highlight a unique component of spinal motor networks that is critical in ensuring that sufficient output is generated by motoneurons to drive motor behavior