
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...

FEgMG
 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 ... quasiNewton method using BFGS updates to approximate secondorder 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...

SPARSEQR
 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 AdomianPadé approximate solution for solving nonlinear problems is presented. This ... more accurate solutions of nonlinear problems with strong nonlinearity. Besides, the package is userfriendly ... 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 wellchosen 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) Wilfequivalent. 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...