On theories of random variables

We study theories of spaces of random variables: first, we consider random variables with values in the interval $[0,1]$, then with values in an arbitrary metric structure, generalising Keisler's randomisation of classical structures. We prove preservation and non-preservation results for model theoretic properties under this construction: i) The randomisation of a stable structure is stable. ii) The randomisation of a simple unstable structure is not simple. We also prove that in the randomised structure, every type is a Lascar type

Reflexive representability and stable metrics

It is well-known that a topological group can be represented as a group of isometries of a reflexive Banach space if and only if its topology is induced by weakly almost periodic functions (see \cite{Shtern:CompactSemitopologicalSemigroups}, \cite{Megrelishvili:OperatorTopologies} and \cite{Megrelishvili:TopologicalTransformations}). We show that for a metrisable group this is equivalent to the property that its metric is uniformly equivalent to a stable metric in the sense of Krivine and Maurey (see \cite{Krivine-Maurey:EspacesDeBanachStables}). This result is used to give a partial negative answer to a problem of Megrelishvili

A subgroup of microRNAs defines PTEN-deficient, triple-negative breast cancer patients with poorest prognosis and alterations in RB1, MYC, and Wnt signaling

Abstract Background Triple-negative breast cancer (TNBC) represents a heterogeneous group of ER- and HER2-negative tumors with poor clinical outcome. We recently reported that Pten-loss cooperates with low expression of microRNA-145 to induce aggressive TNBC-like lesions in mice. To systematically identify microRNAs that cooperate with PTEN-loss to induce aggressive human BC, we screened for miRNAs whose expression correlated with PTEN mRNA levels and determined the prognostic power of each PTEN-miRNA pair alone and in combination with other miRs. Methods Publically available data sets with mRNA, microRNA, genomics, and clinical outcome were interrogated to identify miRs that correlate with PTEN expression and predict poor clinical outcome. Alterations in genomic landscape and signaling pathways were identified in most aggressive TNBC subgroups. Connectivity mapping was used to predict response to therapy. Results In TNBC, PTEN loss cooperated with reduced expression of hsa-miR-4324, hsa-miR-125b, hsa-miR-381, hsa-miR-145, and has-miR136, all previously implicated in metastasis, to predict poor prognosis. A subgroup of TNBC patients with PTEN-low and reduced expression of four or five of these miRs exhibited the worst clinical outcome relative to other TNBCs (hazard ratio (HR) = 3.91; P < 0.0001), and this was validated on an independent cohort (HR = 4.42; P = 0.0003). The PTEN-low/miR-low subgroup showed distinct oncogenic alterations as well as TP53 mutation, high RB1-loss signature and high MYC, PI3K, and β-catenin signaling. This lethal subgroup almost completely overlapped with TNBC patients selected on the basis of Pten-low and RB1 signature loss or β-catenin signaling-high. Connectivity mapping predicted response to inhibitors of the PI3K pathway. Conclusions This analysis identified microRNAs that define a subclass of highly lethal TNBCs that should be prioritized for aggressive therapy

CheapStat: An Open-Source, “Do-It-Yourself” Potentiostat for Analytical and Educational Applications

Although potentiostats are the foundation of modern electrochemical research, they have seen relatively little application in resource poor settings, such as undergraduate laboratory courses and the developing world. One reason for the low penetration of potentiostats is their cost, as even the least expensive commercially available laboratory potentiostats sell for more than one thousand dollars. An inexpensive electrochemical workstation could thus prove useful in educational labs, and increase access to electrochemistry-based analytical techniques for food, drug and environmental monitoring. With these motivations in mind, we describe here the CheapStat, an inexpensive (<$80), open-source (software and hardware), hand-held potentiostat that can be constructed by anyone who is proficient at assembling circuits. This device supports a number of potential waveforms necessary to perform cyclic, square wave, linear sweep and anodic stripping voltammetry. As we demonstrate, it is suitable for a wide range of applications ranging from food- and drug-quality testing to environmental monitoring, rapid DNA detection, and educational exercises. The device's schematics, parts lists, circuit board layout files, sample experiments, and detailed assembly instructions are available in the supporting information and are released under an open hardware license

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We solve the longstanding open problem of finding a complete axiom system for basic quantifier-free propositional ITL (PITL) with infinite time for analysing nonterminating computational systems. Our completeness proof uses a reduction to completeness for PITL with finite time and conventional propositional linear-time temporal logic. Unlike completeness proofs of equally expressive logics with nonelementary computational complexity, our semantic approach does not use tableaux, subformula closures or explicit deductions involving encodings of omega automata and nontrivial techniques for complementing them. We believe that our result also provides evidence of the naturalness of interval-based reasoning

A novel SNP analysis method to detect copy number alterations with an unbiased reference signal directly from tumor samples

<p>Abstract</p> <p>Background</p> <p>Genomic instability in cancer leads to abnormal genome copy number alterations (CNA) as a mechanism underlying tumorigenesis. Using microarrays and other technologies, tumor CNA are detected by comparing tumor sample CN to normal reference sample CN. While advances in microarray technology have improved detection of copy number alterations, the increase in the number of measured signals, noise from array probes, variations in signal-to-noise ratio across batches and disparity across laboratories leads to significant limitations for the accurate identification of CNA regions when comparing tumor and normal samples.</p> <p>Methods</p> <p>To address these limitations, we designed a novel "Virtual Normal" algorithm (VN), which allowed for construction of an unbiased reference signal directly from test samples within an experiment using any publicly available normal reference set as a baseline thus eliminating the need for an in-lab normal reference set.</p> <p>Results</p> <p>The algorithm was tested using an optimal, paired tumor/normal data set as well as previously uncharacterized pediatric malignant gliomas for which a normal reference set was not available. Using Affymetrix 250K Sty microarrays, we demonstrated improved signal-to-noise ratio and detected significant copy number alterations using the VN algorithm that were validated by independent PCR analysis of the target CNA regions.</p> <p>Conclusions</p> <p>We developed and validated an algorithm to provide a virtual normal reference signal directly from tumor samples and minimize noise in the derivation of the raw CN signal. The algorithm reduces the variability of assays performed across different reagent and array batches, methods of sample preservation, multiple personnel, and among different laboratories. This approach may be valuable when matched normal samples are unavailable or the paired normal specimens have been subjected to variations in methods of preservation.</p

Coeliac plexus radiosurgery for pain management in patients with advanced cancer : study protocol for a phase II clinical trial

Introduction: Pancreatic cancer is characterised by severe mid-back and epigastric pain caused by tumour invasion of the coeliac nerve plexus. This pain is often poorly managed with standard treatments. This clinical trial investigates a novel approach in which high-dose radiation (radiosurgery) is targeted to the retroperitoneal coeliac plexus nerve bundle. Preliminary results from a single institution pilot trial are promising: pain relief is substantial and side effects minimal. The goals of this study are to validate these findings in an international multisetting, and investigate the impact on quality of life and functional status among patients with terminal cancer. Methods and analysis: A single-arm prospective phase II clinical trial. Eligible patients are required to have severe coeliac pain of at least five on the 11-point BPI average pain scale and Eastern Cooperative Oncology Group performance status of two or better. Non-pancreatic cancers invading the coeliac plexus are also eligible. The intervention involves irradiating the coeliac plexus using a single fraction of 25 Gy. The primary endpoint is the complete or partial pain response at 3 weeks. Secondary endpoints include pain at 6 weeks, analgesic use, hope, qualitative of life, caregiver burden and functional outcomes, all measured using validated instruments. The protocol is expected to open at a number of cancer centres across the globe, and a quality assurance programme is included. The protocol requires that 90 evaluable patients be accrued, based upon the assumption that a third of patients are non-evaluable (e.g. due to death prior to 3-weeks post-treatment assessment, or spontaneous improvement of pain pre-treatment), it is estimated that a total of 120 patients will need to be accrued. Supported by Gateway for Cancer Research and the Israel Cancer Association. Ethics and dissemination: Ethic approval for this study has been obtained at eight academic medical centres located across the Middle East, North America and Europe. Results will be disseminated through conference presentations and peer-reviewed publications. Trial registration number: NCT03323489

Wavelet-based identification of DNA focal genomic aberrations from single nucleotide polymorphism arrays

<p>Abstract</p> <p>Background</p> <p>Copy number aberrations (CNAs) are an important molecular signature in cancer initiation, development, and progression. However, these aberrations span a wide range of chromosomes, making it hard to distinguish cancer related genes from other genes that are not closely related to cancer but are located in broadly aberrant regions. With the current availability of high-resolution data sets such as single nucleotide polymorphism (SNP) microarrays, it has become an important issue to develop a computational method to detect driving genes related to cancer development located in the focal regions of CNAs.</p> <p>Results</p> <p>In this study, we introduce a novel method referred to as the wavelet-based identification of focal genomic aberrations (WIFA). The use of the wavelet analysis, because it is a multi-resolution approach, makes it possible to effectively identify focal genomic aberrations in broadly aberrant regions. The proposed method integrates multiple cancer samples so that it enables the detection of the consistent aberrations across multiple samples. We then apply this method to glioblastoma multiforme and lung cancer data sets from the SNP microarray platform. Through this process, we confirm the ability to detect previously known cancer related genes from both cancer types with high accuracy. Also, the application of this approach to a lung cancer data set identifies focal amplification regions that contain known oncogenes, though these regions are not reported using a recent CNAs detecting algorithm GISTIC: SMAD7 (chr18q21.1) and FGF10 (chr5p12).</p> <p>Conclusions</p> <p>Our results suggest that WIFA can be used to reveal cancer related genes in various cancer data sets.</p