Quantitative Regular Expressions for Arrhythmia Detection Algorithms

Motivated by the problem of verifying the correctness of arrhythmia-detection algorithms, we present a formalization of these algorithms in the language of Quantitative Regular Expressions. QREs are a flexible formal language for specifying complex numerical queries over data streams, with provable runtime and memory consumption guarantees. The medical-device algorithms of interest include peak detection (where a peak in a cardiac signal indicates a heartbeat) and various discriminators, each of which uses a feature of the cardiac signal to distinguish fatal from non-fatal arrhythmias. Expressing these algorithms' desired output in current temporal logics, and implementing them via monitor synthesis, is cumbersome, error-prone, computationally expensive, and sometimes infeasible. In contrast, we show that a range of peak detectors (in both the time and wavelet domains) and various discriminators at the heart of today's arrhythmia-detection devices are easily expressible in QREs. The fact that one formalism (QREs) is used to describe the desired end-to-end operation of an arrhythmia detector opens the way to formal analysis and rigorous testing of these detectors' correctness and performance. Such analysis could alleviate the regulatory burden on device developers when modifying their algorithms. The performance of the peak-detection QREs is demonstrated by running them on real patient data, on which they yield results on par with those provided by a cardiologist.Comment: CMSB 2017: 15th Conference on Computational Methods for Systems Biolog

HuR overexpression in MB231 breast cancer cells

Abstract only availableCancer cells share acquired capabilities necessary for their malignant transformation. These "hallmarks of cancer" include increased proliferation, self-sufficiency in growth signals, insensitivity to antigrowth signals, evasion of apoptosis, angiogenesis and metastasis (Hanahan and Weinberg 2000). HuR is a RNA-binding protein which has been implicated in regulating mRNAs involved in each of these characteristics. We hypothesize that HuR maintains the growth characteristics of malignant cancer cells through the stabilization and increased translation of cancer relevant genes. If HuR does enhance malignancy then the overexpression of HuR would amplify the capabilites of malignant cancer cells and increase cell proliferation. This hypothesis was tested by creating a breast cancer cell line that stably overexpresses HuR. A vector overexpressing HuR was created by ligating a PCR amplified insert containing HuR and a HA hemagluttin tag into a Zeocin resistant episomal plasmid. Cells normally express HuR, so the tag was used to distinguish the overexpressed HuR from endogenous HuR. This plasmid was used to transfect MB-231 estrogen receptor-negative breast cancer cells. After transfection, Zeocin selected against the cells that did not incorporate the plasmid. Western Blots for the surviving cells revealed that HA HuR was expressed, implying that the cells were overexpressing HuR. Proliferation assays of heterogenous populations of both HA HuR-containing and normal MB231 cells yield no difference in cell division. Further experiments will use homogenous populations that highly overexpress HuR to see if HuR overexpression alters the proliferation and cell cycle capabilities of these cells. References: "Hallmarks of Cancer" Hanahan, Douglas and Weinberg, Robert A. Cell. Vol. 100, 57-70. 200

Efficient Online Timed Pattern Matching by Automata-Based Skipping

The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log $w$ and a specification $\mathcal{A}$ (given by a timed word and a timed automaton in this paper), and one wishes to return the set of intervals for which the log $w$, when restricted to the interval, satisfies the specification $\mathcal{A}$. In our previous work we presented an efficient timed pattern matching algorithm: it adopts a skipping mechanism inspired by the classic Boyer--Moore (BM) string matching algorithm. In this work we tackle the problem of online timed pattern matching, towards embedded applications where it is vital to process a vast amount of incoming data in a timely manner. Specifically, we start with the Franek-Jennings-Smyth (FJS) string matching algorithm---a recent variant of the BM algorithm---and extend it to timed pattern matching. Our experiments indicate the efficiency of our FJS-type algorithm in online and offline timed pattern matching

LNCS

We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated

Real-world efficacy and safety of Ledipasvir + Sofosbuvir and Ombitasvir/Paritaprevir/Ritonavir ± Dasabuvir combination therapies for chronic hepatitis C: A Turkish experience

Background/Aims: This study aimed to evaluate the real-life efficacy and tolerability of direct-acting antiviral treatments for patients with chronic hepatitis C (CHC) with/without cirrhosis in the Turkish population. Material and Methods: A total of 4,352 patients with CHC from 36 different institutions in Turkey were enrolled. They received ledipasvir (LDV) and sofosbuvir (SOF)+/- ribavirin (RBV) ombitasvir/paritaprevir/ritonavir +/- dasabuvir (PrOD)+/- RBV for 12 or 24 weeks. Sustained virologic response (SVR) rates, factors affecting SVR, safety profile, and hepatocellular cancer (HCC) occurrence were analyzed. Results: SVR12 was achieved in 92.8% of the patients (4,040/4,352) according to intention-to-treat and in 98.3% of the patients (4,040/4,108) according to per-protocol analysis. The SVR12 rates were similar between the treatment regimens (97.2%-100%) and genotypes (95.6%-100%). Patients achieving SVR showed a significant decrease in the mean serum alanine transaminase (ALT) levels (50.90 +/- 54.60 U/L to 17.00 +/- 14.50 U/L) and model for end-stage liver disease (MELD) scores (7.51 +/- 4.54 to 7.32 +/- 3.40) (p<0.05). Of the patients, 2 were diagnosed with HCC during the treatment and 14 were diagnosed with HCC 37.0 +/- 16.0 weeks post-treatment. Higher initial MELD score (odds ratio [OR]: 1.92, 95% confidence interval [CI]: 1.22-2.38; p=0.023]), higher hepatitis C virus (HCV) RNA levels (OR: 1.44, 95% CI: 1.31-2.28; p=0.038), and higher serum ALT levels (OR: 1.38, 95% CI: 1.21-1.83; p=0.042) were associated with poor SVR12. The most common adverse events were fatigue (12.6%), pruritis (7.3%), increased serum ALT (4.7%) and bilirubin (3.8%) levels, and anemia (3.1%). Conclusion: LDV/SOF or PrOD +/- RBV were effective and tolerable treatments for patients with CHC and with or without advanced liver disease before and after liver transplantation. Although HCV eradication improves the liver function, there is a risk of developing HCC.Turkish Association for the Study of The Liver (TASL)The present study was supported by The Turkish Association for the Study of The Liver (TASL)

Elevated expression of artemis in human fibroblast cells is associated with cellular radiosensitivity and increased apoptosis

Copyright @ 2012 Nature Publishing GroupThis article has been made available through the Brunel Open Access Publishing Fund.Background: The objective of this study was to determine the molecular mechanism(s) responsible for cellular radiosensitivity in two human fibroblast cell lines 84BR and 175BR derived from two cancer patients. Methods: Clonogenic assays were performed following exposure to increasing doses of gamma radiation to confirm radiosensitivity. γ-H2AX foci assays were used to determine the efficiency of DNA double strand break (DSB) repair in cells. Quantitative-PCR (Q-PCR) established the expression levels of key DNA DSB repair proteins. Imaging flow cytometry using Annexin V-FITC was used to compare artemis expression and apoptosis in cells. Results: Clonogenic cellular hypersensitivity in the 84BR and 175BR cell lines was associated with a defect in DNA DSB repair measured by the γ-H2AX foci assay. Q-PCR analysis and imaging flow cytometry revealed a two-fold overexpression of the artemis DNA repair gene which was associated with an increased level of apoptosis in the cells before and after radiation exposure. Over-expression of normal artemis protein in a normal immortalised fibroblast cell line NB1-Tert resulted in increased radiosensitivity and apoptosis. Conclusion: We conclude elevated expression of artemis is associated with higher levels of DNA DSB, radiosensitivity and elevated apoptosis in two radio-hypersensitive cell lines. These data reveal a potentially novel mechanism responsible for radiosensitivity and show that increased artemis expression in cells can result in either radiation resistance or enhanced sensitivity.This work was supported in part by The Vidal Sassoon Foundation USA. This article is made available through the Brunel Open Access Publishing Fund