On the Order Dimension of Convex Geometries

We study the order dimension of the lattice of closed sets for a convex geometry. Further, we prove the existence of large convex geometries realized by planar point sets that have very low order dimension. We show that the planar point set of Erdos and Szekeres from 1961 which is a set of 2^(n-2) points and contains no convex n-gon has order dimension n - 1 and any larger set of points has order dimension strictly larger than n - 1.Comment: 12 pages, 2 figure

Faster linearizability checking via PP-compositionality

Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects) are linearizable. This paper presents $P$-compositionality, which generalizes the idea behind the locality principle to operations on the same concurrent data type. We implement $P$-compositionality in a novel linearizability checker. Our experiments with over nine implementations of concurrent sets, including Intel's TBB library, show that our linearizability checker is one order of magnitude faster and/or more space efficient than the state-of-the-art algorithm.Comment: 15 pages, 2 figure

Sudden drop of fractal dimension of electromagnetic emissions recorded prior to significant earthquake

The variation of fractal dimension and entropy during a damage evolution process, especially approaching critical failure, has been recently investigated. A sudden drop of fractal dimension has been proposed as a quantitative indicator of damage localization or a likely precursor of an impending catastrophic failure. In this contribution, electromagnetic emissions recorded prior to significant earthquake are analysed to investigate whether they also present such sudden fractal dimension and entropy drops as the main catastrophic event is approaching. The pre-earthquake electromagnetic time series analysis results reveal a good agreement to the theoretically expected ones indicating that the critical fracture is approaching

Role of the Mitochondria in Immune-Mediated Apoptotic Death of the Human Pancreatic β Cell Line βLox5

Mitochondria are indispensable in the life and death of many types of eukaryotic cells. In pancreatic beta cells, mitochondria play an essential role in the secretion of insulin, a hormone that regulates blood glucose levels. Unregulated blood glucose is a hallmark symptom of diabetes. The onset of Type 1 diabetes is preceded by autoimmune-mediated destruction of beta cells. However, the exact role of mitochondria has not been assessed in beta cell death. In this study, we examine the role of mitochondria in both Fas- and proinflammatory cytokine-mediated destruction of the human beta cell line, βLox5. IFNγ primed βLox5 cells for apoptosis by elevating cell surface Fas. Consequently, βLox5 cells were killed by caspase-dependent apoptosis by agonistic activation of Fas, but only after priming with IFNγ. This beta cell line undergoes both apoptotic and necrotic cell death after incubation with the combination of the proinflammatory cytokines IFNγ and TNFα. Additionally, both caspase-dependent and -independent mechanisms that require proper mitochondrial function are involved. Mitochondrial contributions to βLox5 cell death were analyzed using mitochondrial DNA (mtDNA) depleted βLox5 cells, or βLox5 ρ0 cells. βLox5 ρ0 cells are not sensitive to IFNγ and TNFα killing, indicating a direct role for the mitochondria in cytokine-induced cell death of the parental cell line. However, βLox5 ρ0 cells are susceptible to Fas killing, implicating caspase-dependent extrinsic apoptotic death is the mechanism by which these human beta cells die after Fas ligation. These data support the hypothesis that immune mediators kill βLox5 cells by both mitochondrial-dependent intrinsic and caspase-dependent extrinsic pathways

Mitochondrial Hâ‚‚Oâ‚‚ emission and cellular redox state link excess fat intake to insulin resistance in both rodents and humans

High dietary fat intake leads to insulin resistance in skeletal muscle, and this represents a major risk factor for type 2 diabetes and cardiovascular disease. Mitochondrial dysfunction and oxidative stress have been implicated in the disease process, but the underlying mechanisms are still unknown. Here we show that in skeletal muscle of both rodents and humans, a diet high in fat increases the Hâ‚‚Oâ‚‚-emitting potential of mitochondria, shifts the cellular redox environment to a more oxidized state, and decreases the redox-buffering capacity in the absence of any change in mitochondrial respiratory function. Furthermore, we show that attenuating mitochondrial Hâ‚‚Oâ‚‚ emission, either by treating rats with a mitochondrial-targeted antioxidant or by genetically engineering the overexpression of catalase in mitochondria of muscle in mice, completely preserves insulin sensitivity despite a high-fat diet. These findings place the etiology of insulin resistance in the context of mitochondrial bioenergetics by demonstrating that mitochondrial Hâ‚‚Oâ‚‚ emission serves as both a gauge of energy balance and a regulator of cellular redox environment, linking intracellular metabolic balance to the control of insulin sensitivity. Original version available at http://www.jci.org/articles/view/3704

MicroRNAs in pulmonary arterial remodeling

Pulmonary arterial remodeling is a presently irreversible pathologic hallmark of pulmonary arterial hypertension (PAH). This complex disease involves pathogenic dysregulation of all cell types within the small pulmonary arteries contributing to vascular remodeling leading to intimal lesions, resulting in elevated pulmonary vascular resistance and right heart dysfunction. Mutations within the bone morphogenetic protein receptor 2 gene, leading to dysregulated proliferation of pulmonary artery smooth muscle cells, have been identified as being responsible for heritable PAH. Indeed, the disease is characterized by excessive cellular proliferation and resistance to apoptosis of smooth muscle and endothelial cells. Significant gene dysregulation at the transcriptional and signaling level has been identified. MicroRNAs are small non-coding RNA molecules that negatively regulate gene expression and have the ability to target numerous genes, therefore potentially controlling a host of gene regulatory and signaling pathways. The major role of miRNAs in pulmonary arterial remodeling is still relatively unknown although research data is emerging apace. Modulation of miRNAs represents a possible therapeutic target for altering the remodeling phenotype in the pulmonary vasculature. This review will focus on the role of miRNAs in regulating smooth muscle and endothelial cell phenotypes and their influence on pulmonary remodeling in the setting of PAH