• HOSA

  • Referenced in 2 articles [sw21993]
  • defined in terms of the higher-order moments or cumulants of a signal, contain this ... Spectral Analysis (HOSA) Toolbox provides comprehensive higher-order spectral analysis capabilities for signal processing applications ... estimation of cross- and auto-cumulants (including correlations), spectra and olyspectra,bispectrum, and bicoherence...
  • FMLtoHOL

  • Referenced in 4 articles [sw21539]
  • modeled as natural fragments of classical higher-order logic (HOL). The FMLtoHOL tool exploits this ... with respect to constant, varying and cumulative domain semantics. The approach is evaluated in combination...
  • rcdt_ns_classifier

  • Referenced in 1 article [sw40669]
  • makes use of the previously described Radon Cumulative Distribution Transform (R-CDT) for image data ... operations such as translation, scaling, and higher-order transformations are challenging to model in native ... Python code implementing the Radon cumulative distribution transform subspace model for image classification...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • TISEAN

  • Referenced in 170 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • L-BFGS-B

  • Referenced in 198 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • QUADPACK

  • Referenced in 260 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • FoCs -- automatic generation of simulation checkers from formal...
  • WordNet

  • Referenced in 407 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • L-BFGS

  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • CUDA

  • Referenced in 1317 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...