• 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 automaton-based decision procedures for the logics WS1S and WS2S ... tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager...
  • Slothrop

  • Referenced in 10 articles [sw10019]
  • Knuth-Bendix 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 rewriting-based languages where the term reduction strategy is hard-wired 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 context-free...
  • PMTBR

  • Referenced in 17 articles [sw02086]
  • family of approximate principal-components-like 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 Ginzburg-Landau 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...
  • H-PILoT

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

  • Referenced in 5 articles [sw04335]
  • generated by a cost-effective sulphur emission reduction model. Success with a real-life 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...