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

FMLtoHOL
 Referenced in 4 articles
[sw21539]
 modeled as natural fragments of classical higherorder 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 (RCDT) for image data ... operations such as translation, scaling, and higherorder 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 highlevel 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, opensource 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 symbolicnumericalgraphical...

LBFGSB
 Referenced in 198 articles
[sw01234]
 Algorithm 778: LBFGSB 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...

SPLUS
 Referenced in 615 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

LBFGS
 Referenced in 805 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

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