• MINLPLib

  • Referenced in 96 articles [sw06172]
  • paper describes a new computerized collection of test models for mixed-integer nonlinear programming. Because ... research community as highly relevant algorithmic test models...
  • SATCHMOREBID

  • Referenced in 7 articles [sw06623]
  • introduced as a mechanism to integrate relevancy testing with the model-generation theorem prover SATCHMO ... major drawback of the SATCHMO approach. SATCHMORE relevancy, however, is driven by the entire...
  • OPECgen

  • Referenced in 20 articles [sw13463]
  • applying several methods to generator test problems. Documentation and relevant codes can be found...
  • MIM

  • Referenced in 133 articles [sw26139]
  • continuous variables. Further chapters cover hypothesis testing and model selection. Chapters ... summarizes some recent work on causal inference, relevant when graphical models are given a causal...
  • benchmodred

  • Referenced in 65 articles [sw27644]
  • world examples, which can be used to test and compare numerical methods for model reduction ... describe here the relevant characteristics of the benchmark examples...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • generating unit tests involves two tasks: generating method sequences that build relevant receiver-object states ... generating relevant method arguments. This paper proposes Symstra, a framework that achieves both test generation...
  • Rmtstat

  • Referenced in 6 articles [sw20058]
  • theory. R packge RMTstat: Distributions, Statistics and Tests derived from Random Matrix Theory. Functions ... accuracy and built-in support for relevant statistical tests...
  • numerov

  • Referenced in 30 articles [sw24970]
  • numerical tests using quadruple precision arithmetic on some well-known problems from the relevant literature...
  • NEW9p

  • Referenced in 28 articles [sw24971]
  • numerical tests using quadruple precision arithmetic on some well-known problems from the relevant literature...
  • BRITE

  • Referenced in 34 articles [sw03098]
  • BRITE can be used to study the relevance of possible causes for properties recently observed ... Different combinations of possible causes can be tested. In this version, we consider four...
  • Wilson

  • Referenced in 11 articles [sw23847]
  • down to hadronic scales relevant for low-energy precision tests. The matching and running encompasses...
  • Quiver

  • Referenced in 11 articles [sw13232]
  • exhibiting and testing conjectures. In this compendium, we include the relevant theory to introduce...
  • SRASS

  • Referenced in 12 articles [sw21370]
  • semantic relevance axiom selection system. This paper describes the design, implementation, and testing ... conjecture, ordered heuristically by a syntactic relevance measure. The system is able to solve many...
  • ModuleML

  • Referenced in 1 article [sw16987]
  • implementation of the compiler on relevant test scenarios...
  • MOTE

  • Referenced in 1 article [sw36471]
  • confidence intervals for each effect size, relevant test statistics, and output for reporting...
  • HARMRAD

  • Referenced in 4 articles [sw18313]
  • describe a numerical scheme, tests, and an astrophysically relevant application using the M1 radiation closure...
  • iPPBS-Opt

  • Referenced in 16 articles [sw22428]
  • ensemble voting approach to select the most relevant features; and (3) the stationary wavelet transform ... formulate the statistical samples. Cross-validation tests by targeting the experiment-confirmed results have demonstrated...
  • HypE

  • Referenced in 87 articles [sw19794]
  • This property is of high interest and relevance for problems involving a large number ... respect to the hypervolume—so far, statistical testing has been restricted to scenarios with...
  • Ameva

  • Referenced in 3 articles [sw18798]
  • with one of the most relevant discretization algorithms, CAIM. Tests performed comparing these two algorithms...