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

Development of Analytical Methods01:21

Development of Analytical Methods

799
An analytical methodology can be divided into four sequential steps: technique, method, procedure, and protocol. A technique is a scientific principle that rationalizes a specific phenomenon through chemical measurements. Adapting a technique for analyzing a sample of interest is termed a method. The procedure outlines the directions for performing the analysis via an analytical method. The protocol is the detailed guidelines on the procedure, which should be strictly followed to obtain the...
799
The Scientific Method01:32

The Scientific Method

250.9K
The scientific method is a detailed, empirical problem-solving process used by biologists and other scientists. This iterative approach involves formulating a question based on observation, developing a testable potential explanation for the observation (called a hypothesis), making and testing predictions based on the hypothesis, and using the findings to create new hypotheses and predictions.
Generally, predictions are tested using carefully-designed experiments. Based on the outcome of these...
250.9K
Indeterminate Structure01:18

Indeterminate Structure

1.0K
Indeterminate structures refer to structures where internal forces and reactions cannot be determined using only the equations of static equilibrium.  Indeterminate structures have more unknown forces and reaction forces than equations of static equilibrium that can be used to determine them. Indeterminate structures are often used in engineering to create complex, efficient, and aesthetically pleasing structures. There are various types of indeterminate structures used in engineering and...
1.0K
Methods of Documentation V: CBE01:23

Methods of Documentation V: CBE

1.1K
Charting by Exception, or CBE, is a method of documentation used in healthcare, particularly in nursing, that focuses on documenting only significant or abnormal findings rather than recording every detail. This approach aims to streamline the documentation process, improve efficiency, and ensure that healthcare providers can quickly identify deviations from normalcy in patient assessments.
In CBE, healthcare professionals establish predefined standards of practice that define what constitutes...
1.1K
Natural and Artificial Concepts01:24

Natural and Artificial Concepts

290
In psychology, concepts can be divided into two categories: natural and artificial. Natural concepts are formed through direct or indirect experiences. For example, consider the concept of snow. If you live in a place with regular snowfall, such as Essex Junction, Vermont, you know snow through direct experiences. You’ve seen it fall, touched it, shoveled it, and played in it. You recognize its texture, appearance, and even its smell. In contrast, if you live on an island like Saint...
290
Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

828
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
828

You might also read

Related Articles

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

Sort by
Same author

Formal methods: practical applications and foundations: Editorial.

Formal methods in system design·2021
Same journal

Preserving provability over GPU program optimizations with annotation-aware transformations.

Formal methods in system design·2025
Same journal

Golem: a flexible and efficient solver for constrained Horn clauses.

Formal methods in system design·2025
Same journal

Predicate abstraction for hyperliveness verification.

Formal methods in system design·2025
Same journal

Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker.

Formal methods in system design·2024
Same journal

Global guidance for local generalization in model checking.

Formal methods in system design·2024
Same journal

Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version).

Formal methods in system design·2024
See all related articles

Related Experiment Video

Updated: Oct 5, 2025

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods
05:34

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods

Published on: June 6, 2025

894

Formal methods: practical applications and foundations: Editorial

Maurice H Ter Beek1, Annabelle McIver2

  • 1ISTI-CNR, Pisa, Italy.

Formal Methods in System Design
|January 31, 2022
PubMed
Summary

No abstract available in PubMed .

More Related Videos

Methods for Presenting Real-world Objects Under Controlled Laboratory Conditions
06:54

Methods for Presenting Real-world Objects Under Controlled Laboratory Conditions

Published on: June 21, 2019

6.0K
A Technical Guide for Performing Spectroscopic Measurements on Metal-Organic Frameworks
10:13

A Technical Guide for Performing Spectroscopic Measurements on Metal-Organic Frameworks

Published on: April 28, 2023

2.6K

Related Experiment Videos

Last Updated: Oct 5, 2025

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods
05:34

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods

Published on: June 6, 2025

894
Methods for Presenting Real-world Objects Under Controlled Laboratory Conditions
06:54

Methods for Presenting Real-world Objects Under Controlled Laboratory Conditions

Published on: June 21, 2019

6.0K
A Technical Guide for Performing Spectroscopic Measurements on Metal-Organic Frameworks
10:13

A Technical Guide for Performing Spectroscopic Measurements on Metal-Organic Frameworks

Published on: April 28, 2023

2.6K