Admit your weakness: Verifying correctness on TSO architectures

“The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-15317-9_22 ”.Linearizability has become the standard correctness criterion for fine-grained non-atomic concurrent algorithms, however, most approaches assume a sequentially consistent memory model, which is not always realised in practice. In this paper we study the correctness of concurrent algorithms on a weak memory model: the TSO (Total Store Order) memory model, which is commonly implemented by multicore architectures. Here, linearizability is often too strict, and hence, we prove a weaker criterion, quiescent consistency instead. Like linearizability, quiescent consistency is compositional making it an ideal correctness criterion in a component-based context. We demonstrate how to model a typical concurrent algorithm, seqlock, and prove it quiescent consistent using a simulation-based approach. Previous approaches to proving correctness on TSO architectures have been based on linearizabilty which makes it necessary to modify the algorithm’s high-level requirements. Our approach is the first, to our knowledge, for proving correctness without the need for such a modification

Race and Inflammatory Bowel Disease in an Urban Healthcare System

Inflammatory bowel disease (IBD) is increasingly common among non-Caucasian populations, but interracial differences in disease characteristics and management are not well-characterized. We tested the hypothesis that disease characteristics and management vary by race among IBD patients in an ethnically diverse healthcare system. A retrospective study of the safety net healthcare system of San Francisco, CA, from 1996 to 2009 was undertaken. Patient records with International Classification of Diseases, 9th Revision (ICD9) codes 555.xx, 556.xx, and 558.xx were reviewed. Adult patients with confirmed IBD diagnoses were included. Interracial variations in disease characteristics and management were assessed broadly; focused between-race comparisons identified specific differences. The 228 subjects included 77 (33.4%) with Crohn’s disease (CD), 150 (65.8%) with ulcerative colitis, and 1 (0.4%) with IBD, type unclassified. The race distribution included 105 (46.1%) white, 34 (14.9%) black, 35 (15.4%) Hispanic, and 51 (22.4%) Asian subjects. Asians and Hispanics were diagnosed at older ages (41.0 and 37.1 years, respectively) and had shorter disease durations (5.4 and 5.2 years, respectively) than whites (30.5 years at diagnosis and 8.6 years duration, P < 0.05) and blacks (31.7 years at diagnosis and 12.1 years duration, P < 0.05). CD was more common among blacks (50% of subjects) than Asians (25.5% of subjects, P = 0.015). The Montreal classification of IBD was similar among races. Hispanics were less likely than others to be treated with 5-aminosalicylates (5-ASA), immunomodulators, and steroids. Medical and surgical management was otherwise similar among races. Modest race-based differences in IBD characteristics exist in this racially diverse healthcare system, but the management of IBD is similar among race groups

Quantum Fluctuations and the Unruh Effect in Strongly-Coupled Conformal Field Theories

Through the AdS/CFT correspondence, we study a uniformly accelerated quark in the vacuum of strongly-coupled conformal field theories in various dimensions, and determine the resulting stochastic fluctuations of the quark trajectory. From the perspective of an inertial observer, these are quantum fluctuations induced by the gluonic radiation emitted by the accelerated quark. From the point of view of the quark itself, they originate from the thermal medium predicted by the Unruh effect. We scrutinize the relation between these two descriptions in the gravity side of the correspondence, and show in particular that upon transforming the conformal field theory from Rindler space to the open Einstein universe, the acceleration horizon disappears from the boundary theory but is preserved in the bulk. This transformation allows us to directly connect our calculation of radiation-induced fluctuations in vacuum with the analysis by de Boer et al. of the Brownian motion of a quark that is on average static within a thermal medium. Combining this same bulk transformation with previous results of Emparan, we are also able to compute the stress-energy tensor of the Unruh thermal medium.Comment: 1+31 pages; v2: reference adde

The Neurogenesis Actuator and NR2B/NMDA Receptor Antagonist Ro25-6981 Consistently Improves Spatial Memory Retraining Via Brain Region-Specific Gene Expression

NR2B-containing NMDA (NR2B/NMDA) receptors are important in controlling neurogenesis and are involved in generating spatial memory. Ro25-6981 is a selective antagonist at these receptors and actuates neurogenesis and spatial memory. Inter-structural neuroanatomical profiles of gene expression regulating adult neurogenesis and neuroapoptosis require examination in the context of memory retrieval and reversal learning. The aim was to investigate spatial memory retrieval and reversal learning in relation to gene expression-linked neurogenetic processes following blockade of NR2B/NMDA receptors by Ro25-6981. Rats were trained in Morris water maze (MWM) platform location for 5 days. Ro25-6981 was administered (protocol days 6–7) followed by retraining (days 15–18 or 29–32). Platform location was tested (on days 19 or 33) then post-mortem brain tissue sampling (on days 20 or 34). The expression of three genes known to regulate cell proliferation (S100a6), differentiation (Ascl1), and apoptosis (Casp-3) were concomitantly evaluated in the hippocampus, prefrontal cortex, and cerebellum in relation to the MWM performance protocol. Following initial training, Ro25-6981 enhanced visuospatial memory retrieval performance during further retraining (protocol days 29–32) but did not influence visuospatial reversal learning (day 33). Hippocampal Ascl1 and Casp-3 expressions were correspondingly increased and decreased while cerebellar S100a6 and Casp-3 activities were decreased and increased respectively 27 days after Ro25-6981 treatment. Chronological analysis indicated a possible involvement of new mature neurons in the reconfiguration of memory processes. This was attended by behavioral/gene correlations which revealed direct links between spatial memory retrieval enhancement and modified gene activity induced by NR2B/NMDA receptor blockade and upregulation

Effects of a penthiopyrad and picoxystrobin fungicide mixtureon phoma stem canker (Leptosphaeria spp.) on UK winteroilseed rape

© Koninklijke Nederlandse Planteziektenkundige Vereniging 2016. This is a pre-copyedited, author-produced PDF of an article accepted for publication in European Journal of Plant Pathology following peer review. The final publication [Sewell, T.R., Moloney, S., Ashworth, M. et al., European Journal of Plant Pathology (2016) 145: 675-685, first published online April 5, 2016] is available at Springer via doi: http://dx.doi.org/10.1007/s10658-016-0916-8In the UK, fungicides are often used to controlphoma stem canker on winter oilseed rape. Field trialswere established near Boxworth, Cambridgeshire for fourcropping seasons (2011/2012, 2012/2013, 2013/2014 and2014/15) to test the efficacy of a new fungicide mixtureRefinzar® (penthiopyrad + picoxystrobin) by comparisonto an existing fungicide Proline 275® (prothioconazole)against phoma stem canker (Leptosphaeria spp.) andthe effect on winter oilseed rape (cv. Catana) yield. Ineach season, weather data were collected from a weatherstation at Boxworth and the release of ascospores wasmonitored using a nearby Burkard spore sampler. Thepatterns of ascospore release differed between seasonsand related to weather conditions. Fungicidespenthiopyrad + picoxystrobin and prothioconazole wereapplied in October/November when 10 % of plants hadphoma leaf spotting (T1, early), 4/8 weeks after T1 (T2,late) or at both T1 and T2 (combined). When phoma leafspot symptoms were assessed in autumn/winter,penthiopyrad + picoxystrobin and prothioconazole bothdecreased numbers of phoma leaf spots caused byL. maculans; there were few leaf spots caused byL. biglobosa. Penthiopyrad + picoxystrobin andprothioconazole both reduced phoma stem canker severitybefore harvest compared to the untreated control butdid not increase yield in these seasons when epidemicswere not severe. In 2013/2014, the presence ofL. maculans and L. biglobosa in upper stem lesions orstem base cankers was determined by species-specificPCR. The proportions of stems with L. maculans DNAwere much greater than those with L. biglobosa DNA forboth upper stem lesions and basal stem cankers. Theseresults suggest that both penthiopyrad + picoxystrobinand prothioconazole can decrease phoma stem cankerseverity on winter oilseed rape in severe disease seasons.Peer reviewe

Impact of Ocean Warming and Ocean Acidification on Larval Development and Calcification in the Sea Urchin Tripneustes gratilla

Background: As the oceans simultaneously warm, acidify and increase in P-CO2, prospects for marine biota are of concern. Calcifying species may find it difficult to produce their skeleton because ocean acidification decreases calcium carbonate saturation and accompanying hypercapnia suppresses metabolism. However, this may be buffered by enhanced growth and metabolism due to warming.Methodology/Principal Findings: We examined the interactive effects of near-future ocean warming and increased acidification/P-CO2 on larval development in the tropical sea urchin Tripneustes gratilla. Larvae were reared in multifactorial experiments in flow-through conditions in all combinations of three temperature and three pH/P-CO2 treatments. Experiments were placed in the setting of projected near future conditions for SE Australia, a global change hot spot. Increased acidity/P-CO2 and decreased carbonate mineral saturation significantly reduced larval growth resulting in decreased skeletal length. Increased temperature (+3 degrees C) stimulated growth, producing significantly bigger larvae across all pH/P-CO2 treatments up to a thermal threshold (+6 degrees C). Increased acidity (-0.3-0.5 pH units) and hypercapnia significantly reduced larval calcification. A +3 degrees C warming diminished the negative effects of acidification and hypercapnia on larval growth.Conclusions and Significance: This study of the effects of ocean warming and CO2 driven acidification on development and calcification of marine invertebrate larvae reared in experimental conditions from the outset of development (fertilization) shows the positive and negative effects of these stressors. In simultaneous exposure to stressors the dwarfing effects of acidification were dominant. Reduction in size of sea urchin larvae in a high P-CO2 ocean would likely impair their performance with negative consequent effects for benthic adult populations

Id-1 stimulates cell proliferation through activation of EGFR in ovarian cancer cells

Increased EGFR (epidermal growth factor receptor) expression has been reported in many types of human cancer and its levels are positively associated with advanced cancers. Recently, upregulation of Id-1 (inhibitor of differentiation or DNA binding) protein was found in over 70% of ovarian cancer samples and correlated with poor survival of ovarian cancer patients. However, the molecular mechanisms responsible for the role of Id-1 in ovarian cancer are not clear. The aim of this study was to investigate the effect of Id-1 on ovarian cancer proliferation and its association with the EGFR pathway. To achieve this, we transfected an Id-1 expression vector into three ovarian cancer cell lines and examined cell proliferation rate by flow cytometry and bromodeoxyuridine staining. We found that ectopic Id-1 expression led to increased cell proliferation demonstrated by increased BrdU incorporation rate and S-phase fraction. The Id-1-induced cell growth was associated with upregulation of EGFR at both transcriptional and protein levels. In contrast, inactivation of Id-1 through transfection of an Id-1 antisense vector resulted in downregulation of EGFR. Our results indicate that increased Id-1 in ovarian cancer cells may promote cancer cell proliferation through upregulation of EGFR. Our findings also implicate that Id-1 may be a potential target for the development of novel strategies in the treatment of ovarian cancer. © 2004 Cancer Research UK.link_to_OA_fulltex