Quantitative Regular Expressions for Arrhythmia Detection Algorithms

DOI10.1007/978-3-319-67471-1_2zbMath1416.92097arXiv1612.07770OpenAlexW2751570560MaRDI QIDQ5227312

Alena Rodionova, Scott A. Smolka, Ezio Bartocci, Houssam Abbas, Radu Grosu

Publication date: 25 July 2019

Published in: Computational Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.07770

zbMATH Keywords

peak detectionelectrocardiogramsquantitative regular expressionsarrythmia discriminationICDs

Mathematics Subject Classification ID

Biomedical imaging and signal processing (92C55) Pattern recognition, speech recognition (68T10)

Related Items (3)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ Algebraic quantitative semantics for efficient online temporal monitoring

This page was built for publication: Quantitative Regular Expressions for Arrhythmia Detection Algorithms