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

Data Validation01:03

Data Validation

6.4K
Data validation is an essential part of a comprehensive assessment. Validation is confirming or verifying and opening the door to gathering more assessment data as it clarifies vague or unclear data. The process of checking and verifying the collected information is called data validation. The primary purpose of data validation is to ensure data is as free from error, bias, and misinterpretation as possible.
Nursing assessment guides are generally based on holistic models rather than medical...
6.4K
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

438
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
438
Cluster Sampling Method01:20

Cluster Sampling Method

11.0K
Appropriate sampling methods ensure that samples are drawn without bias and accurately represent the population. Because measuring the entire population in a study is not practical, researchers use samples to represent the population of interest.
To choose a cluster sample, divide the population into clusters (groups) and then randomly select some of the clusters. All the members from these clusters are in the cluster sample. For example, if you randomly sample four departments from your...
11.0K
Mathematical Modeling: Problem Solving01:29

Mathematical Modeling: Problem Solving

576
Mathematical modeling transforms real-world scenarios into mathematical expressions, allowing for structured problem-solving and analysis. This process involves defining the situation, assigning variables to measurable quantities, selecting an appropriate model, and solving the resulting equation. Such models are invaluable in finance, providing precise methods to evaluate investments, loans, and repayment structures.A widely used example is the calculation of fixed monthly payments on a loan,...
576
Testing a Claim about Standard Deviation01:19

Testing a Claim about Standard Deviation

2.1K
A complete procedure to test a claim about population standard deviation or population variance is explained here.
The hypothesis testing for the claim of population standard deviation (or variance) requires the data and samples to be random and unbiased. The population distribution also must be normal. There is no specific requirement on the sample size as the estimation is based on the chi-square distribution.
As a first step, the hypothesis (null and alternative) concerning the claim about...
2.1K
Accuracy and Errors in Hypothesis Testing01:13

Accuracy and Errors in Hypothesis Testing

716
Hypothesis testing is a fundamental statistical tool that begins with the assumption that the null hypothesis H0 is true. During this process, two types of errors can occur: Type I and Type II. A Type I error refers to the incorrect rejection of a true null hypothesis, while a Type II error involves the failure to reject a false null hypothesis.
In hypothesis testing, the probability of making a Type I error, denoted as α, is commonly set at 0.05. This significance level indicates a 5%...
716

You might also read

Related Articles

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

Sort by
Same author

Efficacy of different nerve block techniques with liposomal bupivacaine for postoperative analgesia in patients undergoing single-port video-assisted thoracoscopic partial lung resection.

Frontiers in medicine·2026
Same author

Microfluidic human liver slices reveal antifibrotic effects of liraglutide via HSC deactivation and ECM remodeling.

Biomedicine & pharmacotherapy = Biomedecine & pharmacotherapie·2026
Same author

[Research on surgical instrument segmentation algorithm based on frequency-domain adaptive feature decomposition and visual Mamba].

Sheng wu yi xue gong cheng xue za zhi = Journal of biomedical engineering = Shengwu yixue gongchengxue zazhi·2026
Same author

Impact of liposomal bupivacaine parasternal block combined with rectus sheath block on postoperative pain in patients undergoing sternotomy for cardiac surgery: a randomized controlled trial.

BMC anesthesiology·2026
Same author

Hepatic Encephalopathy after Transjugular Intrahepatic Portosystemic Shunt Using Dedicated versus Generic Stent-Grafts in Cirrhotic Patients.

Cardiovascular and interventional radiology·2026
Same author

Effects of exergames on depression, anxiety, and sleep in adolescents with subthreshold depression: a randomized controlled trial.

Scientific reports·2026

Related Experiment Video

Updated: May 2, 2026

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry
12:11

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry

Published on: April 8, 2020

9.2K

A formal algorithm for verifying the validity of clustering results based on model checking.

Shaobin Huang1, Yuan Cheng1, Dapeng Lang1

  • 1College of Computer Science and Technology, Harbin Engineering University, Harbin, P. R. China.

Plos One
|March 11, 2014
PubMed
Summary

This study introduces a novel formal method for validating clustering, moving beyond traditional indices. It identifies invalid clustering and pinpoints the specific data objects causing errors.

More Related Videos

Large-scale Reconstructions and Independent, Unbiased Clustering Based on Morphological Metrics to Classify Neurons in Selective Populations
12:27

Large-scale Reconstructions and Independent, Unbiased Clustering Based on Morphological Metrics to Classify Neurons in Selective Populations

Published on: February 15, 2017

6.3K
An R-Based Landscape Validation of a Competing Risk Model
05:37

An R-Based Landscape Validation of a Competing Risk Model

Published on: September 16, 2022

2.3K

Related Experiment Videos

Last Updated: May 2, 2026

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry
12:11

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry

Published on: April 8, 2020

9.2K
Large-scale Reconstructions and Independent, Unbiased Clustering Based on Morphological Metrics to Classify Neurons in Selective Populations
12:27

Large-scale Reconstructions and Independent, Unbiased Clustering Based on Morphological Metrics to Classify Neurons in Selective Populations

Published on: February 15, 2017

6.3K
An R-Based Landscape Validation of a Competing Risk Model
05:37

An R-Based Landscape Validation of a Competing Risk Model

Published on: September 16, 2022

2.3K

Area of Science:

  • Computer Science
  • Data Mining
  • Formal Methods

Background:

  • Traditional clustering validity relies on evaluation indices and results, posing limitations.
  • A need exists for more robust methods to assess clustering accuracy and identify sources of error.

Purpose of the Study:

  • To develop and validate a formal method for analyzing crisp clustering validity.
  • To bridge the gap between clustering analysis and formal verification techniques.

Main Methods:

  • Modeling clustering processes using program graphs and transition systems.
  • Recasting clustering validity analysis as a model checking problem.
  • Defining properties for valid clustering processes.

Main Results:

  • The proposed formal method effectively determines clustering validity.
  • Unlike traditional indices, this method can identify specific objects causing invalid clustering.
  • Experimental results demonstrate the algorithm's effectiveness and suitability across datasets.

Conclusions:

  • Formal methods, specifically model checking, offer a powerful approach to clustering validity.
  • This technique enhances the interpretability of clustering results by pinpointing errors.
  • The study provides a more rigorous framework for evaluating and improving clustering algorithms.