
SETHEO
 Referenced in 119 articles
[sw00707]
 module for a reduction of the input formula, the proof procedure is realized...

CDT
 Referenced in 12 articles
[sw00116]
 effectiveness of the implementation derives from reduction procedures and parametric solution of the relaxed problems...

ThreshLab
 Referenced in 15 articles
[sw19223]
 wavelet noise reduction. ThreshLab is a collection of Matlab procedures that runs without any additional...

MONA
 Referenced in 116 articles
[sw06170]
 provides an implementation of automatonbased decision procedures for the logics WS1S and WS2S ... tested over the years, including formula reductions, DAGification, guided tree automata, threevalued logic, eager...

Slothrop
 Referenced in 10 articles
[sw10019]
 KnuthBendix completion procedure is parametrized by a reduction ordering used to ensure termination ... resulting rewriting systems. While in principle any reduction ordering can be used, modern completion tools ... which completion can possibly yield a decision procedure are limited to those that...

ORIOGEN
 Referenced in 14 articles
[sw07654]
 proposed algorithm results in a substantial reduction in the number of bootstrap samples. Based ... procedure, the standard FDR methodology which was the proposed methodology achieved a very substantial reduction ... number of bootstraps as the conventional BH procedure. Thus, if the conventional BH procedure used...

ELAN
 Referenced in 108 articles
[sw02179]
 logic programming languages, constraints solvers and decision procedures and to offer a modular framework ... existing rewritingbased languages where the term reduction strategy is hardwired and not accessible...

Koblitz curves
 Referenced in 1 article
[sw29876]
 order to achieve a fast reduction procedure, we adopted a redundant trinomial strategy that embeds...

IHEAT
 Referenced in 2 articles
[sw15341]
 which is used for the efficient data reduction and analysis of the phosphor image data ... systems. A discussion of the calibration procedures, data reduction and data analysis is given. Estimates...

SOCRATES
 Referenced in 10 articles
[sw10073]
 backtrace procedures are described. The application of these techniques leads to a considerable reduction...

MRC
 Referenced in 4 articles
[sw30136]
 procedures we used to implement in a first step the concept of prefix reduction...

JAMOOS
 Referenced in 1 article
[sw02520]
 notions of object creation, procedure call and reduction of rules in an attribute contextfree...

PMTBR
 Referenced in 17 articles
[sw02086]
 family of approximate principalcomponentslike reduction algorithms We present a family of algorithms that ... possess simple error estimation and order control procedures. By tailoring the method to take into...

Janet
 Referenced in 32 articles
[sw07776]
 partial differential equations can be computed. Some procedures translate differential expressions into jet notation ... involutive criteria are implemented to avoid unnecessary reductions during involutive basis computations...

lpc
 Referenced in 5 articles
[sw11217]
 cancer type. We propose a new procedure, called Lassoed Principal Components (LPC), that builds upon ... show that LPC can provide a marked reduction in false discovery rates over the conventional ... real and simulated data. Moreover, this flexible procedure can be applied to a variety...

topopt_multi
 Referenced in 10 articles
[sw25723]
 constrained GinzburgLandau energy functional. The update procedure is based on the gradient flow ... projected steepest descent method to ensure the reduction in the objective functional, simultaneously satisfying...

HPILoT
 Referenced in 6 articles
[sw23305]
 namely for local theory extensions) this hierarchical reduction is sound and complete ... base theory  HPILoT provides a decision procedure for testing satisfiability of ground formulae...

QHOPDM
 Referenced in 5 articles
[sw04335]
 generated by a costeffective sulphur emission reduction model. Success with a reallife model ... quadrature solver. We then extended our LP procedure to the case of convex quadratic objectives.par...

HCmodelSets
 Referenced in 1 article
[sw28001]
 performing the reduction, exploratory and model selection phases of the procedure proposed...

SINDy
 Referenced in 13 articles
[sw30277]
 flow, we combine this approach with dimensionality reduction techniques (e.g. proper orthogonal decomposition) and extend ... models obtained from a standard Galerkin projection procedure. Finally, the entire code base...