
TwoCop
 Referenced in 43 articles
[sw12359]
 independent or paired samples. The multiplier central limit theorem is used for calculating pvalues ... Cramérvon 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 3shift 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 typepreserving 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 outofsample extension to novel examples...

TERMINATOR
 Referenced in 3 articles
[sw06692]
 significant in theoretical computer science. Many traditional theoremproving 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, eventtriggered, 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...

ACRITHXSC
 Referenced in 46 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ANSYS
 Referenced in 563 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ARMS
 Referenced in 61 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 191 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...