• bootstrap

  • Referenced in 1137 articles [sw19105]
  • Introduction to the Bootstrap”. Software (bootstrap, cross-validation, jackknife) and data for the book...
  • INTLAB

  • Referenced in 471 articles [sw04004]
  • Matlab toolbox for reliable computing and self-validating algorithms. It comprises of self-validating methods...
  • XPath

  • Referenced in 375 articles [sw15780]
  • information that becomes available when documents are validated using XML Schema. A backwards compatibility mode...
  • SPASS

  • Referenced in 185 articles [sw04108]
  • beiseite: Proof found. if the formula is valid, SPASS beiseite: Completion found. if the formula ... valid and because validity in first-order logic is undecidable, SPASS may run forever without...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • system produces a verifiable proof, which validates both the clausification phase and the refutation...
  • PMTK

  • Referenced in 236 articles [sw14689]
  • methods from frequentist statistics, such as cross validation, are also supported.) Since December...
  • BVPh

  • Referenced in 204 articles [sw06575]
  • applications. Part III shows the validity of the HAM for nonlinear PDEs, such...
  • Silhouettes

  • Referenced in 198 articles [sw03705]
  • graphical aid to the interpretation and validation of cluster analysis...
  • Graphplan

  • Referenced in 186 articles [sw07746]
  • partial-order plan, or states that no valid plan exists.par We provide empirical evidence...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • used to prove the validity (or, dually, the satisfiability) of first-order formulas ... CVC4 is the fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite...
  • LiE

  • Referenced in 165 articles [sw01075]
  • group theoretical concepts and about currently valid definitions and values. Computer algebra system...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • distributed applications. CESAR allows the progressive validation of the algorithmic description of a system...
  • Control System Toolbox

  • Referenced in 152 articles [sw07643]
  • other interactive and automated techniques. You can validate your design by verifying rise time, overshoot...
  • spatstat

  • Referenced in 142 articles [sw04429]
  • smoothed intensity, relative risk estimation with cross-validated bandwidth selection, mark correlation functions, segregation indices...
  • MINTO

  • Referenced in 135 articles [sw04587]
  • probing; construct feasible solutions generate strong valid inequalities perform variable fixing based on reduced prices...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • entry point (main function) by a valid execution. Verification of safety properties may be reduced...
  • AVISPA

  • Referenced in 87 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and Applications) is a push-button tool ... automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive...
  • Proteus

  • Referenced in 106 articles [sw41563]
  • three-dimensions. This new method has been validated by comparing its results with those from...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1...
  • rms

  • Referenced in 96 articles [sw04532]
  • Regression Modeling Strategies , Regression modeling, testing, estimation, validation, graphics, prediction, and typesetting by storing enhanced...