• 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 low-level loop code. The ”Rcpp-sugar” vignette...
  • tn

  • Referenced in 140 articles [sw05140]
  • minimization problems. It is shown how the equivalent Lanczos characterization of the linear conjugate-gradient...
  • 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 alpha-equivalence 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...
  • KEM-DEM

  • Referenced in 59 articles [sw03093]
  • main result, this paper also shows several equivalence results: UC KEM, IND-CCA2 ... CCA2 (non-malleable 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 object-level syntax. This is established via a novel denotational semantics. FreshML ... dealing with object-level syntax modulo a-equivalence...
  • LSMR

  • Referenced in 72 articles [sw12940]
  • Golub-Kahan 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]
  • pseudo-hoops. Bounded Wajsberg pseudo-hoops are equivalent to pseudo-Wajsberg algebras and bounded basic ... pseudo-hoops are equivalent to pseudo-BL algebras. Some examples of pseudo-hoops are given...
  • kappalab

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