• TwoCop

  • Referenced in 46 articles [sw12359]
  • independent or paired samples. The multiplier central limit theorem is used for calculating p-values ... Cramér-von Mises test statistic. Finite sample properties are assessed with Monte Carlo experiments...
  • SHTOOLS

  • Referenced in 2 articles [sw16031]
  • exact quadrature rules using either the sampling theorem of Driscoll and Healy (1994) where data...
  • S2LET

  • Referenced in 2 articles [sw16032]
  • SSHT code built on the MW sampling theorem to perform exact spherical harmonic transforms ... information. S2LET also supports the HEALPix sampling scheme, in which case the transforms...
  • UODV

  • Referenced in 4 articles [sw02422]
  • information of the training samples. Then, a new and generalized theorem on UODV is presented...
  • asympTest

  • Referenced in 1 article [sw19800]
  • central limit theorem. This paper describes an R package implementing large sample tests and confidence ... central limit theorem) for various parameters. The one and two sample mean and variance contexts...
  • DALIA

  • Referenced in 2 articles [sw11426]
  • Complementary sets of integers: a 3-shift theorem”, that appeared in Internat. J. Pure ... short description that also has sample input and output files...
  • BTSystem

  • Referenced in 2 articles [sw17632]
  • associated BTSystem package, (3) updated sample quantum computation algorithms, (4) entanglement studies, including Schmidt decomposition ... quantum discord. Examples of Bell’s theorem and concurrence are also included. This update will...
  • HOL2P

  • Referenced in 4 articles [sw21180]
  • terms with type operators adds genericity to theorems. Type variable quantification can also be expressed.par ... implementation has been used to check some sample derivations...
  • Stuttering Equivalence

  • Referenced in 1 article [sw28575]
  • development relies on the notion of stuttering sampling functions that may skip blocks of identical ... also encode PLTL and prove the theorem due to Peled and Wilke...
  • TS#

  • Referenced in 3 articles [sw14208]
  • offensive features. The proof of our main theorem employs a form of type-preserving compilation ... prototype compiler, a secure runtime, and sample applications for TS#. Our examples illustrate...
  • Manifold Regularization

  • Referenced in 1 article [sw24840]
  • kernel Hilbert spaces to prove new Representer theorems that provide theoretical basis for the algorithms ... approaches) we obtain a natural out-of-sample extension to novel examples...
  • TERMINATOR

  • Referenced in 3 articles [sw06692]
  • significant in theoretical computer science. Many traditional theorem-proving methods for analyzing termination are based ... reals, and hence are computable. Finally, feasible sample points in the process for inferring nontermination...
  • CEASE

  • Referenced in 1 article [sw27639]
  • framework for collaborative, event-triggered, average consensus, sampled data (CEASE) algorithms for undirected networked multi ... optimal design parameters using the Lyapunov stability theorem. The second approach provides a structured tradeoff...
  • DREAM

  • Referenced in 2 articles [sw24746]
  • inference of the model parameters. Bayes theorem states that the posterior probability ... often high dimensional and analytically intractable, and sampling methods are required to approximate the target...
  • ANSYS

  • Referenced in 580 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

  • Referenced in 63 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • ASTA

  • Referenced in 16 articles [sw00051]
  • ASTA is a tool for research in predictions...
  • ASYMPT

  • Referenced in 10 articles [sw00053]
  • A FORTRAN program is presented which calculates asymptotics...
  • ATLAS

  • Referenced in 192 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...