• GND.lib

  • Referenced in 7 articles [sw27230]
  • Singular. Also a theorem recalling Greenberg’ strong approximation theorem is presented for one dimensional Cohen...
  • SURF

  • Referenced in 164 articles [sw29761]
  • coined SURF (Speeded Up Robust Features). It approximates or even outperforms previously proposed schemes with ... object recognition application. Both show SURF’s strong performance...
  • FE-gMG

  • Referenced in 8 articles [sw10365]
  • geometric multigrid solvers with strong smoothers based on sparse approximate inverses. We describe ... multiplication by applying strong smoothers. In particular, we employ Sparse Approximate Inverse (SPAI) and Stabilised ... Approximate Inverse (SAINV) techniques. We focus on presenting the numerical efficiency of our smoothers ... code in our benchmarks. In addition, our strong smoothers can deliver a speedup...
  • Poblano

  • Referenced in 9 articles [sw04186]
  • gradient is approximately zero. A line search satisfying the strong Wolfe conditions is used ... quasi-Newton method using BFGS updates to approximate second-order derivative information, and a truncated...
  • Camellia

  • Referenced in 77 articles [sw09731]
  • security. It is confirmed that Camellia provides strong security against differential and linear cryptanalyses. Compared ... encryption and decryption and key schedule, occupies approximately 11K gates, which is the smallest among...
  • QUIC

  • Referenced in 20 articles [sw11795]
  • QUIC: quadratic approximation for sparse inverse covariance estimation. The ℓ 1 -regularized Gaussian maximum likelihood ... estimator (MLE) has been shown to have strong statistical guarantees in recovering a sparse inverse ... Newton’s method and employs a quadratic approximation, but with some modifications that leverage...
  • prefixMatching

  • Referenced in 1 article [sw23320]
  • hard, but provide heuristics yielding strong approximation guarantees. In particular, we give a linear time...
  • SPARSE-QR

  • Referenced in 17 articles [sw05215]
  • method. The accuracy in computed solutions is strongly dependent on a scaling parameter ... compute, and it must therefore be approximated by a simple heuristic. We describe a multifrontal...
  • Autowrite

  • Referenced in 8 articles [sw01282]
  • decidable approximation to neededness Huet and Lévy introduced the subclass of strongly sequential TRSs...
  • SymbMat

  • Referenced in 1 article [sw11187]
  • matter interactions (within the Dipole and Strong Field Approximations and different gauges) using both hydrogenic...
  • Verdict

  • Referenced in 5 articles [sw33483]
  • element, and other types of solvers that approximate the solution to partial differential equations defined ... strongly tied to the accuracy these solvers are able to obtain in their approximations...
  • NAPA

  • Referenced in 8 articles [sw11961]
  • MAPLE package of new Adomian-Padé approximate solution for solving nonlinear problems is presented. This ... more accurate solutions of nonlinear problems with strong nonlinearity. Besides, the package is user-friendly ... then our package will output the analytic approximate solution within a few seconds, where...
  • ProVerif

  • Referenced in 38 articles [sw06558]
  • been obtained thanks to some well-chosen approximations. This means that the verifier can give ... correspondence properties (SAS’03, with Martín Abadi), strong secrecy (the adversary does...
  • HERCULES

  • Referenced in 2 articles [sw25126]
  • most effective numerical approach for strongly stratified flows. However, due to the limitation ... Reynolds number being approximately $10^{5}$. The fundamental characteristics of strongly stratified turbulent flows...
  • Green

  • Referenced in 2 articles [sw29920]
  • changes the approximation decisions and QoS model to provide strong statistical QoS guarantees. To evaluate...
  • CAV

  • Referenced in 11 articles [sw06910]
  • condition for when two pattern sets are strongly (consecutively) Wilf-equivalent. For the implementation ... package can be used to approximate asymptotic constants for single pattern avoidance...
  • PMC

  • Referenced in 1 article [sw21471]
  • shown to give accurate approximations. Algorithms for computing Temporal. Strongly Connected Components (TSCC) of large...
  • ADHO

  • Referenced in 1 article [sw06741]
  • analysis method, a general analytic technique for strongly nonlinear problems, a Maple package of automated ... general, and can automatically deliver the accurate approximations of the frequency ω and the mean ... give accurate approximate expressions even for nonlinear oscillation systems with strong nonlinearity. Besides, the package ... initial conditions, and then gets satisfied analytic approximations in few seconds. Several different types...
  • EoM_main.frm

  • Referenced in 1 article [sw22291]
  • different types of approximations applicable for finite systems with strong coupling as well...
  • PPROJ

  • Referenced in 9 articles [sw21258]
  • separable approximation (SpaRSA) is used to approximately identify active constraints in the polyhedron ... SpaRSA that does not require the strong concavity of the dual to the projection problem...