A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Sodium Coupled Bicarbonate Influx Regulates Intracellular and Apical pH in Cultured Rat Caput Epididymal Epithelium

The epithelium lining the epididymis provides an optimal acidic fluid microenvironment in the epididymal tract that enable spermatozoa to complete the maturation process. The present study aims to investigate the functional role of Na(+)/HCO(3)(-) cotransporter in the pH regulation in rat epididymis.Immunofluorescence staining of pan cytokeratin in the primary culture of rat caput epididymal epithelium showed that the system was a suitable model for investigating the function of epididymal epithelium. Intracellular and apical pH were measured using the fluorescent pH sensitive probe carboxy-seminaphthorhodafluor-4F acetoxymethyl ester (SNARF-4F) and sparklet pH electrode respectively to explore the functional role of rat epididymal epithelium. In the HEPES buffered Krebs-Henseleit (KH) solution, the intracellular pH (pHi) recovery from NH(4)Cl induced acidification in the cultured caput epididymal epithelium was completely inhibited by amiloride, the inhibitor of Na(+)/H(+) exchanger (NHE). Immediately changing of the KH solution from HEPES buffered to HCO(3)(-) buffered would cause another pHi recovery. The pHi recovery in HCO(3)(-) buffered KH solution was inhibited by 4, 4diisothiocyanatostilbene-2,2-disulfonic acid (DIDS), the inhibitor of HCO(3)(-) transporter or by removal of extracellular Na(+). The extracellular pH measurement showed that the apical pH would increase when adding DIDS to the apical side of epididymal epithelial monolayer, however adding DIDS to the basolateral side had no effect on apical pH.The present study shows that sodium coupled bicarbonate influx regulates intracellular and apical pH in cultured caput epididymal epithelium

Enhanced detection of early hepatocellular carcinoma by serum SELDI-TOF proteomic signature combined with alpha-fetoprotein marker.

BACKGROUND: Biomarkers for accurate diagnosis of early hepatocellular carcinoma (HCC) are limited in number and clinical validation. We applied SELDI-TOF-MS ProteinChip technology to identify serum profile for distinguishing HCC and liver cirrhosis (LC) and to compare the accuracy of SELDI-TOF-MS profile and alpha-fetoprotein (AFP) level in HCC diagnosis. PATIENTS AND METHODS: Serum samples were obtained from 120 HCC and 120 LC patients for biomarker discovery and validation studies. ProteinChip technology was employed for generating SELDI-TOF proteomic features and analyzing serum proteins/peptides. RESULTS: A diagnostic model was established by CART algorithm, which is based on 5 proteomic peaks with m/z values at 3324, 3994, 4665, 4795, and 5152. In the training set, the CART algorithm could differentiate HCC from LC subjects with a sensitivity and specificity of 98% and 95%, respectively. The results were assessed in blind validation using separate cohorts of 60 HCC and 60 LC patients, with an accuracy of 83% for HCC and 92% for LC patients. The diagnostic odd ratio (DOR) indicated that SELDI-TOF proteomic signature could achieve better diagnostic performance than serum AFP level at a cutoff of 20 ng/mL (AFP(20)) (92.72 vs 9.11), particularly superior for early-stage HCC (87% vs 54%). Importantly, a combined use of both tests could enhance the detection of HCC (sensitivity, 95%; specificity, 98%; DOR, 931). CONCLUSION: Serum SELDI-TOF proteomic signature, alone or in combination with AFP marker, promises to be a good tool for early diagnosis and/screening of HCC in at-risk population with liver cirrhosis

Methylomic analysis of monozygotic twins discordant for autism spectrum disorder and related behavioural traits

Autism spectrum disorder (ASD) defines a group of common, complex neurodevelopmental disorders. Although the aetiology of ASD has a strong genetic component, there is considerable monozygotic (MZ) twin discordance indicating a role for non-genetic factors. Because MZ twins share an identical DNA sequence, disease-discordant MZ twin pairs provide an ideal model for examining the contribution of environmentally driven epigenetic factors in disease. We performed a genome-wide analysis of DNA methylation in a sample of 50 MZ twin pairs (100 individuals) sampled from a representative population cohort that included twins discordant and concordant for ASD, ASD-associated traits and no autistic phenotype. Within-twin and between-group analyses identified numerous differentially methylated regions associated with ASD. In addition, we report significant correlations between DNA methylation and quantitatively measured autistic trait scores across our sample cohort. This study represents the first systematic epigenomic analyses of MZ twins discordant for ASD and implicates a role for altered DNA methylation in autism

Stimulation of MMP-11 (stromelysin-3) expression in mouse fibroblasts by cytokines, collagen and co-culture with human breast cancer cell lines

BACKGROUND: Matrix metalloproteinases (MMPs) are central to degradation of the extracellular matrix and basement membrane during both normal and carcinogenic tissue remodeling. MT1-MMP (MMP-14) and stromelysin-3 (MMP-11) are two members of the MMP family of proteolytic enzymes that have been specifically implicated in breast cancer progression. Expressed in stromal fibroblasts adjacent to epithelial tumour cells, the mechanism of MT1-MMP and MMP-11 induction remains unknown. METHODS: To investigate possible mechanisms of induction, we examined the effects of a number of plausible regulatory agents and treatments that may physiologically influence MMP expression during tumour progression. Thus NIH3T3 and primary mouse embryonic fibroblasts (MEFs) were: a) treated with the cytokines IL-1β, IL-2, IL-6, IL-8 and TGF-β for 3, 6, 12, 24, and 48 hours; b) grown on collagens I, IV and V; c) treated with fibronectin, con-A and matrigel; and d) co-cultured with a range of HBC (human breast cancer) cell lines of varied invasive and metastatic potential. RESULTS: Competitive quantitative RT-PCR indicated that MMP-11 expression was stimulated to a level greater than 100%, by 48 hour treatments of IL-1β, IL-2, TGF-β, fibronectin and collagen V. No other substantial changes in expression of MMP-11 or MT1-MMP in either tested fibroblast culture, under any treatment conditions, were observed. CONCLUSION: We have demonstrated significant MMP-11 stimulation in mouse fibroblasts using cytokines, matrix constituents and HBC cell lines, and also some inhibition of MT1-MMP. Our data suggest that the regulation of these genes in the complex stromal-epithelial interactions that occur in human breast carcinoma, is influenced by several mechanisms

Biodegradable collagen matrix implant vs mitomycin-C as an adjuvant in trabeculectomy: a 24-month, randomized clinical trial

AIM: To verify the safety and efficacy of Ologen (OLO) implant as adjuvant compared with low-dosage mitomycin-C (MMC) in trabeculectomy. METHODS: This was a prospective randomized clinical trial with a 24-month follow-up. Forty glaucoma patients (40 eyes) were assigned to trabeculectomy with MMC or OLO. Primary outcome includes target IOP at ≤21, ≤17, and ≤15 mm Hg; complete (target IOP without medications), and qualified success (target IOP regardless of medications). Secondary outcomes include bleb evaluation, according to Moorfields Bleb Grading System (MBGS); spectral domain optical coherence tomography (SD-OCT) examination; number of glaucoma medications; and frequency of postoperative adjunctive procedures and complications. RESULTS: The mean preoperative IOP was 26.5 (±5.2) in MMC and 27.3 (±6.0) in OLO eyes, without statistical significance. One-day postoperatively, the IOP dropped to 5.2 (±3.5) and 9.2 (±5.5) mm Hg, respectively (P=0.009). The IOP reduction was significant at end point in all groups (P=0.01), with a mean IOP of 16.0 (±2.9) and 16.5 (±2.1) mm Hg in MMC and OLO, respectively. The rates and Kaplan-Meier curves did not differ for both complete and qualified success at any target IOP. The bleb height in OLO group was higher than MMC one (P<0.05). SD-OCT analysis of successful/unsuccessful bleb in patients with or without complete success at IOP ≤17  mm Hg indicated a sensitivity of 83% and 73% and a specificity of 75% and 67%, respectively, for MMC and OLO groups. No adverse reaction to OLO was noted. CONCLUSIONS: Our results suggest that OLO implant could be a new, safe, and effective alternative to MMC, with similar long-term success rate

Dengue Virus Infection-Enhancing Activity in Serum Samples with Neutralizing Activity as Determined by Using FcγR-Expressing Cells

Dengue has become a major international public health concern in recent decades. There are four dengue virus serotypes. Recovery from infection with one serotype confers life-long protection to the homologous serotype but only partial protection to subsequent infection with other serotypes. Secondary infection with a serotype different from that in primary infection increases the risk of development of severe complications. Antibodies may play two competing roles during infection: virus neutralization that leads to protection and recovery, or infection-enhancement that may cause severe complications. Progress in vaccine development has been hampered by limited understanding on protective immunity against dengue virus infection. We report the neutralization activity and infection-enhancement activity in individuals with dengue in Malaysia. We show that infection-enhancement activity is present when neutralizing activity is absent or low, and cross-reactive neutralizing activity may be hampered by infection-enhancing activity. Conventional assays for titration of neutralizing antibody do not consider infection-enhancement activity. We used an alternative assay that determines the sum of neutralizing and infection-enhancement activity in sera from dengue patients. In addition to providing insights into antibody responses during infection, the alternative assay provides a new platform for the study of immune responses to vaccine

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Search for pair-produced long-lived neutral particles decaying to jets in the ATLAS hadronic calorimeter in ppcollisions at √s=8TeV

The ATLAS detector at the Large Hadron Collider at CERN is used to search for the decay of a scalar boson to a pair of long-lived particles, neutral under the Standard Model gauge group, in 20.3fb−1of data collected in proton–proton collisions at √s=8TeV. This search is sensitive to long-lived particles that decay to Standard Model particles producing jets at the outer edge of the ATLAS electromagnetic calorimeter or inside the hadronic calorimeter. No significant excess of events is observed. Limits are reported on the product of the scalar boson production cross section times branching ratio into long-lived neutral particles as a function of the proper lifetime of the particles. Limits are reported for boson masses from 100 GeVto 900 GeV, and a long-lived neutral particle mass from 10 GeVto 150 GeV