264 research outputs found
History-based verification of functional behaviour of concurrent programs
Modular verification of the functional behaviour of a concurrent program remains a challenge. We propose a new way to achieve this, using histories, modelled as process algebra terms, to keep track of local changes. When threads terminate or synchronise in some other way, local histories are combined into global histories, and by resolving the global histories, the reachable state properties can be determined. Our logic is an extension of permission-based separation logic, which supports expressive and intuitive specifications. We discuss soundness of the approach, and illustrate it on several examples
Response of plasma microRNAs to nusinersen treatment in patients with SMA.
peer reviewedOBJECTIVE: Spinal muscular atrophy (SMA) is a common genetic cause of infant mortality. Nusinersen treatment ameliorates the clinical outcome of SMA, however, some patients respond well, while others have limited response. We investigated microRNAs in blood samples from SMA patients and their response to nusinersen treatment evaluating the potential of circulating microRNAs as biomarkers for SMA.
METHODS: In a discovery cohort study, microRNA next-generation sequencing was performed in blood samples from SMA patients (SMA type 2, n = 10; SMA type 3, n = 10) and controls (n = 7). The dysregulated microRNAs were further analysed in the therapeutic response cohort comprised of SMA type 1 patients (n = 22) who had received nusinersen treatment, at three time points along the treatment course (baseline, 2 and 6 months of treatment). The levels of the studied microRNAs were correlated to the SMA clinical outcome measures.
RESULTS: In the discovery cohort, 69 microRNAs were dysregulated between SMA patients and controls. In the therapeutic response cohort, the baseline plasma levels of miR-107, miR-142-5p, miR-335-5p, miR-423-3p, miR-660-5p, miR-378a-3p and miR-23a-3p were associated with the 2 and 6 months response to nusinersen treatment. Furthermore, the levels of miR-107, miR-142-5p, miR-335-5p, miR-423-3p, miR-660-5p and miR-378-3p at 2 months of treatment were associated with the response after 6 months of nusinersen treatment.
INTERPRETATION: Blood microRNAs could be used as biomarkers to indicate SMA patients' response to nusinersen and to monitor the efficacy of the therapeutic intervention. In addition, some of these microRNAs provide insight into processes involved in SMA that could be exploited as novel therapeutic targets
Bi-allelic mutations in MYL1 cause a severe congenital myopathy.
OBJECTIVE: Congenital myopathies are typically characterised by early onset hypotonia, weakness and hallmark features on biopsy. Despite the rapid pace of gene discovery, approximately 50% of patients with a congenital myopathy remain without a genetic diagnosis following screening of known disease genes. METHODS: We performed exome sequencing on two consanguineous probands diagnosed with a congenital myopathy and muscle biopsy showing selective atrophy/hypotrophy or absence of type II myofibres. RESULTS: We identified variants in the gene (MYL1) encoding the skeletal muscle fast-twitch specific myosin essential light chain in both probands. A homozygous essential splice acceptor variant (c.479-2A>G, predicted to result in skipping of exon 5 was identified in Proband 1, and a homozygous missense substitution (c.488T>G, p.(Met163Arg)) was identified in Proband 2. Protein modeling of the p.(Met163Arg) substitution predicted it might impede intermolecular interactions that facilitate binding to the IQ domain of myosin heavy chain, thus likely impacting on the structure and functioning of the myosin motor. MYL1 was markedly reduced in skeletal muscle from both probands, suggesting that the missense substitution likely results in an unstable protein. Knock down of myl1 in zebrafish resulted in abnormal morphology, disrupted muscle structure and impaired touch-evoked escape responses, thus confirming that skeletal muscle fast-twitch specific myosin essential light chain is critical for myofibre development and function. INTERPRETATION: Our data implicate MYL1 as a crucial protein for adequate skeletal muscle function and that MYL1 deficiency is associated with a severe congenital myopathy
Fibroblast growth factor 19 expression correlates with tumor progression and poorer prognosis of hepatocellular carcinoma
<p>Abstract</p> <p>Background</p> <p>Although fibroblast growth factor 19 (FGF19) can promote liver carcinogenesis in mice, its involvement in human hepatocellular carcinoma (HCC) has not been well investigated. FGF19, a member of the FGF family, has unique specificity for its receptor FGFR4. This study aimed to clarify the involvement of FGF19 in the development of HCC.</p> <p>Methods</p> <p>We investigated human FGF19 and FGFR4 expression in 40 hepatocellular carcinoma specimens using quantitative real-time reverse transcription polymerase chain reaction (RT-PCR) analysis and immunohistochemistry. Moreover, we examined the expression and the distribution of FGF19 and FGFR4 in 5 hepatocellular carcinoma cell lines (HepG2, HuH7, HLE, HLF, and JHH7) using RT-PCR and immunohistochemistry. To test the role of the FGF19/FGFR4 system in tumor progression, we used recombinant FGF19 protein and small interfering RNA (siRNA) of <it>FGF19 </it>and <it>FGFR4 </it>to regulate their concentrations.</p> <p>Results</p> <p>We found that FGF19 was significantly overexpressed in HCCs as compared with corresponding noncancerous liver tissue (<it>P </it>< 0.05). Univariate and multivariate analyses revealed that the tumor <it>FGF19 </it>mRNA expression was an independent prognostic factor for overall and disease-free survival. Moreover, we found that the FGF19 recombinant protein could increase the proliferation (<it>P </it>< 0.01, <it>n </it>= 12) and invasion (<it>P </it>< 0.01, <it>n </it>= 6) capabilities of human hepatocellular carcinoma cell lines and inhibited their apoptosis (<it>P </it>< 0.01, <it>n </it>= 12). Inversely, decreasing <it>FGF19 </it>and <it>FGFR4 </it>expression by siRNA significantly inhibited proliferation and increased apoptosis in JHH7 cells (<it>P </it>< 0.01, <it>n </it>= 12). The postoperative serum FGF19 levels in HCC patients was significantly lower than the preoperative levels (<it>P </it>< 0.01, <it>n </it>= 29).</p> <p>Conclusions</p> <p>FGF19 is critically involved in the development of HCCs. Targeting FGF19 inhibition is an attractive potential therapeutic strategy for HCC.</p
Gene products of chromosome 11q and their association with CCND1 gene amplification and tamoxifen resistance in premenopausal breast cancer
Introduction: The amplification event occurring at chromosome locus 11q13, reported in several different cancers, includes a number of potential oncogenes. We have previously reported amplification of one such oncogene, namely CCND1, to be correlated with an adverse effect of tamoxifen in premenopausal breast cancer patients. Over-expression of cyclin D-1 protein, however, confers tamoxifen resistance but not a tamoxifen-induced adverse effect. Potentially, co-amplification of an additional 11q13 gene, with a resulting protein over-expression, is required to cause an agonistic effect. Moreover, during 11q13 amplification a deletion of the distal 11q region has been described. In order to assess the potential impact of the deletion we examined a selected marker for this event. Method: Array comparative genomic hybridization analysis was employed to identify and confirm changes in the gene expression of a number of different genes mapping to the 11q chromosomal region, associated with CCND1 amplification. The subsequent protein expression of these candidate genes was then examined in a clinical material of 500 primary breast cancers from premenopausal patients who were randomly assigned to either tamoxifen or no adjuvant treatment. The protein expression was also compared with gene expression data in a subset of 56 breast cancer samples. Results: Cortactin and FADD (Fas-associated death domain) over-expression was linked to CCND1 amplification, determined by fluorescence in situ hybridization, but was not associated with a diminished effect of tamoxifen. However, deletion of distal chromosome 11q, defined as downregulation of the marker Chk1 (checkpoint kinase 1), was associated with an impaired tamoxifen response, and interestingly with low proliferative breast cancer of low grade. For Pak1 (p21-activated kinase 1) and cyclin D-1 the protein expression corresponded to the gene expression data. Conclusions: The results indicate that many 11q13 associated gene products are over-expressed in conjunction with cyclin D-1 but not linked to an agonistic effect of tamoxifen. Finally, the deletion of distal 11q, linked to 11q13 amplification, might be an important event affecting breast cancer outcome and tamoxifen response
Association study in the 5q31-32 linkage region for schizophrenia using pooled DNA genotyping
<p>Abstract</p> <p>Background</p> <p>Several linkage studies suggest that chromosome 5q31-32 might contain risk loci for schizophrenia (SZ). We wanted to identify susceptibility genes for schizophrenia within this region.</p> <p>Methods</p> <p>We saturated the interval between markers D5S666 and D5S436 with 90 polymorphic microsatellite markers and genotyped two sets of DNA pools consisting of 300 SZ patients of Bulgarian origin and their 600 parents. Positive associations were followed-up with SNP genotyping.</p> <p>Results</p> <p>Nominally significant evidence for association (p < 0.05) was found for seven markers (D5S0023i, IL9, RH60252, 5Q3133_33, D5S2017, D5S1481, D5S0711i) which were then individually genotyped in the trios. The predicted associations were confirmed for two of the markers: D5S2017, localised in the <it>SPRY4-FGF1 </it>locus (p = 0.004) and IL9, localized within the IL9 gene (p = 0.014). Fine mapping was performed using single nucleotide polymorphisms (SNPs) around D5S2017 and IL9. In each region four SNPs were chosen and individually genotyped in our full sample of 615 SZ trios. Two SNPs showed significant evidence for association: rs7715300 (p = 0.001) and rs6897690 (p = 0.032). Rs7715300 is localised between the <it>TGFBI </it>and <it>SMAD5 </it>genes and rs6897690 is within the <it>SPRY4 </it>gene.</p> <p>Conclusion</p> <p>Our screening of 5q31-32 implicates three potential candidate genes for SZ: <it>SMAD5</it>, <it>TGFBI </it>and <it>SPRY4</it>.</p
- …