17 research outputs found
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
Prenatal exposures and exposomics of asthma
This review examines the causal investigation of preclinical development of childhood asthma using exposomic tools. We examine the current state of knowledge regarding early-life exposure to non-biogenic indoor air pollution and the developmental modulation of the immune system. We examine how metabolomics technologies could aid not only in the biomarker identification of a particular asthma phenotype, but also the mechanisms underlying the immunopathologic process. Within such a framework, we propose alternate components of exposomic investigation of asthma in which, the exposome represents a reiterative investigative process of targeted biomarker identification, validation through computational systems biology and physical sampling of environmental medi
Chronic Conditions, Functional Difficulties, and Disease Burden Among American Indian/Alaska Native Children with Special Health Care Needs, 2009–2010
Medical Home Access Among American Indian and Alaska Native Children in 7 States: National Survey of Children’s Health
Household reporting of childhood respiratory health and air pollution in rural Alaska Native communities
Housing Environments and Child Health Conditions Among Recent Mexican Immigrant Families: A Population-Based Study
Parental role models and the decision to become self-employed: The moderating effect of personality
Role model, Self-employment, Personality, Openness, Moderator, Entrepreneurship, C12, L26, M13, R11,