Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Microbial Phylogeny

Microbial Phylogeny

Understanding the evolutionary relationships among microorganisms is fundamental to microbial ecology and taxonomy. Phylogenetic trees are essential tools for inferring these relationships, relying primarily on comparative analyses of molecular sequences such as DNA, RNA, or proteins. In microbial studies, these trees typically depict the evolutionary paths of diverse bacterial and archaeal species by mapping genetic differences accumulated over time.Phylogenetic trees are composed of tips,...

Phylogenetic Trees

Phylogenetic Trees

Phylogenetic trees come in many forms. It matters in which sequence the organisms are arranged from the bottom to the top of the tree, but the branches can rotate at their nodes without altering the information. The lines connecting individual nodes can be straight, angled, or even curved.

Phylogenetic Trees

Phylogenetic Trees

Phylogeny

Phylogeny

Phylogeny is concerned with the evolutionary diversification of organisms or groups of organisms. A group of organisms with a name is called a taxon (singular). Taxa (plural) can span different levels of the evolutionary hierarchy. For instance, the group containing all birds is a taxon (comprising the class Aves), and the group of all species of daisies (the genus Bellis) is a taxon. Phylogenies can likewise include just one genus (i.e., depict species relationships) or span an entire kingdom.

Evolutionary Relationships through Genome Comparisons

Evolutionary Relationships through Genome Comparisons

Genome comparison is one of the excellent ways to interpret the evolutionary relationships between organisms. The basic principle of genome comparison is that if two species share a common feature, it is likely encoded by the DNA sequence conserved between both species. The advent of genome sequencing technologies in the late 20th century enabled scientists to understand the concept of conservation of domains between species and helped them to deduce evolutionary relationships across diverse...

Mechanistic Models: Overview of Compartment Models

Mechanistic Models: Overview of Compartment Models

Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...

You might also read

Related Articles

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

Sort by

Same author

The DESTINY<sup>+</sup> Dust Analyser - a dust telescope for analysing cosmic dust dynamics and composition.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2024

Same author

Association of lumbar disc degeneration with low back pain in middle age in the Northern Finland Birth Cohort 1966.

BMC musculoskeletal disorders·2022

Same author

Magnetic resonance-guided ablation of liver tumors: A systematic review and pooled analysis.

Journal of cancer research and therapeutics·2020

Same author

A phantom study comparing technical image quality of five breast tomosynthesis systems.

Physica medica : PM : an international journal devoted to the applications of physics to medicine and biology : official journal of the Italian Association of Biomedical Physics (AIFB)·2019

Same author

Role of age and comorbidities in mortality of patients with infective endocarditis.

European journal of internal medicine·2019

Same author

The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate.

Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference·2018

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

Search research articles

Related Experiment Video

Updated: May 4, 2026

A Practical Guide to Phylogenetics for Nonexperts

A Practical Guide to Phylogenetics for Nonexperts

Published on: February 5, 2014

Temporal logics for phylogenetic analysis via model checking.

José Ignacio Requeno¹, Gregorio de Miguel Casado¹, Roberto Blanco¹

¹University of Zaragoza, Zaragoza.

IEEE/ACM Transactions on Computational Biology and Bioinformatics

|December 17, 2013

Summary

This summary is machine-generated.

This study introduces a formal verification framework for phylogenetic analysis, enabling automated checking of evolution trees and biological properties using model checking. This approach facilitates symbolic data manipulation and discovery of new evolutionary insights.

More Related Videos

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Published on: August 14, 2018

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Published on: February 9, 2017

Related Experiment Videos

Last Updated: May 4, 2026

A Practical Guide to Phylogenetics for Nonexperts

A Practical Guide to Phylogenetics for Nonexperts

Published on: February 5, 2014

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Published on: August 14, 2018

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Published on: February 9, 2017

Area of Science:

Computational Biology
Computer Science
Evolutionary Biology

Background:

Phylogenetics requires general-purpose algorithms for studying biological properties.
Formal verification frameworks can streamline research on evolution trees and property specifications.

Purpose of the Study:

To apply model checking, an automated verification technique, to phylogenetic analysis.
To develop a formal framework for symbolic manipulation of biological data and verification of phylogenetic properties.

Main Methods:

Logical modeling of evolution using transition systems.
Specification of phylogenetic properties and trees using temporal logic formulas.
Automated verification of properties using computer tools and a symbolic model verifier.

Main Results:

Development of a formal framework for symbolic manipulation of biological data.
Ability to consider different logical models of evolution.
Specification of complex properties through logical composition and refinement of unfulfilled properties.

Conclusions:

The proposed formal framework is feasible for phylogenetic analysis.
Enables automated verification of evolutionary trees and biological properties.
Facilitates the discovery of new properties and refinement of existing ones in phylogenetics.