Genetic variants within the Wnt/ B-catenin signaling pathway as indicators of bladder cancer clinical outcomes

The genetic factors that influence bladder cancer clinical outcomes are largely unknown. In this clinical outcomes study, I assessed genetic variations in the Wnt/β-catenin stem-cell pathway genes for association with recurrence and progression. A total of 230 SNPS in 40 genes from the Wnt/β-catenin pathway were genotyped in 419 histologically confirmed non-muscle invasive bladder cancer cases. Several significant associations were observed in the clinical outcomes analysis. Under the dominant model WNT8B: rs4919464 (HR: 1.55, 95% CI: 1.17-2.06, P=2.2x10-3) and WNT8B: rs3793771 (HR: 1.54, 95% CI: 1.09-1.62, P=4.6x10-3 ) were statistically significantly associated with an increase risk of recurrence while two other variants, APC2: rs11668593 (HR: 2.50, 95% CI: 1.43-4.35, P=1.2x10-3) and LRP5 : rs312778 (HR: 1.81, 95% CI: 1.23-2.65, P=2.7x10-3), were significantly associated with recurrence risk under the recessive model of inheritance. Four SNPs in the recessive model were associated with an increased risk of progression (AXIN2: rs1544427, LRP5: rs312778, AXIN1: rs370681, AXIN1: rs2301522). LRP5: rs312778 had the most significant increased risk of progression with a 2.68 (95% CI: 1.52-4.72, P=6.4x10-4)-fold increased risk. Stratification analysis based on treatment regimen (transurethral resection (TUR) and Bacillus Calmette-Guérin (BCG)) was also performed. Individuals with at least one variant in AXIN2: rs2007085 were found to have a 2.09 (95% CI: 1.24-3.52, P=5.4x10-3) -fold increased risk of recurrence in those that received TUR only, and no statistically significant effect was seen in those that received BCG. Individuals who received TUR with at least one variant in LEF1: rs10516550 were found to have a 2.26 (95% CI: 1.22-4.18, P=9.7x10-3)-fold increase risk of recurrence and no statistically significant effect was found in individuals who received BCG. Also, the recessive model of LRP6: rs2302684 in TUR only treatment was shown to have a 1.95 (95%CI: 1.18-3.21, P=8.8x10 -3)-fold increased risk of recurrence, and a suggested protective effect associated with a (HR: 0.83, 95% CI: 0.51-1.37, P=0.468) decreased risk of recurrence. Together, these findings implicate the Wnt/β-catenin stem-cell pathway as playing a role in bladder cancer clinical outcomes and have important implications for personalization of future treatment regimens. ^

THE p63 ISOFORM ∆Np63α INHIBITS EPITHELIAL – MESENCHYMAL TRANSITION BY PROMOTING THE EXPRESSION OF MIR-205 IN HUMAN BLADDER CANCER CELLS

p63, a p53 family member, is a transcription factor that has complex roles in cancer. This study focuses on the role of the ∆Np63α isoform in bladder cancer (BC). Epithelial – mesenchymal transition (EMT) is a physiological process that plays an important part in metastasis and drug resistance. At the molecular level, EMT is characterized by the loss of the epithelial marker E-cadherin, and the acquisition of the transcriptional repressors of E-cadherin (ZEB1, ZEB2, TWIST, SNAI1 and SNAI2). Recent publications highlight the role of microRNAs belonging to the miR-200 family and miR-205 in preventing EMT through suppression of ZEB1 and ZEB2. p53, the homologue of p63, is implicated in regulating EMT by modulating the expression of miR-200c; however, the mechanisms underlying miR-205 control remain unclear. Here we show that ∆Np63α regulates the transcription of miR-205 and controls EMT in human BC cells. We observed a strong correlation between the expression of ∆Np63α, miR-205 and E-cadherin in a panel of BC cell lines (n=28) and also in bladder primary tumors from a cohort of patients (n=98). A remarkably inverse correlation is observed between ∆Np63α and ZEB1/2 in cell lines. Stable knockdown (KD) ∆Np63α in UC6, an “epithelial” BC cell line, decreased the expression of miR-205 and induced ZEB1/2 expression, the effects that were reversed by expression of exogenous miR-205. Moreover, overexpressing ∆Np63α in UC3, a “messenchymal” BC cell line, brought about opposite results, an increase in miR-205 expression and a reduction in ZEB1/2 expression. Modulation of ∆Np63α expression resulted in a parallel change in the expression of miR-205 and miR-205 “host” gene (miR-205HG). Nuclear run-on and chromatin immunoprecipitation experiments demonstrated that ∆Np63α regulates the transcription of miR-205 through controlling the recruitment of RNA Polymerase II to the promoter of miR-205HG. Interestingly, high miR-205 expression correlated with poor clinical outcome in BC patients, consistent with our recent publication highlighting the enrichment of ∆Np63 in a lethal subset of muscle invasive BC. In summary, our data present the important roles of ∆Np63α in preventing EMT mediated by miR-205. Our study also identifies miR-205 as a potential molecular marker to predict clinical outcome in BC patients.

Operational Aspects of Full Reduction in Lambda Calculi

Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 En esencia, la reducción plena consiste en evaluar los cuerpos de las funciones en los lenguajes de programación funcional con ligaduras. Se toma el cálculo lambda clásico (i.e., puro y sin tipos) como el sistema formal que modela el paradigma de programación funcional. La reducción plena es una técnica fundamental cuando se considera a los programas como datos, por ejemplo para la optimización de programas mediante evaluación parcial, o cuando algún atributo del programa se representa a su vez por un programa, como el tipo en los demostradores automáticos de teoremas actuales. Muchas semánticas operacionales que realizan reducción plena tienen naturaleza híbrida. Se introduce formalmente la noción de naturaleza híbrida, que constituye el hilo conductor de todo el trabajo. En el cálculo lambda la naturaleza híbrida se manifiesta como una ‘distinción de fase’ en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas. Esta distinción de fase conlleva una estructura en capas en la que una semántica híbrida depende de una o más semánticas subsidiarias. Desde el punto de vista de los lenguajes de programación, la tesis muestra como derivar, mediante técnicas de transformación de programas, implementaciones de semánticas operacionales que reducen plenamente a partir de sus especificaciones. Las técnicas de transformación de programas consisten en transformaciones sintácticas que preservan la equivalencia semántica de los programas. Se ajustan las técnicas de transformación de programas existentes para trabajar con implementaciones de semánticas híbridas. Además, se muestra el impacto que tiene la reducción plena en las implementaciones que utilizan entornos. Los entornos son un ingrediente fundamental en las implementaciones realistas de una máquina abstracta. Desde el punto de vista de los sistemas formales, la tesis desvela una teoría novedosa para el cálculo lambda con paso por valor (‘call-by-value lambda calculus’ en inglés) que es consistente con la reducción plena. Dicha teoría induce una noción de equivalencia observacional que distingue más puntos que las teorías existentes para dicho cálculo. Esta contribución ayuda a establecer una ‘teoría estándar’ en el cálculo lambda con paso por valor que es análoga a la ‘teoría estándar’ del cálculo lambda clásico propugnada por Barendregt. Se presentan resultados de teoría de la demostración, y se sugiere como abordar el estudio de teoría de modelos. ABSTRACT This thesis studies full reduction in lambda calculi. In a nutshell, full reduction consists in evaluating the body of the functions in a functional programming language with binders. The classical (i.e., pure untyped) lambda calculus is set as the formal system that models the functional paradigm. Full reduction is a prominent technique when programs are treated as data objects, for instance when performing optimisations by partial evaluation, or when some attribute of the program is represented by a program itself, like the type in modern proof assistants. A notable feature of many full-reducing operational semantics is its hybrid nature, which is introduced and which constitutes the guiding theme of the thesis. In the lambda calculus, the hybrid nature amounts to a ‘phase distinction’ in the treatment of abstractions when considered either from outside or from inside themselves. This distinction entails a layered structure in which a hybrid semantics depends on one or more subsidiary semantics. From a programming languages standpoint, the thesis shows how to derive implementations of full-reducing operational semantics from their specifications, by using program transformations techniques. The program transformation techniques are syntactical transformations which preserve the semantic equivalence of programs. The existing program transformation techniques are adjusted to work with implementations of hybrid semantics. The thesis also shows how full reduction impacts the implementations that use the environment technique. The environment technique is a key ingredient of real-world implementations of abstract machines which helps to circumvent the issue with binders. From a formal systems standpoint, the thesis discloses a novel consistent theory for the call-by-value variant of the lambda calculus which accounts for full reduction. This novel theory entails a notion of observational equivalence which distinguishes more points than other existing theories for the call-by-value lambda calculus. This contribution helps to establish a ‘standard theory’ in that calculus which constitutes the analogous of the ‘standard theory’ advocated by Barendregt in the classical lambda calculus. Some prooftheoretical results are presented, and insights on the model-theoretical study are given.

Antibiotic treatment for intermittent bladder catheterisation with once daily prophylaxis (the AnTIC study) : Study protocol for a randomised controlled trial

Funder statement This article/paper/report presents independent research funded by the National Institute for Health Research (NIHR). The views expressed are those of the author(s) and not necessarily those of the NHS, the NIHR or the UK Government’s Department of Health. Acknowledgements We would like to acknowledge Dr Graeme MacLennan, Mr Simon Skene, Mr Julian Shah and Dr Nadine Dougall (past member) for their valuable contribution to the study as DMC members. We would like to thank Professor Chris Butler, Dr Emma Hall, Mr Roland Morley, Mr Dan Wood, Ms Jane Laws and Ms Sarah Bittlestone for their oversight of the AnTIC study as members of the TSC, and we would like to thank Ms Heather Armstrong for her contributions as a patient group representative. We thank all Principal Investigators and site staff for their commitment in recruitment for the AnTIC study. Finally, we would like to thank Hazel Wilde for secretarial support. The trial is funded by the NIHR Health Technology Assessment Programme (project reference: 11-72-01) and will be published in full in the Health Technology Assessment journal series. The authors also acknowledge the support of the National Institute for Health Research through the Comprehensive Clinical Research Network.

G1 arrest and down-regulation of cyclin E/cyclin-dependent kinase 2 by the protein kinase inhibitor staurosporine are dependent on the retinoblastoma protein in the bladder carcinoma cell line 5637.

The protein kinase inhibitor staurosporine has been shown to induce G1 phase arrest in normal cells but not in most transformed cells. Staurosporine did not induce G1 phase arrest in the bladder carcinoma cell line 5637 that lacks a functional retinoblastoma protein (pRB-). However, when infected with a pRB-expressing retrovirus [Goodrich, D. W., Chen, Y., Scully, P. & Lee, W.-H. (1992) Cancer Res. 52, 1968-1973], these cells, now pRB+, were arrested by staurosporine in G1 phase. This arrest was accompanied by the accumulation of hypophosphorylated pRB. In both the pRB+ and pRB- cells, cyclin D1-associated kinase activities were reduced on staurosporine treatment. In contrast, cyclin-dependent kinase (CDK) 2 and cyclin E/CDK2 activities were inhibited only in pRB+ cells. Staurosporine treatment did not cause reductions in the protein levels of CDK4, cyclin D1, CDK2, or cyclin E. The CDK inhibitor proteins p21(Waf1/Cip1) and p27 (Kip1) levels increased in staurosporine-treated cells. Immunoprecipitation of CDK2, cyclin E, and p2l from staurosporine-treated pRB+ cells revealed a 2.5- to 3-fold higher ratio of p2l bound to CDK2 compared with staurosporine-treated pRB- cells. In pRB+ cells, p2l was preferentially associated with Thrl6O phosphorylated active CDK2. In pRB- cells, however, p2l was bound preferentially to the unphosphorylated, inactive form of CDK2 even though the phosphorylated form was abundant. This is the first evidence suggesting that G1 arrest by 4 nM staurosporine is dependent on a functional pRB protein. Cell cycle arrest at the pRB- dependent checkpoint may prevent activation of cyclin E/CDK2 by stabilizing its interaction with inhibitor proteins p2l and p27.

Estrogen metabolites for the diagnosis of schistosomiasis associated urinary bladder cancer

Letter to the Editor

Disquisition of the stone and gravel, the nature of their formation in the human body clearly explained, with diagnostics for distinguishing those from other diseases of the kidnies, bladder ... /

Mode of access: Internet.

A practical essay on diseases of the viscera : particulary those of the stomach and bowels, the liver, spleen and urinaty bladder, in which their nature, treatment and cure, are cleary pointed out and explained /

Mode of access: Internet.

A treatise on biliary concretions, or, stones in the gall-bladder and ducts /

Mode of access: Internet.

Lithotomy or a treatise of the extracting of the stone out of the bladder : wherein an account is given of the various instruments used, and the method observed in that curious, but difficult, part of chirurgery : illustrated with twenty copper plates /

Mode of access: Internet.

Lithologia historico-medica, hoc est, Calculi humani consideratio physico-medico-curiosa : qua solum ipsius generatio, loci natales, ac viae diversa pariter et copia, color et figura ... /

Mode of access: Internet.

A practical treatise on the diseases and injuries of the urinary bladder, the prostate gland, and the urethra /

Mode of access: Internet.

D. Christ. Ernesti Clauderi ... Gorgonea metamorphosis, sive Mirabilis calculi humani historia, etc.

Mode of access: Internet.