Bacterial Vaginosis

Bacterial Vaginosis (BV) is the most common cause of vaginal infections in women of reproductive age, with a prevalence of 29% in women ages 14- 49 in the United States (Center for Disease Control {CDC}, 2020). The exact pathogenesis of BV is unclear; however, several risk factors such as having unprotected sex, multiple new sexual partners, or frequent douching can lead to BV (Afolabi et al., 2016). Women diagnosed with BV have an increased risk of contracting sexually transmitted infections (STIs), such as human immunodeficiency virus (HIV), gonorrhea, and chlamydia. BV is associated with health concerns such as miscarriages, preterm births, and pelvic inflammatory disease (Jones, 2019). Women with BV in pregnancy have an increased risk of low birthweight babies, premature rupture of membranes, and postpartum vaginal infections (Pramoda, 2020). The current treatment options for BV are limited, and 60-80% of women who receive treatment experience a short-term cure, but recurrence rates are high (Bradshaw & Sobel, 2016). The project aims to research the causes, current treatments, complications of pregnancy with untreated BV, and explore alternative treatments to provide a long-term cure. I want to improve education on the prevalence of BV and preventive measures for all women who experience persistence BV. Keywords: Bacterial Vaginosis, Recurrence, Probiotic treatment, Preterm Deliver

An Entry Point for Formal Methods: Specification and Analysis of Event Logs

Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but has not been widely applied to real systems, and often falters due to the cost and complexity of instrumentation for online monitoring. In this paper we discuss work in progress to apply an event-based specification system to the logging mechanism of the Mars Science Laboratory mission at JPL. By focusing on log analysis, we exploit the "instrumentation" already implemented and required for communicating with the spacecraft. We argue that this work both shows a practical method for using formal specifications in testing and opens interesting research avenues, including a challenging specification learning problem

The Law of Unintended Consequences

My purpose is to talk about the 2005 Amendments and how things are going with the new provisions. But where do you start, with a bad law? We could start with the enactment process, but that\u27s old news now. And besides,you\u27ve already heard the line: Some members of Congress could not be bought; for everyone else there was MasterCard. We could talk about the policy choices, and the 2005 Amendments clearly represent a shift in that respect--perhaps in the category of seismic or cataclysmic