
MPI
 Referenced in 515 articles
[sw06496]
 typically derived based on the chain rule of differentiation. Other methods can be derived based...

AdaBoost.MH
 Referenced in 484 articles
[sw08517]
 that the multiplicative weightupdate LittlestoneWarmuth rule can be adapted to this model, yielding...

OPQ
 Referenced in 423 articles
[sw11881]
 GENERATING ORTHOGONAL POLYNOMIALS AND RELATED QUADRATURE RULES...

XFEM
 Referenced in 382 articles
[sw01026]
 subquadrilaterals, independent neartip, and discontinuous quadrature rules); domain integral methods for homogeneous...

OTTER
 Referenced in 316 articles
[sw02904]
 order logic with equality. Otter’s inference rules are based on resolution and paramodulation...

HOL Light
 Referenced in 307 articles
[sw06580]
 system can be extended with new inference rules without compromising soundness. While retaining this reliability...

ISOLATE
 Referenced in 218 articles
[sw07741]
 roots of a univariate polynomial using Descartes’ rule of signs. It follows work of Vincent ... known algorithms based on Descartes’ rule of sign and the bisection strategy in a unified...

ANFIS
 Referenced in 279 articles
[sw08730]
 form of fuzzy ifthen rules) and stipulated inputoutput data pairs. In the simulation...

ETPS
 Referenced in 160 articles
[sw06302]
 student using ETPS issues commands to apply rules of inference in specified ways ... proof and checking that the rules can be used in this way. The program thus ... build new formulas from them. The rules of inference and predefined problems in ETPS ... Kluwer Academic Publishers, 2002. Descriptions of the rules of inference are available online. When...

Netgen
 Referenced in 191 articles
[sw06679]
 advancing front 2D/3Dmesh generator based on abstract rules. The algorithms of the automatic mesh generator ... abstract structure of the element generation rules. Several techniques of mesh optimization are tested...

VAMPIRE
 Referenced in 258 articles
[sw02918]
 superposition for handling equality. The splitting rule and negative equality splitting are simulated...

sysdfod
 Referenced in 177 articles
[sw20916]
 mixed scheme of the trapezoidal (Tustin) rule and the backward difference (Euler) rule...

plfit
 Referenced in 239 articles
[sw23186]
 while in others the power law is ruled...

LERS
 Referenced in 122 articles
[sw08637]
 paper presents the system LERS for rule induction. The system handles inconsistencies in the input ... each concept. Then it induces certain rules and possible rules. The user has the choice ... second case, the system induces all rules, each in the minimal form, that...

ELAN
 Referenced in 108 articles
[sw02179]
 deduction systems in a language based on rules controlled by strategies. Its purpose ... rewriting is inherently nondeterministic since several rules can be applied at different positions ... programmer to specify the control on rules application. This is in contrast to many existing ... choices of elementary strategies that are labelled rules. From these primitives, more complex strategies...

SQPlab
 Referenced in 175 articles
[sw05161]
 iterations required by the method. If the rule above does not apply, a nonlinear interior...

ILUT
 Referenced in 170 articles
[sw08734]
 given direct solver by including a dropoff rule, based on the numerical size...

AIR tools
 Referenced in 92 articles
[sw09203]
 choosing the relaxation parameter and the stopping rule. The relaxation parameter can be fixed ... given test problem. The stopping rules provided are the discrepancy principle, the monotone error rule...

Stratego
 Referenced in 78 articles
[sw01259]
 program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies ... controlling the application of rules, concrete syntax for expressing the patterns of rules ... object language, and dynamic rewrite rules for expressing contextsensitive transformations, thus supporting the development...

ORTHPOL
 Referenced in 82 articles
[sw00659]
 generating orthogonal polynomials and Gauss‐type quadrature rules. A collection of subroutines and examples ... orthogonal polynomials and Gausstype quadrature rules, for which routines are also provided...