• 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 weight-update Littlestone-Warmuth 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 near-tip, 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 if-then rules) and stipulated input-output 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/3D-mesh 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 non-deterministic 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 context-sensitive 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 Gauss-type quadrature rules, for which routines are also provided...