Making linearizability compositional for partially ordered executions

In the interleaving model of concurrency, where events are totally ordered, linearizability is compositional: the composition of two linearizable objects is guaranteed to be linearizable. However, linearizability is not compositional when events are only partially ordered, as in the weak-memory models that describe multicore memory systems. In this paper, we present a generalisation of linearizability for concurrent objects implemented in weak-memory models. We abstract from the details of specific memory models by defining our condition using Lamport’s execution structures. We apply our condition to the C11 memory model, providing a correctness condition for C11 objects. We develop a proof method for verifying objects implemented in C11 and related models. Our method is an adaptation of simulation-based methods, but in contrast to other such methods, it does not require that the implementation totally orders its events. We apply our proof technique and show correctness of the Treiber stack that blocks on empty, annotated with C11 release-acquire synchronisation

Understanding the limitations of radiation-induced cell cycle checkpoints

The DNA damage response pathways involve processes of double-strand break (DSB) repair and cell cycle checkpoint control to prevent or limit entry into S phase or mitosis in the presence of unrepaired damage. Checkpoints can function to permanently remove damaged cells from the actively proliferating population but can also halt the cell cycle temporarily to provide time for the repair of DSBs. Although efficient in their ability to limit genomic instability, checkpoints are not foolproof but carry inherent limitations. Recent work has demonstrated that the G1/S checkpoint is slowly activated and allows cells to enter S phase in the presence of unrepaired DSBs for about 4–6 h post irradiation. During this time, only a slowing but not abolition of S-phase entry is observed. The G2/M checkpoint, in contrast, is quickly activated but only responds to a level of 10–20 DSBs such that cells with a low number of DSBs do not initiate the checkpoint or terminate arrest before repair is complete. Here, we discuss the limitations of these checkpoints in the context of the current knowledge of the factors involved. We suggest that the time needed to fully activate G1/S arrest reflects the existence of a restriction point in G1-phase progression. This point has previously been defined as the point when mitogen starvation fails to prevent cells from entering S phase. However, cells that passed the restriction point can respond to DSBs, albeit with reduced efficiency

Synchronization in G0/G1 enhances the mitogenic response of cells overexpressing the human insulin receptor A isoform to insulin

Evaluating mitogenic signaling specifically through the human insulin receptor (IR) is relevant for the preclinical safety assessment of developmental insulin analogs. It is known that overexpression of IR sensitizes cells to the mitogenic effects of insulin, but it is essentially unknown how mitogenic responses can be optimized to allow practical use of such recombinant cell lines for preclinical safety testing. We constitutively overexpressed the short isoform of the human insulin receptor (hIR-A, exon 11-negative) in L6 rat skeletal myoblasts. Because the mitogenic effect of growth factors such as insulin is expected to act in G0/G1, promoting S-phase entry, we developed a combined topoinhibition + serum deprivation strategy to explore the effect of G0/G1 synchronization as an independent parameter in the context of serum deprivation, the latter being routinely used to reduce background in mitogenicity assays. G0/G1 synchronization significantly improved the mitogenic responses of L6-hIR cells to insulin, measured by 3H-thymidine incorporation. Comparison with the parental L6 cells using phospho-mitogen-activated protein kinase, phospho-AKT, as well as 3H-thymidine incorporation end points supported that the majority of the mitogenic effect of insulin in L6-hIR cells was mediated by the overexpressed hIR-A. Using the optimized L6-hIR assay, we found that the X-10 insulin analog was more mitogenic than native human insulin, supporting that X-10 exhibits increased mitogenic signaling through the hIR-A. In summary, this study provides the first demonstration that serum deprivation may not be sufficient, and G0/G1 synchronization may be required to obtain optimal responsiveness of hIR-overexpressing cell lines for preclinical safety testing

Piston-driven numerical wave tank based on WENO solver of well-balanced shallow water equations

A numerical wave tank equipped with a piston type wave-maker is presented for long-duration simulations of long waves in shallow water. Both wave maker and tank are modelled using the nonlinear shallow water equations, with motions of the numerical piston paddle accomplished via a linear mapping technique. Three approaches are used to increase computational efficiency and accuracy. First, the model satisfies the exact conservation property (C-property), a stepping stone towards properly balancing each term in the governing equation. Second, a high-order weighted essentially non-oscillatory (WENO) method is used to reduce accumulation of truncation error. Third, a cut-off algorithm is implemented to handle contaminated digits arising from round-off error. If not treated, such errors could prevent a numerical scheme from satisfying the exact C-property in long-duration simulations. Extensive numerical tests are performed to examine the well-balanced property, high order accuracy, and shock-capturing ability of the present scheme. Correct implementation of the wave paddle generator is verified by comparing numerical predictions against analytical solutions of sinusoidal, solitary, and cnoidal waves. In all cases, the model gives satisfactory results for small-amplitude, low frequency waves. Error analysis is used to investigate model limitations and derive a user criterion for long wave generation by the model

Expression of the progenitor marker NG2/CSPG4 predicts poor survival and resistance to ionising radiation in glioblastoma

Glioblastoma (GBM) is a highly aggressive brain tumour, where patients respond poorly to radiotherapy and exhibit dismal survival outcomes. The mechanisms of radioresistance are not completely understood. However, cancer cells with an immature stem-like phenotype are hypothesised to play a role in radioresistance. Since the progenitor marker neuron-glial-2 (NG2) has been shown to regulate several aspects of GBM progression in experimental systems, we hypothesised that its expression would influence the survival of GBM patients. Quantification of NG2 expression in 74 GBM biopsies from newly diagnosed and untreated patients revealed that 50% express high NG2 levels on tumour cells and associated vessels, being associated with significantly shorter survival. This effect was independent of age at diagnosis, treatment received and hypermethylation of the O6-methylguanine methyltransferase (MGMT) DNA repair gene promoter. NG2 was frequently co-expressed with nestin and vimentin but rarely with CD133 and the NG2 positive tumour cells harboured genetic aberrations typical for GBM. 2D proteomics of 11 randomly selected biopsies revealed upregulation of an antioxidant, peroxiredoxin-1 (PRDX-1), in the shortest surviving patients. Expression of PRDX-1 was associated with significantly reduced products of oxidative stress. Furthermore, NG2 expressing GBM cells showed resistance to ionising radiation (IR), rapidly recognised DNA damage and effectuated cell cycle checkpoint signalling. PRDX-1 knockdown transiently slowed tumour growth rates and sensitised them to IR in vivo. Our data establish NG2 as an important prognostic factor for GBM patient survival, by mediating resistance to radiotherapy through induction of ROS scavenging enzymes and preferential DNA damage signalling

Design, Validation and Annotation of Transcriptome-Wide Oligonucleotide Probes for the Oligochaete Annelid Eisenia fetida

High density oligonucleotide probe arrays have increasingly become an important tool in genomics studies. In organisms with incomplete genome sequence, one strategy for oligo probe design is to reduce the number of unique probes that target every non-redundant transcript through bioinformatic analysis and experimental testing. Here we adopted this strategy in making oligo probes for the earthworm Eisenia fetida, a species for which we have sequenced transcriptome-scale expressed sequence tags (ESTs). Our objectives were to identify unique transcripts as targets, to select an optimal and non-redundant oligo probe for each of these target ESTs, and to annotate the selected target sequences. We developed a streamlined and easy-to-follow approach to the design, validation and annotation of species-specific array probes. Four 244K-formatted oligo arrays were designed using eArray and were hybridized to a pooled E. fetida cRNA sample. We identified 63,541 probes with unsaturated signal intensities consistently above the background level. Target transcripts of these probes were annotated using several sequence alignment algorithms. Significant hits were obtained for 37,439 (59%) probed targets. We validated and made publicly available 63.5K oligo probes so the earthworm research community can use them to pursue ecological, toxicological, and other functional genomics questions. Our approach is efficient, cost-effective and robust because it (1) does not require a major genomics core facility; (2) allows new probes to be easily added and old probes modified or eliminated when new sequence information becomes available, (3) is not bioinformatics-intensive upfront but does provide opportunities for more in-depth annotation of biological functions for target genes; and (4) if desired, EST orthologs to the UniGene clusters of a reference genome can be identified and selected in order to improve the target gene specificity of designed probes. This approach is particularly applicable to organisms with a wealth of EST sequences but unfinished genome

The HELLP syndrome: Clinical issues and management. A Review

<p>Abstract</p> <p>Background</p> <p>The HELLP syndrome is a serious complication in pregnancy characterized by haemolysis, elevated liver enzymes and low platelet count occurring in 0.5 to 0.9% of all pregnancies and in 10–20% of cases with severe preeclampsia. The present review highlights occurrence, diagnosis, complications, surveillance, corticosteroid treatment, mode of delivery and risk of recurrence.</p> <p>Methods</p> <p>Clinical reports and reviews published between 2000 and 2008 were screened using Pub Med and Cochrane databases.</p> <p>Results and conclusion</p> <p>About 70% of the cases develop before delivery, the majority between the 27th and 37th gestational weeks; the remainder within 48 hours after delivery. The HELLP syndrome may be complete or incomplete. In the Tennessee Classification System diagnostic criteria for HELLP are haemolysis with increased LDH (> 600 U/L), AST (≥ 70 U/L), and platelets < 100·10⁹/L. The Mississippi Triple-class HELLP System further classifies the disorder by the nadir platelet counts. The syndrome is a progressive condition and serious complications are frequent. Conservative treatment (≥ 48 hours) is controversial but may be considered in selected cases < 34 weeks' gestation. Delivery is indicated if the HELLP syndrome occurs after the 34th gestational week or the foetal and/or maternal conditions deteriorate. Vaginal delivery is preferable. If the cervix is unfavourable, it is reasonable to induce cervical ripening and then labour. In gestational ages between 24 and 34 weeks most authors prefer a single course of corticosteroid therapy for foetal lung maturation, either 2 doses of 12 mg betamethasone 24 hours apart or 6 mg or dexamethasone 12 hours apart before delivery. Standard corticosteroid treatment is, however, of uncertain clinical value in the maternal HELLP syndrome. High-dose treatment and repeated doses should be avoided for fear of long-term adverse effects on the foetal brain. Before 34 weeks' gestation, delivery should be performed if the maternal condition worsens or signs of intrauterine foetal distress occur. Blood pressure should be kept below 155/105 mmHg. Close surveillance of the mother should be continued for at least 48 hours after delivery.</p

Rheumatoid arthritis: pathological mechanisms and modern pharmacologic therapies.

Rheumatoid arthritis (RA) is a chronic systemic autoimmune disease that primarily affects the lining of the synovial joints and is associated with progressive disability, premature death, and socioeconomic burdens. A better understanding of how the pathological mechanisms drive the deterioration of RA progress in individuals is urgently required in order to develop therapies that will effectively treat patients at each stage of the disease progress. Here we dissect the etiology and pathology at specific stages: (i) triggering, (ii) maturation, (iii) targeting, and (iv) fulminant stage, concomitant with hyperplastic synovium, cartilage damage, bone erosion, and systemic consequences. Modern pharmacologic therapies (including conventional, biological, and novel potential small molecule disease-modifying anti-rheumatic drugs) remain the mainstay of RA treatment and there has been significant progress toward achieving disease remission without joint deformity. Despite this, a significant proportion of RA patients do not effectively respond to the current therapies and thus new drugs are urgently required. This review discusses recent advances of our  understanding of RA pathogenesis, disease modifying drugs, and provides perspectives on next generation therapeutics for RA