• MiningZinc

  • Referenced in 3 articles [sw19070]
  • solutions for the models. It is solver independent and supports both standard constraint solvers ... into a normalized constraint language (FlatZinc). Rewrite rules are then used to add redundant constraints ... based itemset mining problems in a solver independent way, and its execution mechanism can automatically...
  • KaSim

  • Referenced in 2 articles [sw29287]
  • proportional to the activity of the rule. Rule activities are updated at each step ... bounded by a constant that is independent of the size of the graph...
  • zoverw

  • Referenced in 8 articles [sw25940]
  • with x and y independent standard normal and a, b non-negative constants. It discusses ... taken as normally distributed. A practical rule is developed...
  • ADF95

  • Referenced in 6 articles [sw00017]
  • first derivatives with respect to the independent variables. ADF95 is a software module to facilitate ... class is constructed which applies the chain rule of differentiation to any FORTRAN expression...
  • CODA

  • Referenced in 1 article [sw17374]
  • with environmentally constrained substitution tables and other rule-based filters. FREAD was parameterized and tested ... independent programs and makes a consensus prediction that must pass a set of rule-based...
  • Mason.m

  • Referenced in 1 article [sw32300]
  • Mason.m uses mason’s rule to simplify signal flow graphs. It takes a file describing ... relating a dependent output node to an independent input node. The directory contains a comprehensive ... network file to experiment with. Mason’s rule is traditionally used for control system analysis...
  • ALOHA

  • Referenced in 5 articles [sw02877]
  • Amplitude Subroutines) library corresponding to the Feynman rules of any quantum field theory Lagrangian ... higher orders. The representation is language independent and currently it can output routines in Fortran...
  • Gpos-PLoc

  • Referenced in 11 articles [sw26870]
  • optimized evidence-theoretic K-nearest neighbors rule. As a demonstration, tests were performed on Gram ... both jackknife cross-validation test and independent dataset test, implying that Gpos-PLoc might become...
  • AUTO_DERIV

  • Referenced in 4 articles [sw00057]
  • continuous function with many independent variables. The mathematical function should be expressed ... extensively used to define the differentiation rules. Proper (standard complying) handling of floating-point exceptions...
  • R2SM

  • Referenced in 4 articles [sw11901]
  • automatic dressing procedure to obtain the Feynman Rules from them. The results in more specific ... check on our formulas, the gauge independence of the total Rational contribution...
  • Polar

  • Referenced in 2 articles [sw07906]
  • declarative. Our approach uses a language-independent graph meta-model to represent proof developments ... refactorings, which are written as declarative rewrite rules. Our framework, called Polar, is implemented...
  • Nefrit

  • Referenced in 2 articles [sw04094]
  • from the assumption that evaluation criteria are independent; an overall fuzzy utility is calculated ... fuzzy utility function is set by a rule base and evaluation of alternatives is based...
  • FixSeqMTP

  • Referenced in 1 article [sw17932]
  • procedures are designed for arbitrary dependence and independence. The main functions for each proposed ... results also include the option of decision rules for convenience...
  • ADaM

  • Referenced in 1 article [sw10693]
  • data. It provides classification, clustering and association rule mining methods that are common to many ... toolkit is packaged as a suite of independent components, which are designed to work...
  • PLSAER2D

  • Referenced in 1 article [sw22651]
  • time-integration of the evolution rule. The interest is here given to the discretization errors ... Prager model to handle non-associative rate-independent plasticity problems solved by employing the incremental...
  • PISKaS

  • Referenced in 1 article [sw29283]
  • Simulator. PISKaS is a stochastic simulator for rule-based models written in an expanded version ... defined with an array notation) use an independent core of the computing architecture...
  • CoVisor

  • Referenced in 1 article [sw20024]
  • CoVisor to assemble a collection of independently-developed ”best of breed” applications--a firewall ... compiling virtual networks into concrete OpenFlow rules, and for efficiently processing controller rule updates...
  • Tree-k-RHC

  • Referenced in 2 articles [sw20976]
  • small number of recombinants. Combinatorial (or rule-based) methods for inferring haplotypes from genotypes ... assumed to have taken place uniformly and independently in the pedigree. We present...
  • bapred

  • Referenced in 0 articles [sw15791]
  • integrating the quantile normalization step into prediction rules. The following batch effect removal methods ... posteriori (’addon’) batch effect removal in independent batches (’test data’). Here, the (already batch effect...
  • ParMAC

  • Referenced in 0 articles [sw15226]
  • order to decouple the nested model into independent submodels. This decomposes the optimisation into steps ... does not need to use chain-rule gradients, so it works with nondifferentiable layers. With...