A post-placement side-effect removal algorithm

Side-effects are widely believed to impede program comprehension and have a detrimental effect upon software maintenance. This paper introduces an algorithm for side-effect removal which splits the side-effects into their pure expression meaning and their state-changing meaning. Symbolic execution is used to determine the expression meaning, while transformation is used to place the state-changing part in a suitable location in a transformed version of the program. This creates a program which is semantically equivalent to the original but guaranteed to be free from side-effects. The paper also reports the results of an empirical study which demonstrates that the application of the algorithm causes a significant improvement in program comprehension

Use of an Evidence‐Based Guideline for Management of Side Effects from Long‐Acting Reversible Contraceptives: A Quality Improvement Report

Introduction Many health care providers believe that women who initiate long‐acting reversible contraceptives (LARC) discontinue the method because of side effects too soon for the method to be economical. The purpose of this quality improvement project was to implement and evaluate an evidence‐based telephone triage nursing guideline for management of side effects of LARC with an ultimate goal of reducing the number of early discontinuations. Process A telephone triage guideline was adapted from the Contraceptive Choice Project\u27s Clinician Call Back System, supplemented with evidence‐based resources, and approved by clinicians at 2 community women\u27s health and midwifery offices. Baseline retrospective data were collected on all women over the age of 18 who had LARC inserted at the 2 sites in the year prior to guideline implementation and in the 3 months after implementation. Rates of LARC removal at or before 3 months postinsertion, before and after guideline implementation, were evaluated. Outcomes Approximately 1 in 5 women called for help managing LARC side effects. Of the callers, 3 of 32 (9.4%) women receiving standard care discontinued their LARC prior to 3 months, whereas 0 of 24 women who were triaged using the guideline discontinued their LARC prior to 3 months (P = .12). Cramping, bleeding, and malposition or expulsion were the most common concerns and reasons for discontinuation. Discussion Fewer women than anticipated called to report side effects, and even fewer chose to discontinue their LARC early. There were fewer discontinuations with guideline use, but this was not a statistically significant difference. Most women did not discontinue their LARC early for any reason, including side effects

Artifact Rejection Methodology Enables Continuous, Noninvasive Measurement of Gastric Myoelectric Activity in Ambulatory Subjects.

The increasing prevalence of functional and motility gastrointestinal (GI) disorders is at odds with bottlenecks in their diagnosis, treatment, and follow-up. Lack of noninvasive approaches means that only specialized centers can perform objective assessment procedures. Abnormal GI muscular activity, which is coordinated by electrical slow-waves, may play a key role in symptoms. As such, the electrogastrogram (EGG), a noninvasive means to continuously monitor gastric electrical activity, can be used to inform diagnoses over broader populations. However, it is seldom used due to technical issues: inconsistent results from single-channel measurements and signal artifacts that make interpretation difficult and limit prolonged monitoring. Here, we overcome these limitations with a wearable multi-channel system and artifact removal signal processing methods. Our approach yields an increase of 0.56 in the mean correlation coefficient between EGG and the clinical "gold standard", gastric manometry, across 11 subjects (p < 0.001). We also demonstrate this system's usage for ambulatory monitoring, which reveals myoelectric dynamics in response to meals akin to gastric emptying patterns and circadian-related oscillations. Our approach is noninvasive, easy to administer, and has promise to widen the scope of populations with GI disorders for which clinicians can screen patients, diagnose disorders, and refine treatments objectively

Low-Resolution Fault Localization Using Phasor Measurement Units with Community Detection

A significant portion of the literature on fault localization assumes (more or less explicitly) that there are sufficient reliable measurements to guarantee that the system is observable. While several heuristics exist to break the observability barrier, they mostly rely on recognizing spatio-temporal patterns, without giving insights on how the performance are tied with the system features and the sensor deployment. In this paper, we try to fill this gap and investigate the limitations and performance limits of fault localization using Phasor Measurement Units (PMUs), in the low measurements regime, i.e., when the system is unobservable with the measurements available. Our main contribution is to show how one can leverage the scarce measurements to localize different type of distribution line faults (three-phase, single-phase to ground, ...) at the level of sub-graph, rather than with the resolution of a line. We show that the resolution we obtain is strongly tied with the graph clustering notion in network science.Comment: Accepted in IEEE SmartGridComm 2018 Conferenc