
LSQR
 Referenced in 394 articles
[sw00530]
 Golub and Kahan. It is analytically equivalent to the standard method of conjugate gradients...

Rcpp
 Referenced in 273 articles
[sw08385]
 much nicer to use than the equivalent lowlevel loop code. The ”Rcppsugar” vignette...

tn
 Referenced in 140 articles
[sw05140]
 minimization problems. It is shown how the equivalent Lanczos characterization of the linear conjugategradient...

pcalg
 Referenced in 90 articles
[sw06072]
 algorithm , Standard and robust estimation of the equivalence class of a Directed Acyclic Graph ... Algorithm. The equivalence class is represented by its (unique) Completete Partially Directed Acyclic Graph (CPDAG...

Anderson
 Referenced in 89 articles
[sw15192]
 problems, Anderson acceleration without truncation is “essentially equivalent” in a certain sense to the generalized ... Fang–Saad Anderson family is similarly essentially equivalent to the Arnoldi (full orthogonalization) method...

Gringo
 Referenced in 108 articles
[sw04630]
 translating logic programs provided by users into equivalent propositional logic programs. The answer sets...

Nominal Isabelle
 Referenced in 74 articles
[sw12055]
 General bindings and alphaequivalence in Nominal Isabelle. Nominal Isabelle is a definitional extension ... extension includes new definitions of αequivalence and establishes automatically the reasoning infrastructure...

Cmodels
 Referenced in 71 articles
[sw04435]
 called tight, the answer set semantics is equivalent to the completion semantics, so that ... loop formulas of the program are equivalent to the answer sets of th! e program...

KEMDEM
 Referenced in 59 articles
[sw03093]
 main result, this paper also shows several equivalence results: UC KEM, INDCCA2 ... CCA2 (nonmalleable against CCA2) KEM are equivalent ... equivalent...

Reduze
 Referenced in 82 articles
[sw10354]
 based algorithms allow for the identification of equivalent topologies and integrals. Reduze uses GiNaC...

Freshml
 Referenced in 50 articles
[sw08992]
 values of datatypes involving binders are operationally equivalent if and only if they represent ... equivalent pieces of objectlevel syntax. This is established via a novel denotational semantics. FreshML ... dealing with objectlevel syntax modulo aequivalence...

LSMR
 Referenced in 72 articles
[sw12940]
 GolubKahan bidiagonalization process. It is analytically equivalent to the MINRES method applied...

Piccolo
 Referenced in 50 articles
[sw13242]
 mode are only 683 and 758 gate equivalents, respectively. Moreover, Piccolo requires only 60 additional ... gate equivalents to support the decryption function due to its involution structure. Furthermore, its efficiency...

HandTill2001
 Referenced in 69 articles
[sw11200]
 area under the ROC curve, or the equivalent Gini index, is a widely used measure...

SimpleMKL
 Referenced in 67 articles
[sw12290]
 showing that the two approaches are equivalent. We show how SimpleMKL can be applied beyond...

Algorithm 919
 Referenced in 66 articles
[sw07350]
 equations (ODEs) with polynomial inhomogeneity. This is equivalent to computing the action of a certain...

VeriFast
 Referenced in 64 articles
[sw07705]
 functions enable inductive proofs of memory representation equivalences and facts about the primitive recursive functions...

DeepWalk
 Referenced in 63 articles
[sw39604]
 latent representations by treating walks as the equivalent of sentences. We demonstrate DeepWalk’s latent...

Pseudo Hoops
 Referenced in 42 articles
[sw29253]
 pseudohoops. Bounded Wajsberg pseudohoops are equivalent to pseudoWajsberg algebras and bounded basic ... pseudohoops are equivalent to pseudoBL algebras. Some examples of pseudohoops are given...

kappalab
 Referenced in 50 articles
[sw06086]
 known Moebius transform, as well as other equivalent representations of set functions can also...