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

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

437
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...
437
Response Surface Methodology01:16

Response Surface Methodology

887
Response Surface Methodology (RSM) is a collection of statistical and mathematical techniques used to develop, improve, and optimize processes. It is particularly valuable when many input variables or factors potentially influence a response variable.
The process of RSM involves several key steps:
887
Typical Model Studies01:30

Typical Model Studies

781
Fluid mechanics model studies often utilize scaled-down systems to predict fluid behavior in full-scale environments, such as river flows, dam spillways, and structures interacting with open surfaces. Maintaining Froude number similarity in river models is crucial, as it replicates surface flow features like wave patterns and velocities.
781
Design Example: Creating a Hydraulic Model of a Dam Spillway01:21

Design Example: Creating a Hydraulic Model of a Dam Spillway

975
Scaled hydraulic models of dam spillways provide a practical way to replicate and study the intricate flow dynamics of these structures. Often built to a 1:15 ratio, these models allow for observing critical water behavior, such as velocity distribution, flow patterns, and energy dissipation.
975
Design Example: Analyzing Capacity Contours for Flood Risk Assessment01:17

Design Example: Analyzing Capacity Contours for Flood Risk Assessment

390
Flood risk assessment involves careful planning and analysis to ensure the safety of communities near water retention structures. Capacity contours are a vital tool in this process, as they illustrate the potential spread of water at specific levels in a given area. In the context of building a bund across a small valley, these contours play a critical role in evaluating the safety of nearby residential areas.In this example, the bund is intended to store stormwater in the valley. The engineers...
390
Mathematical Modeling: Problem Solving01:29

Mathematical Modeling: Problem Solving

567
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,...
567

You might also read

Related Articles

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

Sort by
Same author

Comparative proteome and transcriptome analyses of embryonic stem cells during embryoid body-based differentiation.

Proteomics·2009
See all related articles

Related Experiment Video

Updated: Jul 24, 2026

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

Automating risk analysis of software design models.

Maxime Frydman1, Guifré Ruiz2, Elisa Heymann1

  • 1Computer Architecture and Operating Systems Department, Universitat Autónoma de Barcelona, Campus UAB, Edifici Q, Bellaterra, 08193 Barcelona, Spain.

Thescientificworldjournal
|August 20, 2014
PubMed
Summary

Automating threat modeling reduces reliance on security experts, making secure software development more accessible and affordable. The AutSEC model uses identification and mitigation trees to streamline threat analysis and risk management.

Related Experiment Videos

Last Updated: Jul 24, 2026

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

Area of Science:

  • Computer Science
  • Software Engineering
  • Cybersecurity

Background:

  • The increasing prevalence of internet and networked systems has led to a rise in software security threats.
  • Traditional secure development methodologies often require costly human expertise for risk analysis, hindering accessibility.

Purpose of the Study:

  • To present an automated threat modeling approach, AutSEC, to reduce the dependency on security experts.
  • To make secure software development more accessible and cost-effective for non-security-aware developers.

Main Methods:

  • Introduction of two data structures: identification trees and mitigation trees.
  • Development of the AutSEC model for automated threat modeling, considering specification requirements and cost.
  • Implementation of AutSEC in a tool utilizing data flow diagrams.

Main Results:

  • AutSEC successfully automates threat identification and suggests mitigation techniques.
  • The model was validated by applying it to VOMS, a grid middleware component.
  • The approach demonstrated potential in reducing the cost and complexity of secure development.

Conclusions:

  • Automated threat modeling can significantly lower the barrier to entry for secure software development.
  • AutSEC offers a viable solution for integrating security practices without extensive expert involvement.
  • The developed model enhances the accessibility and affordability of secure development methodologies.