• INTLAB

  • Referenced in 409 articles [sw04004]
  • validating algorithms. It comprises of self-validating methods for dense linear systems (also inner inclusions...
  • PMTK

  • Referenced in 151 articles [sw14689]
  • logo). (Some methods from frequentist statistics, such as cross validation, are also supported.) Since December...
  • ProB

  • Referenced in 60 articles [sw07084]
  • toolset for the B method. We present ProB, a validation toolset for the B method...
  • CAPUSHE

  • Referenced in 44 articles [sw13365]
  • have proposed a promising data-driven method to calibrate such criteria whose penalties are known ... slope heuristics”. Theoretical works validate this heuristic method in some situations and several papers report...
  • DiceKriging

  • Referenced in 61 articles [sw07783]
  • package DiceKriging: Kriging methods for computer experiments. Estimation, validation and prediction of kriging models. Important...
  • Control System Toolbox

  • Referenced in 135 articles [sw07643]
  • locus method, LQR/LQG design, and other interactive and automated techniques. You can validate your design...
  • SWASHES

  • Referenced in 29 articles [sw15623]
  • find an adaptable benchmark library to validate numerical methods. The SWASHES software can be downloaded...
  • penalized

  • Referenced in 24 articles [sw06071]
  • model evaluation, cross-validation is a frequently used resampling method. Unfortunately, this method ... with a ridge penalty term. Our approximation method is based on a Taylor expansion around ... full model. In this way, all cross-validated estimates are approximated without refitting the model ... time. The method is most accurate when approximating leave-one-out cross-validation results...
  • GEOCLAW

  • Referenced in 29 articles [sw08626]
  • volume methods and block-structured dynamic adaptive mesh refinement (AMR), is described and validated ... allows the use of accurate and stable methods developed for solving general hyperbolic problems ... well-balanced methods, are presented. The algorithms are validated by simulating the Malpasset dam-break ... fitted meshes) are shown for comparison. The methods are implemented in GEOCLAW, a subset...
  • GAP

  • Referenced in 17 articles [sw26294]
  • Various matrix permutation algorithms and clustering methods with validation indices are implemented for extracting embedded ... more powerful and effective than conventional graphical methods when dimension reduction techniques fail or when...
  • FELSOS

  • Referenced in 21 articles [sw18095]
  • temporal discretization and the level-set method for interface representation. We show that the finite ... Taylor instability are presented to validate the computational method...
  • RegEM

  • Referenced in 15 articles [sw04943]
  • regularized EM algorithm, a regularized estimation method replaces the conditional maximum likelihood estimation of regression ... ridge regression with generalized cross-validation as regularized estimation methods. The implementation of the regularized ... generalized cross-validation) can be exchanged for other regularization methods and other methods of determiningca ... Matlab modules implementing a collection of regularization methods that can be adapted to fit into...
  • SSVM

  • Referenced in 59 articles [sw12678]
  • smooth support vector machine for classification. Smoothing methods, extensively used for solving important mathematical programming ... cross validation correctness of SSVM was the highest compared with four other methods as well...
  • ValEncIA

  • Referenced in 18 articles [sw08735]
  • Comparison with Other Initial Value Problem Solvers. Validated integration of ordinary differential equations with uncertain ... uncertainties are known, interval methods can be applied to obtain validated enclosures of all states ... paper, the recently developed validated solver ValEncIA-IVP and several methods implemented there for reduction ... VNODE, two of the most well- known validated ODE solvers, is presented. Simulation results...
  • spatstat

  • Referenced in 122 articles [sw04429]
  • spatial windows, pixel images and tessellations. Exploratory methods include K-functions, nearest neighbour distance ... smoothed intensity, relative risk estimation with cross-validated bandwidth selection, mark correlation functions, segregation indices...
  • fpc

  • Referenced in 22 articles [sw07105]
  • procedures for clustering. Various methods for clustering and cluster validation. Fixed point clustering. Linear regression ... visualisation of the separation of groupings. Cluster validation statistics for distance based clustering including corrected ... Rand index. Cluster-wise cluster stability assessment. Methods for estimation of the number of clusters...
  • DIP

  • Referenced in 17 articles [sw09870]
  • specify customizations, such as methods for generating valid inequalities and branching, in terms...
  • GeneScout

  • Referenced in 7 articles [sw31815]
  • evaluated using the 10-way cross-validation method. Experimental results show that the proposed system...
  • ValEncIA-IVP

  • Referenced in 27 articles [sw04846]
  • paper, the recently developed validated solver VALENCIA-IVP and several methods implemented there for reduction ... VNODE, two of the most well- known validated ODE solvers, is presented. Simulation re- sults...
  • ROCR

  • Referenced in 40 articles [sw04551]
  • different cross-validation or bootstrapping runs can be averaged by different methods, and standard deviations...