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

Accuracy, limits, and approximation01:28

Accuracy, limits, and approximation

569
Accuracy, limits, and approximations are common in many fields, especially in engineering calculations. These concepts are imperative for ensuring that a given value is as close as possible to its true value.
Accuracy is defined as the closeness of the measured value to the true or actual value. In engineering mechanics, repeated measurements are taken during theoretical or experimental analyses to ensure that the result is precise and accurate.
The accuracy of any solution is based on the...
569
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

109
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...
109
Propagation of Uncertainty from Systematic Error01:10

Propagation of Uncertainty from Systematic Error

947
The atomic mass of an element varies due to the relative ratio of its isotopes. A sample's relative proportion of oxygen isotopes influences its average atomic mass. For instance, if we were to measure the atomic mass of oxygen from a sample, the mass would be a weighted average of the isotopic masses of oxygen in that sample. Since a single sample is not likely to perfectly reflect the true atomic mass of oxygen for all the molecules of oxygen on Earth, the mass we obtain from this...
947
Accuracy and Errors in Hypothesis Testing01:13

Accuracy and Errors in Hypothesis Testing

347
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%...
347
Linear Approximation in Time Domain01:21

Linear Approximation in Time Domain

132
Nonlinear systems often require sophisticated approaches for accurate modeling and analysis, with state-space representation being particularly effective. This method is especially useful for systems where variables and parameters vary with time or operating conditions, such as in a simple pendulum or a translational mechanical system with nonlinear springs.
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
132
Linear Approximation in Frequency Domain01:26

Linear Approximation in Frequency Domain

146
Linear systems are characterized by two main properties: superposition and homogeneity. Superposition allows the response to multiple inputs to be the sum of the responses to each individual input. Homogeneity ensures that scaling an input by a scalar results in the response being scaled by the same scalar.
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear....
146

You might also read

Related Articles

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

Sort by
Same author

[Prevalence and prognostic factors for postoperative complications of uvulopalatopharyngoplasty in patients with obstructive sleep apnea hypopnea syndrome].

Lin chuang er bi yan hou tou jing wai ke za zhi = Journal of clinical otorhinolaryngology head and neck surgery·2008
Same author

[Transurethral electrotomy for cystis vesicular seminalis induced by obstruction of the distal end of the ejaculatory duct].

Zhonghua nan ke xue = National journal of andrology·2008
Same author

[Effects of testosterone on the proliferation of rat corpus cavernosum cells in vitro].

Zhonghua nan ke xue = National journal of andrology·2008
Same author

Identification of 4-aminopyrazolylpyrimidines as potent inhibitors of Trk kinases.

Journal of medicinal chemistry·2008
Same author

Increased dialysate levels of phospholipids containing unsaturated fatty acid are associated with increased peritoneal transport rate.

American journal of nephrology·2008
Same author

Stepwise increase in the prevalence of isolated systolic hypertension with the stages of chronic kidney disease.

Nephrology, dialysis, transplantation : official publication of the European Dialysis and Transplant Association - European Renal Association·2008

Related Experiment Video

Updated: Sep 27, 2025

Machine Learning Algorithms for Early Detection of Bone Metastases in an Experimental Rat Model
07:15

Machine Learning Algorithms for Early Detection of Bone Metastases in an Experimental Rat Model

Published on: August 16, 2020

7.0K

Guaranteed approximation error estimation of neural networks and model modification.

Yejiang Yang1, Tao Wang1, Jefferson P Woolard2

  • 1National Rail Transit Electrification and Automation Engineering Technique Research Center, School of Electrical Engineering, Southwest Jiaotong University, Chengdu, 610000, China.

Neural Networks : the Official Journal of the International Neural Network Society
|April 8, 2022
PubMed
Summary

This study introduces guaranteed error estimation for neural networks, providing worst-case approximation error bounds. This method enhances system modeling and neural network compression by ensuring reliable performance.

Keywords:
Approximation error estimationFeedforward neural networkLipschitz constantNeural network compressionReachability

Related Experiment Videos

Last Updated: Sep 27, 2025

Machine Learning Algorithms for Early Detection of Bone Metastases in an Experimental Rat Model
07:15

Machine Learning Algorithms for Early Detection of Bone Metastases in an Experimental Rat Model

Published on: August 16, 2020

7.0K

Area of Science:

  • Computer Science
  • Artificial Intelligence
  • Control Theory

Background:

  • Approximation error is crucial for neural network (NN) validation and verification.
  • Current methods lack guaranteed error bounds for complex systems.

Purpose of the Study:

  • To propose a novel concept of guaranteed error estimation for feedforward neural networks.
  • To develop efficient methods for computing worst-case approximation errors.
  • To apply these methods to assured system modeling and NN compression.

Main Methods:

  • Introduced the concept of guaranteed error estimation for feedforward neural networks.
  • Developed two approaches: Lipschitz constant analysis and set-valued reachability analysis.
  • Proposed an optimization for parameter estimation based on the error framework.

Main Results:

  • Efficient computation of upper-bounds for approximation errors.
  • Demonstrated effectiveness through robotic arm and NN compression examples.
  • Established a framework for assured system modeling and NN compression.

Conclusions:

  • The proposed guaranteed error estimation framework provides reliable worst-case error bounds for neural networks.
  • The developed methods are effective for assured system modeling and neural network compression.
  • This approach advances the verification and validation of neural network systems.