
gamair
 Referenced in 344 articles
[sw11132]
 includes some practical examples illustrating the theory and corresponding exercises. The appendix is devoted...

quantilogram
 Referenced in 25 articles
[sw25152]
 autocorrelations with the corresponding critical value. We provide the distribution theory needed to conduct inference...

TimeDelay System Toolbox
 Referenced in 12 articles
[sw16539]
 direct generalization of the corresponding methods of the theory of ordinary differential equations ... disappear then all algorithms coincide with the corresponding numerical and control algorithms for ODEs...

F5C
 Referenced in 30 articles
[sw35035]
 because they correspond to signatures required for reduction. This paper revisits the theory underlying...

Satallax
 Referenced in 57 articles
[sw06849]
 Satallax is Church’s simple type theory with extensionality and choice operators. The SAT solver ... proof. Satallax generates propositional clauses corresponding to rules of a complete tableau calculus and calls...

alphaCertified
 Referenced in 50 articles
[sw07351]
 program alphaCertified implements algorithms based on αtheory to certify solutions of polynomial systems using ... algorithms that certify whether a given point corresponds to a real solution, and algorithms...

Split Step Explorer
 Referenced in 15 articles
[sw24413]
 Bulkedge correspondence of onedimensional quantum walks. We outline a theory of symmetry protected ... left indices no longer cancel, so the theory predicts bound states ... rigorous statement of bulkedge correspondence. The results also apply to the Hamiltonian case with...

TSAT++
 Referenced in 3 articles
[sw21350]
 checkers for different theories (or combinations of theories), to be plugged ... modules used (and of the corresponding theory). Some experimental results are presented, showing that TSAT...

RZ
 Referenced in 6 articles
[sw08944]
 interfaces for the data structure corresponding to a mathematical theory. Our tool, called RZ, serves...

XDuce
 Referenced in 54 articles
[sw12436]
 types (socalled regular expression types) directly correspond to document schemas. XDuce also provides ... features, describe its foundations in the theory of regular tree automata, and present a complete...

UCLID
 Referenced in 25 articles
[sw04657]
 verifier, for termlevel bounded model checking, correspondence checking, deductive verification, and predicate abstractionbased ... standalone decision procedure for the theories of uninterpreted functions and equality, integer linear arithmetic...

OptShrink
 Referenced in 20 articles
[sw33657]
 this estimate by shrinking the singular values corresponding to the Truncated SVD (TSVD ... correct manner as given by random matrix theory. It can be used in the missing...

LPTP
 Referenced in 7 articles
[sw01822]
 firstorder theory that contains induction principles corresponding to the definition of the predicates...

Pyhybridanalysis
 Referenced in 3 articles
[sw14549]
 problem of a formula in the opportune theory. Automata are logicbased and their ... algorithm builds the firstorder formula corresponding to the evolution of the automaton through ... formula belongs to the Tarski’s theory (i.e., is a firstorder formula involving polynomials ... definable in the Tarski’s theory and the corresponding formulae can be obtained from itself...

IPSSIS
 Referenced in 14 articles
[sw07158]
 portfolio theory is that comparisons between portfolios are generally made using two criteria, corresponding...

Ergodic theory
 Referenced in 6 articles
[sw28532]
 ergodic theory), and variations around it such as conservativity of the corresponding skew product...

CLASSgal
 Referenced in 10 articles
[sw41564]
 corresponding correlation function xi(theta,z1,z2) in linear perturbation theory. For Gaussian initial perturbations...

Refprop
 Referenced in 40 articles
[sw24947]
 Rubin equation of state, and an extended corresponding states (ECS) model. Mixture calculations employ ... method, or in some cases the friction theory method...

HiggsSignals
 Referenced in 18 articles
[sw14812]
 measured at a specific hypothetical Higgs mass, corresponding to a tentative Higgs signal. Second ... comparing the signal rate measurement to the theory prediction at the Higgs mass predicted...

FuzzME
 Referenced in 3 articles
[sw00312]
 fuzzy models fully corresponds with the paradigm of the fuzzy set theory; the evaluations express...