• TPTP

  • Referenced in 401 articles [sw04143]
  • problems to existing ATP systems’ formats. General guidelines outlining the requirements for ATP system evaluation...
  • eSTREAM

  • Referenced in 105 articles [sw12699]
  • eSTREAM software testing framework page provides guidelines on how to write and submit optimized code...
  • CSPLib

  • Referenced in 93 articles [sw04150]
  • organised by subject area and problem number guidelines for submitting new problems a paper about...
  • Sat4j

  • Referenced in 86 articles [sw07283]
  • user friendly, and to follow Java design guidelines and code conventions (checked using static analysis...
  • NFFT

  • Referenced in 83 articles [sw07610]
  • variants, as well as a general guideline for using the library. Numerical examples...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • design of the language and provides guidelines for implementations. KLAIM is equipped with a type...
  • NFFT3

  • Referenced in 69 articles [sw12736]
  • variants, as well as a general guideline for using the library. Numerical examples...
  • FDL3DI

  • Referenced in 54 articles [sw24948]
  • differentiation and filtering schemes are examined and guidelines are provided to choose proper filter coefficients...
  • p1afem

  • Referenced in 43 articles [sw08489]
  • general ideas can be understood as a guideline for writing efficient Matlab code...
  • SystemC

  • Referenced in 42 articles [sw07807]
  • concept; Many resource references; Coding styles and guidelines; Over 52 downloadable code examples (over...
  • MXNet

  • Referenced in 36 articles [sw20940]
  • also a collection of blue prints and guidelines for building deep learning systems, and interesting...
  • freqdom.fda

  • Referenced in 30 articles [sw36344]
  • multivariate dynamic principal components implementation, following the guidelines from Hormann, Kidzinski and Hallin (2016), Dynamic...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • check for controllability or generate the operating guideline using the tool Fiona, check for deadlocks...
  • I-TASSER

  • Referenced in 18 articles [sw17207]
  • modeling. This protocol provides new insights and guidelines for designing of online server systems...
  • FAME

  • Referenced in 13 articles [sw03344]
  • flexible appearance modeling environment (FAME). We give guidelines for the use of this research platform...
  • simFrame

  • Referenced in 12 articles [sw08021]
  • quality of developed methods. Usually some guidelines regarding, e.g., simulation designs, contamination, missing data models...
  • EVIM

  • Referenced in 10 articles [sw00255]
  • This paper provides a step-by-step guideline for extreme value analysis in the MATLAB...
  • categorical

  • Referenced in 10 articles [sw13141]
  • estimation. The authors give detailed advice and guidelines on which procedures...
  • HPX

  • Referenced in 10 articles [sw40105]
  • standard, it also adheres to the programming guidelines used by the Boost collection...