On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models

Concurrent libraries are the building blocks for concurrency. They encompass a range of abstractions (locks, exchangers, stacks, queues, sets) built in a layered fashion: more advanced libraries are built out of simpler ones. While there has been a lot of work on verifying such libraries in a sequentially consistent (SC) environment, little is known about how to specify and verify them under weak memory consistency (WMC). We propose a general declarative framework that allows us to specify concurrent libraries declaratively, and to verify library implementations against their specifications compositionally. Our framework is sufficient to encode standard models such as SC, (R)C11 and TSO. Additionally, we specify several concurrent libraries, including mutual exclusion locks, reader-writer locks, exchangers, queues, stacks and sets. We then use our framework to verify multiple weakly consistent implementations of locks, exchangers, queues and stacks

Electrochemical Behavior of H3pw12o40/Acid-Activated Bentonite Powders

Electrochemical behavior of 12-tungstophosphoric acid (HPW)/acid-activated bentonite (AAB) powders with various loadings of HPW was investigated. The physicochemical properties of the prepared powders were examined by X-ray powder diffraction, nitrogen adsorption-desorption isotherms, atomic force microscopy and cyclic voltammetry measurements. The results indicated that the prepared powders are composed mainly of oriented domains of large rock blocks, probably resulting from a preferable deposition of bentonite particles having a face-to-face interaction. The particles had a mainly disordered mesoporous structure with a pore volume that varied according to the pore size in the range of 2-50 nm. In addition, the particles had crystallite size between 4.9 and 9.0 nm. The electrocatalytic activities of prepared HPW/AAB electrodes were studied in the oxidation of NO2- and the results revealed that the electrodes possessed relatively higher nitrite oxidation currents than AAB electrode. The best electroactivity was observed for HPW3/AAB electrode (AAB + + 20 wt % HPW) and the limit of detection (3 sigma) was determined as 8 mu M

Aspirin use and survival after the diagnosis of breast cancer:a population-based cohort study

Background: Aspirin use has been associated with a reduced cancer incidence and fewer deaths from cancer. This study examined whether women with breast cancer prescribed aspirin postdiagnosis had improved survival.Methods:An observational, population cohort study was undertaken using data linkage of cancer registry, dispensed prescriptions and death records in Tayside, Scotland. All community prescriptions for aspirin in women with breast cancer were extracted and use postdiagnosis for each individual examined using Cox's proportional hazard models. The main outcome measures were all-cause mortality and breast cancer-specific mortality.Results:Four thousand six hundred and twenty-seven patients diagnosed with breast cancer between 1 January 1998 and 31 December 2008 were followed up until 28 February 2010. Median age at diagnosis was 62 (IQR 52-74). One thousand eight hundred and two (39%) deaths were recorded, with 815 (18%) attributed to breast cancer. One thousand and thirty-five (22%) patients were prescribed aspirin postdiagnosis. Such aspirin use was associated with lower risk of all-cause mortality (HR=0.53, 95% CI=0.45-0.63, P<0.001) and breast cancer-specific mortality (HR=0.42, 95% CI=0.31-0.55, P<0.001) after adjusting for age, socioeconomic status, TNM stage, tumour grade, oestrogen receptor status, surgery, radiotherapy, chemotherapy, adjuvant endocrine therapy and aspirin use prediagnosis. Conclusions:Aspirin use postdiagnosis of breast cancer may reduce both all-cause and breast cancer-specific mortality. Further investigation seeking a causal relationship and which subgroups of patients benefit most await ongoing randomised controlled trials.Publisher PDFPeer reviewe

Tuning the electrocaloric enhancement near the morphotropic phase boundary in lead-free ceramics

This project was funded by EPSRC (EP/G060940/1 and EP/P505674/1) and the Grant Agency of the Slovak Academy of Sciences (2/0057/14)

Diurnal Rhythms in Neurexins Transcripts and Inhibitory/Excitatory Synapse Scaffold Proteins in the Biological Clock

The neurexin genes (NRXN1/2/3) encode two families (α and β) of highly polymorphic presynaptic proteins that are involved in excitatory/inhibitory synaptic balance. Recent studies indicate that neuronal activation and memory formation affect NRXN1/2/3α expression and alternative splicing at splice sites 3 and 4 (SS#3/SS#4). Neurons in the biological clock residing in the suprachiasmatic nuclei of the hypothalamus (SCN) act as self-sustained oscillators, generating rhythms in gene expression and electrical activity, to entrain circadian bodily rhythms to the 24 hours day/night cycles. Cell autonomous oscillations in NRXN1/2/3α expression and SS#3/SS#4 exons splicing and their links to rhythms in excitatory/inhibitory synaptic balance in the circadian clock were explored. NRXN1/2/3α expression and SS#3/SS#4 splicing, levels of neurexin-2α and the synaptic scaffolding proteins PSD-95 and gephyrin (representing excitatory and inhibitory synapses, respectively) were studied in mRNA and protein extracts obtained from SCN of C3H/J mice at different times of the 24 hours day/night cycle. Further studies explored the circadian oscillations in these components and causality relationships in immortalized rat SCN2.2 cells. Diurnal rhythms in mNRXN1α and mNRXN2α transcription, SS#3/SS#4 exon-inclusion and PSD-95 gephyrin and neurexin-2α levels were found in the SCN in vivo. No such rhythms were found with mNRXN3α. SCN2.2 cells also exhibited autonomous circadian rhythms in rNRXN1/2 expression SS#3/SS#4 exon inclusion and PSD-95, gephyrin and neurexin-2α levels. rNRXN3α and rNRXN1/2β were not expressed. Causal relationships were demonstrated, by use of specific siRNAs, between rNRXN2α SS#3 exon included transcripts and gephyrin levels in the SCN2.2 cells. These results show for the first time dynamic, cell autonomous, diurnal rhythms in expression and splicing of NRXN1/2 and subsequent effects on the expression of neurexin-2α and postsynaptic scaffolding proteins in SCN across the 24-h cycle. NRXNs gene transcripts may have a role in coupling the circadian clock to diurnal rhythms in excitatory/inhibitory synaptic balance

Coexpression of VEGF-C and COX-2 and its association with lymphangiogenesis in human breast cancer

<p>Abstract</p> <p>Background</p> <p>Lymphangiogenesis has become a new research frontier in tumor metastasis since the discovery of reliable lymphatic markers that have allowed observation and isolation of lymphatic endothelium. Cyclooxygenase-2 (COX-2) has been reported to be involved in the critical steps in carcinogenesis. However, possible role of COX-2 in lymphangiogenesis and lymphatic metastasis is still poorly understood. In present study, we aimed to investigate the relationship between vascular endothelial growth factor-C (VEGF-C) and COX-2 in human breast cancer, and correlations with lymphangiogenesis and prognosis.</p> <p>Methods</p> <p>Tissue samples of primary tumors from 70 patients undergoing intentionally curative surgical resections for breast cancer were immunohistochemically examined for VEGF-C, COX-2, and D2-40 expressions. The association between COX-2 and VEGF-C expressions and clinicopathological parameters as well as prognosis were analysised. To demonstrate the presence of proliferating lymphatic endothelial cells, 10 random cases with high LVD counts were selected for D2-40/Ki-67 double immunostaining.</p> <p>Results</p> <p>A significant correlation was found between the expression of VEGF-C and COX-2 (<it>r </it>= 0.529, <it>P </it>< 0.001), and both elevated VEGF-C expression and elevated COX-2 expression were associated with higher lymph vessel density (LVD), lymph node metastasis and D2-40 positive lymphatic invasion (LVI) as well as worse disease free survival (DFS) and overall survival (OS) in a univariate analysis. In the double immunostain for the lymph vessel marker D2-40 and the proliferation marker Ki-67, the results confirmed Ki-67-positive nuclei in a proportion of lymph vessel endothelial cells.</p> <p>Conclusion</p> <p>There is indeed lymphangiogenesis in breast cancer, the most compelling evidence being the presence of proliferating lymphatic endothelial cells. VEGF-C and COX-2 are coexpressed and significantly associated with lymphangiogenesis and prognosis in invasive breast cancer. Suggesting COX-2 may up-regulate VEGF-C expression and thus promote lymph node metastasis via lymphangiogenesis pathway in human breast cancer.</p

Inhibition of cyclooxygenase-2 decreases breast cancer cell motility, invasion and matrix metalloproteinase expression

BACKGROUND: Cyclooxygenase (COX) is the rate-limiting enzyme that catalyzes the formation of prostaglandins. The inducible isoform of COX (COX-2) is highly expressed in aggressive metastatic breast cancers and may play a critical role in cancer progression (i.e. growth and metastasis). However, the exact mechanism(s) for COX-2-enhanced metastasis has yet to be clearly defined. It is well established that one of the direct results of COX-2 action is increased prostaglandin production, especially prostaglandin E(2 )(PGE(2)). Here, we correlate the inhibition of COX-2 activity with decreased breast cancer cell proliferation, migration, invasion and matrix metalloproteinase (MMP) expression. METHODS: Breast cancer cells (Hs578T, MDA-MB-231 and MCF-7) were treated with selective COX-2 inhibitors (NS-398 and Niflumic acid, NA). Cell proliferation was measured by staining with erythrosin B and counting the viable cells using a hemacytometer. Cell migration and invasion were measured using migration and invasion chamber systems. MMP expression was determined by enzyme immunoassay (secreted protein) and real-time quantitative polymerase chain reaction (mRNA). RESULTS: Our results show that there is a decline in proliferation, migration and invasion by the Hs578T and MDA-MB-231 breast cancer cell lines in the presence of either low concentrations (1 μM or lower) NA or NS-398. We also report that MMP mRNA and protein expression by Hs578T cells is inhibited by NS-398; there was a 50% decrease by 100 μM NS-398. PGE(2 )completely reversed the inhibitory effect of NS-398 on MMP mRNA expression. CONCLUSION: Our data suggests that COX-2-dependent activity is a necessary component for cellular and molecular mechanisms of breast cancer cell motility and invasion. COX-2 activity also modulates the expression of MMPs, which may be a part of the molecular mechanism by which COX-2 promotes cell invasion and migration. The studies suggest that COX-2 assists in determining and defining the metastatic signaling pathways that promote the breast cancer progression to metastasis