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

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

Changes in serum proteins after endotoxin administration in healthy and choline-treated calves

Background: This study aimed to investigate the possible serum protein changes after endotoxin administration in healthy and choline-treated calves using proteomics. These results are expected to contribute to the understanding of the pathophysiological mechanisms of endotoxemia and the beneficial effect of choline administration in this clinical situation. Methods: Healthy-calves (n = 20) were divided into 4 groups: Control, Choline treated (C), Lipopolysaccharide administered (LPS), and LPS + C. Control calves received 0.9 % NaCl injection. Calves in C and LPS + C groups received choline chloride (1 mg/kg/iv). Endotoxin (LPS) was injected (2 mu g/kg/iv) to the calves in LPS and LPS + C groups. Serum samples were collected before and after the treatments. Differentially expressed proteins (> 1.5 fold-change relative to controls) were identified by LC-MS/MS. Results: After LPS administration, 14 proteins increased, and 13 proteins decreased within 48 h as compared to controls. In the LPS group, there were significant increases in serum levels of ragulator complex protein (189-fold) and galectin-3-binding protein (10-fold), but transcription factor MafF and corticosteroid binding globulin were down regulated (>= 5 fold). As compared with the LPS group, in LPS + C group, fibrinogen gamma-B-chain and antithrombin were up-regulated, while hemopexin and histone H4 were down-regulated. Choline treatment attenuated actin alpha cardiac muscle-1 overexpression after LPS. Conclusions: LPS administration produces changes in serum proteins associated with lipid metabolism, immune and inflammatory response, protein binding/transport, cell adhesion, venous thrombosis, cardiac contractility and blood coagulation. The administration of choline is associated with changes in proteins which can be related with its beneficial effect in this clinical situation

Moving Beyond Mimicry: Developing Hybrid Spaces in Indian Business Schools

This article analyses the identity work of Indian management educators and scholars as they seek to establish, maintain and revise a sense of self in the context of business school globalization. We show how globalization, combined with the historical legacy of colonialism, renders Indian scholars precarious in their interactions with Western business schools. Based on a qualitative interview study, we explore how Indian business school scholars perform their identities in the context of neo-colonial relations, which are characterised by the dominance of English language and a pressure to conform to research norms set by globally-ranked journals. Drawing on postcolonial theory, our argument focuses on mimicry as a distinctive form of identity work that involves maintaining difference between Western and non-Western identities by 'Othering' Indian scholars, while simultaneously seeking to transform them. We draw attention to ambivalence within participants' accounts, which we suggest arises because the authority of Western scholarship relies on maintaining non-Western scholars in a position of alterity or 'not quite-ness'. We suggest that hybridity offers an opportunity to disrupt and question current practices of business school globalization and facilitate scholarly engagement that reflects more diverse philosophical positions and worldviews

Screening and diagnostic breast MRI: how do they impact surgical treatment? Insights from the MIPA study

Objectives: To report mastectomy and reoperation rates in women who had breast MRI for screening (S-MRI subgroup) or diagnostic (D-MRI subgroup) purposes, using multivariable analysis for investigating the role of MRI referral/nonreferral and other covariates in driving surgical outcomes. Methods: The MIPA observational study enrolled women aged 18–80 years with newly diagnosed breast cancer destined to have surgery as the primary treatment, in 27 centres worldwide. Mastectomy and reoperation rates were compared using non-parametric tests and multivariable analysis. Results: A total of 5828 patients entered analysis, 2763 (47.4%) did not undergo MRI (noMRI subgroup) and 3065 underwent MRI (52.6%); of the latter, 2441/3065 (79.7%) underwent MRI with preoperative intent (P-MRI subgroup), 510/3065 (16.6%) D-MRI, and 114/3065 S-MRI (3.7%). The reoperation rate was 10.5% for S-MRI, 8.2% for D-MRI, and 8.5% for P-MRI, while it was 11.7% for noMRI (p ≤ 0.023 for comparisons with D-MRI and P-MRI). The overall mastectomy rate (first-line mastectomy plus conversions from conserving surgery to mastectomy) was 39.5% for S-MRI, 36.2% for P-MRI, 24.1% for D-MRI, and 18.0% for noMRI. At multivariable analysis, using noMRI as reference, the odds ratios for overall mastectomy were 2.4 (p < 0.001) for S-MRI, 1.0 (p = 0.957) for D-MRI, and 1.9 (p < 0.001) for P-MRI. Conclusions: Patients from the D-MRI subgroup had the lowest overall mastectomy rate (24.1%) among MRI subgroups and the lowest reoperation rate (8.2%) together with P-MRI (8.5%). This analysis offers an insight into how the initial indication for MRI affects the subsequent surgical treatment of breast cancer. Key Points: • Of 3065 breast MRI examinations, 79.7% were performed with preoperative intent (P-MRI), 16.6% were diagnostic (D-MRI), and 3.7% were screening (S-MRI) examinations. • The D-MRI subgroup had the lowest mastectomy rate (24.1%) among MRI subgroups and the lowest reoperation rate (8.2%) together with P-MRI (8.5%). • The S-MRI subgroup had the highest mastectomy rate (39.5%) which aligns with higher-than-average risk in this subgroup, with a reoperation rate (10.5%) not significantly different to that of all other subgroups

Preoperative breast MRI positively impacts surgical outcomes of needle biopsy–diagnosed pure DCIS: a patient-matched analysis from the MIPA study

Objectives: To investigate the influence of preoperative breast MRI on mastectomy and reoperation rates in patients with pure ductal carcinoma in situ (DCIS). Methods: The MIPA observational study database (7245 patients) was searched for patients aged 18–80 years with pure unilateral DCIS diagnosed at core needle or vacuum-assisted biopsy (CNB/VAB) and planned for primary surgery. Patients who underwent preoperative MRI (MRI group) were matched (1:1) to those who did not receive MRI (noMRI group) according to 8 confounding covariates that drive referral to MRI (age; hormonal status; familial risk; posterior-to-nipple diameter; BI-RADS category; lesion diameter; lesion presentation; surgical planning at conventional imaging). Surgical outcomes were compared between the matched groups with nonparametric statistics after calculating odds ratios (ORs). Results: Of 1005 women with pure unilateral DCIS at CNB/VAB (507 MRI group, 498 noMRI group), 309 remained in each group after matching. First-line mastectomy rate in the MRI group was 20.1% (62/309 patients, OR 2.03) compared to 11.0% in the noMRI group (34/309 patients, p = 0.003). The reoperation rate was 10.0% in the MRI group (31/309, OR for reoperation 0.40) and 22.0% in the noMRI group (68/309, p < 0.001), with a 2.53 OR of avoiding reoperation in the MRI group. The overall mastectomy rate was 23.3% in the MRI group (72/309, OR 1.40) and 17.8% in the noMRI group (55/309, p = 0.111). Conclusions: Compared to those going directly to surgery, patients with pure DCIS at CNB/VAB who underwent preoperative MRI had a higher OR for first-line mastectomy but a substantially lower OR for reoperation. Clinical relevance statement: When confounding factors behind MRI referral are accounted for in the comparison of patients with CNB/VAB-diagnosed pure unilateral DCIS, preoperative MRI yields a reduction of reoperations that is more than twice as high as the increase in overall mastectomies. Key Points: • Confounding factors cause imbalance when investigating the influence of preoperative MRI on surgical outcomes of pure DCIS. • When patient matching is applied to women with pure unilateral DCIS, reoperation rates are significantly reduced in women who underwent preoperative MRI. • The reduction of reoperations brought about by preoperative MRI is more than double the increase in overall mastectomies

The RNA binding protein HuR differentially regulates unique subsets of mRNAs in estrogen receptor negative and estrogen receptor positive breast cancer

<p>Abstract</p> <p>Background</p> <p>The discordance between steady-state levels of mRNAs and protein has been attributed to posttranscriptional control mechanisms affecting mRNA stability and translation. Traditional methods of genome wide microarray analysis, profiling steady-state levels of mRNA, may miss important mRNA targets owing to significant posttranscriptional gene regulation by RNA binding proteins (RBPs).</p> <p>Methods</p> <p>The ribonomic approach, utilizing RNA immunoprecipitation hybridized to microarray (RIP-Chip), provides global identification of putative endogenous mRNA targets of different RBPs. HuR is an RBP that binds to the AU-rich elements (ARE) of labile mRNAs, such as proto-oncogenes, facilitating their translation into protein. HuR has been shown to play a role in cancer progression and elevated levels of cytoplasmic HuR directly correlate with increased invasiveness and poor prognosis for many cancers, including those of the breast. HuR has been described to control genes in several of the acquired capabilities of cancer and has been hypothesized to be a tumor-maintenance gene, allowing for cancers to proliferate once they are established.</p> <p>Results</p> <p>We used HuR RIP-Chip as a comprehensive and systematic method to survey breast cancer target genes in both MCF-7 (estrogen receptor positive, ER+) and MDA-MB-231 (estrogen receptor negative, ER-) breast cancer cell lines. We identified unique subsets of HuR-associated mRNAs found individually or in both cell types. Two novel HuR targets, <it>CD9 </it>and <it>CALM2 </it>mRNAs, were identified and validated by quantitative RT-PCR and biotin pull-down analysis.</p> <p>Conclusion</p> <p>This is the first report of a side-by-side genome-wide comparison of HuR-associated targets in wild type ER+ and ER- breast cancer. We found distinct, differentially expressed subsets of cancer related genes in ER+ and ER- breast cancer cell lines, and noted that the differential regulation of two cancer-related genes by HuR was contingent upon the cellular environment.</p