SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we complement CSA's existing heuristics that remove spurious bug reports. We encode the path constraints produced by CSA as Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely check them for satisfiability, and remove bug reports whose associated path constraints are unsatisfiable. Our refutation extension refutes spurious bug reports in 8 out of 12 widely used open-source applications; on average, it refutes ca. 7% of all bug reports, and never refutes any true bug report. It incurs only negligible performance overheads, and on average adds 1.2% to the runtime of the full Clang/LLVM toolchain. A demonstration is available at {\tt https://www.youtube.com/watch?v=ylW5iRYNsGA}.Comment: 4 page

Using bacterial biomarkers to identify early indicators of cystic fibrosis pulmonary exacerbation onset

Acute periods of pulmonary exacerbation are the single most important cause of morbidity in cystic fibrosis patients, and may be associated with a loss of lung function. Intervening prior to the onset of a substantially increased inflammatory response may limit the associated damage to the airways. While a number of biomarker assays based on inflammatory markers have been developed, providing useful and important measures of disease during these periods, such factors are typically only elevated once the process of exacerbation has been initiated. Identifying biomarkers that can predict the onset of pulmonary exacerbation at an early stage would provide an opportunity to intervene before the establishment of a substantial immune response, with major implications for the advancement of cystic fibrosis care. The precise triggers of pulmonary exacerbation remain to be determined; however, the majority of models relate to the activity of microbes present in the patient's lower airways of cystic fibrosis. Advances in diagnostic microbiology now allow for the examination of these complex systems at a level likely to identify factors on which biomarker assays can be based. In this article, we discuss key considerations in the design and testing of assays that could predict pulmonary exacerbations

Strategies for enzymological studies and measurements of biological molecules with the cytolysin A nanopore

Pore-forming toxins are used in a variety of biotechnological applications. Typically, individual membrane proteins are reconstituted in artificial lipid bilayers where they form water-filled nanoscale apertures (nanopores). When a voltage is applied, the ionic current passing through a nanopore can be used for example to sequence biopolymers, identify molecules, or to study chemical or enzymatic reactions at the single-molecule level. Here we present strategies for studying individual enzymes and measuring molecules, also in highly complex biological samples such as blood

Access to Health Care and Religion among Young American Men

In order to elucidate cultural correlates of utilization of primary health services by young adult men, we investigated religion in which one was raised and service utilization. Using data from a national survey we tested the hypothesis that religion raised predicts access to and utilization of a regular medical care provider, examinations, HIV and other STD testing and counseling at ages 18–44 years in men born between 1958 and 1984. We also hypothesized that religion raised would be more predictive of utilization for Hispanic Americans and non-Hispanic Black Americans than for non-Hispanic White Americans. The study included a national sample of 4276 men aged 18–44 years. Descriptive and multivariate statistics were used to assess the hypotheses using data on religion raised and responses to 14 items assessing health care access and utilization. Compared to those raised in no religion, those raised mainline Protestant were more likely (p < 0.01) to report a usual source of care (67% vs. 79%), health insurance coverage (66% vs. 80%) and physical examination (43% vs. 48%). Religion raised was not associated with testicular exams, STD counseling or HIV testing. In multivariate analyses controlling for confounders, significant associations of religion raised with insurance coverage, a physician as usual source of care and physical examination remained which varied by race/ethnicity. In conclusion, although religion is a core aspect of culture that deserves further study as a possible determinant of health care utilization, we were not able to document any consistent pattern of significant association even in a population with high rates of religious participation

Combining left atrial appendage closure and catheter ablation for atrial fibrillation: 2-year outcomes from a multinational registry

AIMS: Clinical practice guidelines do not recommend discontinuation of long-term oral anticoagulation in patients with a high stroke risk after catheter ablation for atrial fibrillation (AF). Left atrial appendage closure (LAAC) with Watchman has emerged as an alternative to long-term anticoagulation for patients accepting of the procedural risks. We report on the long-term outcomes of combining catheter ablation procedures for AF and LAAC from multicentre registries. METHODS AND RESULTS: Data were pooled from two prospective, real-world

Feasibility and acceptability of an acceptance and commitment therapy intervention for caregivers of adults with Alzheimer’s disease and related dementias

Background: Caregivers of patients with Alzheimer's disease or a related dementia (ADRD) report high levels of distress, including symptoms of anxiety and depression, caregiving burden, and existential suffering; however, those with support and healthy coping strategies have less stress and burden. Acceptance and Commitment Therapy (ACT) aims to foster greater acceptance of internal events while promoting actions aligned with personal values to increase psychological flexibility in the face of challenges. The objective of this single-arm pilot, Telephone Acceptance and Commitment Therapy Intervention for Caregivers (TACTICs), was to evaluate the feasibility, acceptability, and preliminary effects of an ACT intervention on ADRD caregiver anxiety, depressive symptoms, burden, caregiver suffering, and psychological flexibility. Methods: ADRD caregivers ≥21 years of age with a Generalized Anxiety Disorder Scale (GAD-7) score ≥ 10 indicative of moderate or higher symptoms of anxiety were enrolled (N = 15). Participants received a telephone-based ACT intervention delivered by a non-licensed, bachelor's-prepared trained interventionist over 6 weekly 1-h sessions that included engaging experiential exercises and metaphors designed to increase psychological flexibility. The following outcome measures were administered at baseline (T1), immediately post-intervention (T2), 3 months post-intervention (T3), and 6 months post-intervention (T4): anxiety symptoms (GAD-7; primary outcome); secondary outcomes of depressive symptoms (Patient Health Questionnaire-9), burden (Zarit Burden Interview), suffering (The Experience of Suffering measure), psychological flexibility/experiential avoidance (Acceptance and Action Questionnaire-II), and coping skills (Brief COPE). Results: All 15 participants completed the study and 93.3% rated their overall satisfaction with their TACTICs experience as "completely satisfied." At T2, caregivers showed large reduction in anxiety symptoms (SRM 1.42, 95% CI [0.87, 1.97], p < 0.001) that were maintained at T3 and T4. At T4, psychological suffering (SRM 0.99, 95% CI [0.41, 1.56], p = 0.0027) and caregiver burden (SRM 0.79, 95% CI [0.21, 1.37], p = 0.0113) also decreased. Conclusions: Despite a small sample size, the 6-session manualized TACTICs program was effective in reducing anxiety, suggesting that non-clinically trained staff may be able to provide an effective therapeutic intervention by phone to maximize intervention scalability and reach

What’s missing from legal geography and materialist studies of law? Absence and the assembling of asylum appeal hearings in Europe

This is the final version. Available on open access from Wiley via the DOI in this recordData availability statement: Due to the ethical and legally sensitive nature of the research, ethnographic notes taken in court could not be made openly available. Appellant interviewees were not asked for their permission to share their interview transcripts in an online open archive because of concerns that they could misunderstand what was being asked for, or feel obliged to agree but subsequently feel less able to conduct free conversation in research interviews as a result, thereby negatively impacting on the quality of the data generated. Additional details relating to, and data resulting from, to a survey taken during observations of British asylum appeals between 2013 and 2016 are available from the UK Data Archive (persistent identifier: 10.5255/UKDA-SN-852032).There is an absence of absence in legal geography and materialist studies of the law. Drawing on a multi‐sited ethnography of European asylum appeal hearings, this paper illustrates the importance of absences for a fully‐fledged materiality of legal events. We show how absent materials impact hearings, that non‐attending participants profoundly influence them, and that even when participants are physically present, they are often simultaneously absent in other, psychological registers. In so doing we demonstrate the importance and productivity of thinking not only about law's omnipresence but also the absences that shape the way law is experienced and practiced. We show that attending to the distribution of absence and presence at legal hearings is a way to critically engage with legal performance.Economic and Social Research Council (ESRC)European Research Council (ERC

Genome-wide association and HLA fine-mapping studies identify risk loci and genetic pathways underlying allergic rhinitis

Allergic rhinitis is the most common clinical presentation of allergy, affecting 400 million people worldwide, with increasing incidence in westernized countries1,2. To elucidate the genetic architecture and understand the underlying disease mechanisms, we carried out a meta-analysis of allergic rhinitis in 59,762 cases and 152,358 controls of European ancestry and identified a total of 41 risk loci for allergic rhinitis, including 20 loci not previously associated with allergic rhinitis, which were confirmed in a replication phase of 60,720 cases and 618,527 controls. Functional annotation implicated genes involved in various immune pathways, and fine mapping of the HLA region suggested amino acid variants important for antigen binding. We further performed genome-wide association study (GWAS) analyses of allergic sensitization against inhalant allergens and nonallergic rhinitis, which suggested shared genetic mechanisms across rhinitis-related traits. Future studies of the identified loci and genes might identify novel targets for treatment and prevention of allergic rhinitis