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

Effect of hypoxia and Beraprost sodium on human pulmonary arterial smooth muscle cell proliferation: the role of p27kip1

<p>Abstract</p> <p>Background</p> <p>Hypoxia induces the proliferation of pulmonary arterial smooth muscle cell (PASMC) <it>in vivo </it>and <it>in vitro</it>, and prostacyclin analogues are thought to inhibit the growth of PASMC. Previous studies suggest that p27^kip1, a kind of cyclin-dependent kinase inhibitor, play an important role in the smooth muscle cell proliferation. However, the mechanism of hypoxia and the subcellular interactions between p27^kip1and prostacyclin analogues in human pulmonary arterial smooth muscle cell (HPASMC) are not fully understood.</p> <p>Methods</p> <p>We investigated the role of p27^kip1in the ability of Beraprost sodium (BPS; a stable prostacyclin analogue) to inhibit the proliferation of HPASMC during hypoxia. To clarify the biological effects of hypoxic air exposure and BPS on HPASMC, the cells were cultured in a hypoxic chamber under various oxygen concentrations (0.1–21%). Thereafter, DNA synthesis was measured as bromodeoxyuridine (BrdU) incorporation, the cell cycle was analyzed by flow cytometry with propidium iodide staining. The p27^kip1mRNA and protein expression and it's stability was measured by real-time RT-PCR and Western blotting. Further, we assessed the role of p27^kip1in HPASMC proliferation using p27^kip1gene knockdown using small interfering RNA (siRNA) transfection.</p> <p>Results</p> <p>Although severe hypoxia (0.1% oxygen) suppressed the proliferation of serum-stimulated HPASMC, moderate hypoxia (2% oxygen) enhanced proliferation in accordance with enhanced p27^kip1protein degradation, whereas BPS suppressed HPASMC proliferation under both hypoxic and normoxic conditions by suppressing p27^kip1degradation with intracellular cAMP-elevation. The 8-bromo-cyclic adenosine monophosphate (8-Br-cAMP), a cAMP analogue, had similar action as BPS in the regulation of p27^kip1. Moderate hypoxia did not affect the stability of p27^kip1protein expression, but PDGF, known as major hypoxia-induced growth factors, significantly decreased p27^kip1protein stability. We also demonstrated that BPS and 8-Br-cAMP suppressed HPASMC proliferation under both hypoxic and normoxic conditions by blocking p27^kip1mRNA degradation. Furthermore, p27^kip1gene silencing partially attenuated the effects of BPS and partially restored hypoxia-induced proliferation.</p> <p>Conclusion</p> <p>Our study suggests that moderate hypoxia induces HPASMC proliferation, which is partially dependent of p27^kip1down-regulation probably <it>via </it>the induction of growth factors such as PDGF, and BPS inhibits both the cell proliferation and p27^kip1mRNA degradation through cAMP pathway.</p