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

2.9K
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...
2.9K
Data Validation01:15

Data Validation

3.3K
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
3.3K
Formal Charges02:42

Formal Charges

41.0K
In some cases, there are seemingly more than one valid Lewis structures for molecules and polyatomic ions. The concept of formal charges can be used to help predict the most appropriate Lewis structure when more than one reasonable structure exists.
41.0K
Design Consideration01:22

Design Consideration

616
Designing a structure involves a series of considerations, primarily the material's ultimate strength, calculated through tests that measure changes under increased force until the material reaches its breaking point or limit. The ultimate load, where the material breaks, is divided by its original cross-sectional area, resulting in the ultimate normal stress or strength. The ultimate shearing stress is another significant factor taken into account.
The factor of safety is another key...
616
Masking and Demasking Agents01:19

Masking and Demasking Agents

3.9K
EDTA titrations may necessitate masking and demasking agents to temporarily protect a particular metal ion in a mixture from the EDTA reaction. These agents facilitate the sequential analysis of the metal ions by forming stable complexes with some—but not all—metal ions during certain steps.
There are many masking agents, such as cyanide, fluoride, triethanolamine, thiourea, and 2,3-bis(sulfanyl)propan-1-ol (formerly 2,3-dimercapto-1-propanol), with the masking agent chosen based on...
3.9K
Curing Methods01:26

Curing Methods

354
Concrete members with a small surface-to-volume ratio are cured by oiling and moistening the forms before casting the concrete member. These forms can be left in place for a prolonged period to prevent moisture loss, and can be wetted if made of a material suitable for wetting. If the forms are removed early, the concrete member is moistened and covered with polythene sheets to maintain moisture. For large horizontal concrete surfaces exposed to dry weather, a temporary covering is suspended...
354

You might also read

Related Articles

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

Sort by
Same author

Are hospital environments an underestimated source for Gram-negative infections in critically ill patients? A non-multi-drug-resistant <i>Klebsiella pneumoniae</i> outbreak in an Irish intensive care unit.

Infection prevention in practice·2026
Same author

Beyond the Needle: Innovative Approaches for Reducing Blood Culture Contamination Rates in the Emergency Department.

Irish medical journal·2025
Same author

Educating Next-Gen Computer Scientists.

Computer·2024
Same author

Differences in antimicrobial susceptibility testing complicating management of IMP carbapenemase-producing Enterobacterales infection.

Journal of global antimicrobial resistance·2021
Same author

Can guidelines for the control of multi-drug-resistant Gram-negative organisms be put into practice? A national survey of guideline compliance and comparison of available guidelines.

The Journal of hospital infection·2019
Same author

Canis Caveat (Beware of the Dog) - Septic Shock Due To Capnocytophaga Canimorsus Contracted From A Dog Bite

Irish medical journal·2018
Same journal

Narrow Spectrum Software Testing Addressing Complexity and Trust.

Computer·2026
Same journal

Input Space Coverage Matters.

Computer·2025
Same journal

Using Smart Homes to Detect and Analyze Health Events.

Computer·2025
Same journal

A Trusted Federated System to Share Granular Data Among Disparate Database Resources.

Computer·2024
Same journal

Combinatorial Methods in Security Testing.

Computer·2024
Same journal

Cybertrust in the IoT Age.

Computer·2024
See all related articles

Related Experiment Video

Updated: Mar 11, 2026

Standardized Method for Measuring Collection Efficiency from Wipe-sampling of Trace Explosives
07:22

Standardized Method for Measuring Collection Efficiency from Wipe-sampling of Trace Explosives

Published on: April 10, 2017

10.0K

Whatever Happened to Formal Methods for Security?

J Voas, K Schaffer

    Computer
    |November 29, 2016
    PubMed
    Summary
    This summary is machine-generated.

    Formal methods (FM) are explored for relevance in modern cybersecurity. Experts discuss their application to security-centric, cyber problems amidst increasing data breaches and privacy loss.

    More Related Videos

    Design and Analysis for Fall Detection System Simplification
    08:05

    Design and Analysis for Fall Detection System Simplification

    Published on: April 6, 2020

    11.2K
    Data Acquisition Protocol for Determining Embedded Sensitivity Functions
    07:46

    Data Acquisition Protocol for Determining Embedded Sensitivity Functions

    Published on: April 20, 2016

    6.5K

    Related Experiment Videos

    Last Updated: Mar 11, 2026

    Standardized Method for Measuring Collection Efficiency from Wipe-sampling of Trace Explosives
    07:22

    Standardized Method for Measuring Collection Efficiency from Wipe-sampling of Trace Explosives

    Published on: April 10, 2017

    10.0K
    Design and Analysis for Fall Detection System Simplification
    08:05

    Design and Analysis for Fall Detection System Simplification

    Published on: April 6, 2020

    11.2K
    Data Acquisition Protocol for Determining Embedded Sensitivity Functions
    07:46

    Data Acquisition Protocol for Determining Embedded Sensitivity Functions

    Published on: April 20, 2016

    6.5K

    Area of Science:

    • Computer Science
    • Cybersecurity
    • Formal Methods

    Background:

    • The increasing prevalence of malware, data breaches, and privacy loss raises questions about software security.
    • Tony Hoare's 1996 paper questioned software reliability without formal proof.
    • The study investigates the current state and relevance of formal methods in addressing contemporary cybersecurity challenges.

    Purpose of the Study:

    • To assess the recent application of formal methods (FM) to security-centric cyber problems.
    • To determine if FM, successful in safety-critical systems, is applicable to the "build it, hack it, patch it" development model.
    • To gather expert insights on the enduring relevance of FM in cybersecurity.

    Main Methods:

    • A panel of seven experts in formal methods and cybersecurity was convened.
    • Seven targeted questions were posed to the experts regarding the application of FM to cyber problems.
    • Expert responses were collected and analyzed for insights and trends.

    Main Results:

    • Experts provided unique personal insights into the application of FM in cybersecurity.
    • The study explored the perceived gap between the reliability achieved through formal proof and current insecurity.
    • Expert opinions were gathered on the suitability of FM for "build it, hack it, patch it" environments.

    Conclusions:

    • Formal methods remain a relevant, albeit complex, area for enhancing cybersecurity.
    • The "build it, hack it, patch it" paradigm presents challenges for traditional FM application.
    • Expert consensus suggests a continued need for rigorous methods in software security.