Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

ECG Interpretation of Arrhythmias I: Sinus Arrhythmias01:16

ECG Interpretation of Arrhythmias I: Sinus Arrhythmias

826
Arrhythmias are disturbances in the heart's rhythm that lead to abnormal heartbeats. These irregularities can originate from different parts of the heart and are classified based on their origin and nature.
Types of Arrhythmias
Sinus Node Arrhythmias
Sinus Bradycardia: Originating from the sinoatrial (SA) node, sinus bradycardia involves slower impulses, resulting in a heart rate of less than 60 beats per minute (bpm). Causes include sleep, vagal stimulation, beta-blockers, hypothyroidism,...
826
ECG Interpretation of Arrhythmias II: Atrial, Junctional and Ventricular Arrhythmias01:25

ECG Interpretation of Arrhythmias II: Atrial, Junctional and Ventricular Arrhythmias

553
Arrhythmia is a condition characterized by an irregular heart rhythm, with ECG changes that differ based on its origin and nature. The types of arrhythmias discussed below include atrial, junctional, and ventricular arrhythmias.Atrial ArrhythmiasPremature Atrial Complexes (PACs): PACs are early atrial beats caused by stress, caffeine, alcohol, electrolyte imbalances, hypoxia, hyperthyroidism, or certain medications (e.g., bronchodilators and decongestants). The ECG shows early P waves with an...
553
Mechanism of Cardiac Arrhythmias01:28

Mechanism of Cardiac Arrhythmias

1.9K
Arrhythmias are irregular heart rhythms occurring when the heart's electrical impulses become abnormal. These disturbances can lead to various symptoms, depending on their severity and the underlying cause. Some common factors contributing to arrhythmias include hypoxia, ischemia, electrolyte imbalances, excessive catecholamine exposure, drug toxicity, and muscle overstretching. Arrhythmias can be classified into two main types based on the rate and site of origin of abnormal heart rhythms.
1.9K
What is Gene Expression?01:42

What is Gene Expression?

196.7K
Overview
Gene expression is the process in which DNA directs the synthesis of functional products, that is, proteins. Cells can regulate gene expression at various stages. It allows organisms to generate different cell types and enables cells to adapt to internal and external factors.
Genetic Information Flows from DNA to RNA to Protein
A gene is a stretch of DNA that serves as the blueprint for functional RNAs and proteins. Since DNA is made up of nucleotides and proteins consist of amino...
196.7K
What is Gene Expression?01:36

What is Gene Expression?

11.4K
A gene is a stretch of DNA that serves as the blueprint for functional RNAs and proteins. Since DNA is comprised  of nucleotides and proteins are comprised of amino acids, a mediator is required to convert the information encoded in DNA into proteins. This mediator is the messenger RNA (mRNA). mRNA copies the blueprint from DNA by a process called transcription. In eukaryotes, transcription occurs in the nucleus by complementary base-pairing with the DNA template. The mRNA is then...
11.4K
Quantitative Analysis01:12

Quantitative Analysis

1.4K
Quantitative analysis is a technique for measuring the amount of specific constituents in a sample. When the sample's composition is unknown, qualitative analysis is performed first to identify its components, which ensures that the correct substances are measured during the quantitative phase.
In quantitative analysis, two key measurements are made: the sample quantity and a property proportional to the amount of the analyte (the substance being analyzed). This forms the basis of the...
1.4K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Multi-structure segmentation in CBCT volumes: The ToothFairy2 challenge.

Medical image analysis·2026
Same author

Automated Immunophenotyping Assessment for Diagnosing Childhood Acute Leukemia using Set-Transformers.

Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference·2025
Same author

HPRS: hierarchical potential-based reward shaping from task specifications.

Frontiers in robotics and AI·2025
Same author

The impact of multicentric datasets for the automated tumor delineation in primary prostate cancer using convolutional neural networks on <sup>18</sup>F-PSMA-1007 PET.

Radiation oncology (London, England)·2024
Same author

The probabilistic termination tool amber.

Formal methods in system design·2023
Same author

Deep learning based automated delineation of the intraprostatic gross tumour volume in PSMA-PET for patients with primary prostate cancer.

Radiotherapy and oncology : journal of the European Society for Therapeutic Radiology and Oncology·2023
Same journal

circ2DGNN: circRNA-Disease Association Prediction via Transformer-Based Graph Neural Network.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

Hierarchical Hypergraph Learning in Association- Weighted Heterogeneous Network for miRNA- Disease Association Identification.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

Discriminative Domain Adaption Network for Simultaneously Removing Batch Effects and Annotating Cell Types in Single-Cell RNA-Seq.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

MLW-BFECF: A Multi-Weighted Dynamic Cascade Forest Based on Bilinear Feature Extraction for Predicting the Stage of Kidney Renal Clear Cell Carcinoma on Multi-Modal Gene Data.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

An End-to-End Knowledge Graph Fused Graph Neural Network for Accurate Protein-Protein Interactions Prediction.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

Generative Biomedical Event Extraction With Constrained Decoding Strategy.

IEEE/ACM transactions on computational biology and bioinformatics·2024
See all related articles

Related Experiment Video

Updated: Feb 1, 2026

Analyzing Long-Term Electrocardiography Recordings to Detect Arrhythmias in Mice
06:07

Analyzing Long-Term Electrocardiography Recordings to Detect Arrhythmias in Mice

Published on: May 23, 2021

4.4K

Quantitative Regular Expressions for Arrhythmia Detection.

Houssam Abbas, Alena Rodionova, Konstantinos Mamouras

    IEEE/ACM Transactions on Computational Biology and Bioinformatics
    |December 12, 2018
    PubMed
    Summary
    This summary is machine-generated.

    Quantitative Regular Expressions (QREs) offer a formal method for specifying and analyzing algorithms in implantable cardioverter defibrillators. This approach ensures algorithm correctness and performance while meeting device constraints.

    More Related Videos

    Viral Transgene Expression in Rodent Hearts and the Assessment of Cardiac Arrhythmia Risk
    05:15

    Viral Transgene Expression in Rodent Hearts and the Assessment of Cardiac Arrhythmia Risk

    Published on: July 27, 2022

    2.1K
    Detection of microRNA Expression in Peritoneal Membrane of Rats Using Quantitative Real-time PCR
    08:56

    Detection of microRNA Expression in Peritoneal Membrane of Rats Using Quantitative Real-time PCR

    Published on: June 27, 2017

    8.3K

    Related Experiment Videos

    Last Updated: Feb 1, 2026

    Analyzing Long-Term Electrocardiography Recordings to Detect Arrhythmias in Mice
    06:07

    Analyzing Long-Term Electrocardiography Recordings to Detect Arrhythmias in Mice

    Published on: May 23, 2021

    4.4K
    Viral Transgene Expression in Rodent Hearts and the Assessment of Cardiac Arrhythmia Risk
    05:15

    Viral Transgene Expression in Rodent Hearts and the Assessment of Cardiac Arrhythmia Risk

    Published on: July 27, 2022

    2.1K
    Detection of microRNA Expression in Peritoneal Membrane of Rats Using Quantitative Real-time PCR
    08:56

    Detection of microRNA Expression in Peritoneal Membrane of Rats Using Quantitative Real-time PCR

    Published on: June 27, 2017

    8.3K

    Area of Science:

    • Computer Science
    • Biomedical Engineering
    • Formal Methods

    Background:

    • Implantable medical devices, like cardioverter defibrillators, are safety-critical and require algorithms with strict performance constraints.
    • Arrhythmia detection algorithms in these devices must accurately distinguish fatal from non-fatal arrhythmias.

    Purpose of the Study:

    • To introduce Quantitative Regular Expressions (QREs) as a formal language for specifying and analyzing algorithms in implantable cardioverter defibrillators.
    • To demonstrate the suitability of QREs for expressing peak detection and discrimination algorithms more effectively than traditional temporal logics.

    Main Methods:

    • Specification of arrhythmia detection algorithms, including peak detectors (time and wavelet domains) and discriminators, using QREs.
    • Formal analysis and rigorous testing of algorithm correctness and performance using QRE-based monitors.

    Main Results:

    • QREs provide a concise and easy way to express complex algorithms for arrhythmia detection.
    • QRE-based monitors executed on real patient data yielded results comparable to established medical literature findings.
    • The formalization using QREs aids in alleviating the regulatory burden for device developers.

    Conclusions:

    • QREs are a powerful and suitable formal method for developing and verifying algorithms in safety-critical implantable medical devices.
    • This approach enhances the formal analysis, rigorous testing, and regulatory compliance of arrhythmia detection algorithms.