Systemic delivery and SPECT/CT in vivo imaging of 125I-labelled oncolytic adenoviral mutants in models of pancreatic cancer.

Early phase clinical trials have demonstrated good therapeutic index for oncolytic adenoviruses in patients with solid tumours when administered intratumorally, resulting in local tumour elimination. Entrapment and binding of adenovirus to erythrocytes, blood factors, and neutralising antibodies have prevented efficient systemic delivery and targeting of distant lesions in the clinic. We previously generated the novel replication-selective Ad-3∆-A20T to improve tumour targeting by increasing the viral dose at distant sites. Here, we developed a protocol to directly radiolabel the virus for rapid and sensitive detection by single-photon emitted computed tomography (SPECT/CT) providing a convenient method for determining biodistribution following intravenous administration in murine models. Longitudinal whole-body scans, demonstrated efficient viral uptake in pancreatic Suit-2 and Panc04.03 xenografts with trace amounts of 125I-Ad-3∆-A20T up to 48 h after tail vein delivery. Hepatic and splenic radioactivity decreased over time. Analysis of tissues harvested at the end of the study, confirmed potency and selectivity of mutant viruses. Ad-3∆-A20T-treated animals showed higher viral genome copy numbers and E1A gene expression in tumors than in liver and spleen compared to Ad5wt. Our direct radiolabeling approach, allows for immediate screening of novel oncolytic adenoviruses and selection of optimal viral genome alterations to generate improved mutants

Modeling the interaction of computer errors by four-valued contaminating logics

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics

A Systematic Study of Gene Mutations in Urothelial Carcinoma; Inactivating Mutations in TSC2 and PIK3R1

Abstract BACKGROUND: Urothelial carcinoma (UC) is characterized by frequent gene mutations of which activating mutations in FGFR3 are the most frequent. Several downstream targets of FGFR3 are also mutated in UC, e.g., PIK3CA, AKT1, and RAS. Most mutation studies of UCs have been focused on single or a few genes at the time or been performed on small sample series. This has limited the possibility to investigate co-occurrence of mutations. METHODOLOGY/PRINCIPAL FINDINGS: We performed mutation analyses of 16 genes, FGFR3, PIK3CA, PIK3R1 PTEN, AKT1, KRAS, HRAS, NRAS, BRAF, ARAF, RAF1, TSC1, TSC2, APC, CTNNB1, and TP53, in 145 cases of UC. We show that FGFR3 and PIK3CA mutations are positively associated. In addition, we identified PIK3R1 as a target for mutations. We demonstrate a negative association at borderline significance between FGFR3 and RAS mutations, and show that these mutations are not strictly mutually exclusive. We show that mutations in BRAF, ARAF, RAF1 rarely occurs in UC. Our data emphasize the possible importance of APC signaling as 6% of the investigated tumors either showed inactivating APC or activating CTNNB1 mutations. TSC1, as well as TSC2, that constitute the mTOR regulatory tuberous sclerosis complex were found to be mutated at a combined frequency of 15%. CONCLUSIONS/SIGNIFICANCE: Our data demonstrate a significant association between FGFR3 and PIK3CA mutations in UC. Moreover, the identification of mutations in PIK3R1 further emphasizes the importance of the PI3-kinase pathway in UC. The presence of TSC2 mutations, in addition to TSC1 mutations, underlines the involvement of mTOR signaling in UC