• PRIME Decisions

  • Referenced in 35 articles [sw16213]
  • valued ratio statements in the specification of preferencies. It computes value intervals and dominance structures ... alternatives, and supports several decision rules for the development of recommendations. PRIME Decision...
  • SmeftFR

  • Referenced in 4 articles [sw31392]
  • invariant operators up to dimension 6. Feynman rules are generated with the use of FeynRules ... user can also choose preferred gauge fixing, generating Feynman rules in unitary or Rξ-gauges...
  • GuideR

  • Referenced in 3 articles [sw30224]
  • This article presents GuideR, a user-guided rule induction algorithm, which overcomes the largest limitation ... introduce user’s preferences or domain knowledge to the rule learning process. Automatic selection...
  • LegalRuleML

  • Referenced in 6 articles [sw30411]
  • order to automate verification process, regulatory rules written in natural language need to be translated ... reasoned about depending upon the client’s preferences...
  • iNuc-PhysChem

  • Referenced in 24 articles [sw22453]
  • have been made in this area, the rules defining nucleosome positioning is still elusive ... developing the predictor. Meanwhile, for those who prefer to run predictions in their own computers...
  • ACORDA

  • Referenced in 4 articles [sw13875]
  • judgments. With this knowledge of consequences, moral rules are then used to decide the appropriate ... achieved via a prioriconstraints and a posteriori preferences on abductive stable models, two features available...
  • coteglob

  • Referenced in 4 articles [sw20480]
  • Cotes rules. Combining an extended sequence of rules using 5, 9, 17 and 33 points ... that globally adaptive codes are to be preferred. Based on this we develop several...
  • Democratix

  • Referenced in 3 articles [sw27637]
  • important task in voting and preference aggregation. The declarative nature of answer-set programming ... based approach for a variety of voting rules, ranging from tractable cases to problems harder...
  • ScopeShell

  • Referenced in 4 articles [sw13057]
  • number of applicable computer systems. As a rule the code tuning for the chosen input ... some internal language. Such software is preferable if one needs to draw a single high...
  • ILA-2

  • Referenced in 1 article [sw03301]
  • knowledge discovery We describe the ILA-2 rule induction algorithm, which is the improved version ... soft computing metric, users can reflect their preferences through a penalty factor to control...
  • x.ent

  • Referenced in 0 articles [sw17893]
  • exploration with graphical displays. It is a rule-based system and works with hand-made ... Perl functions and JavaScript to define user preferences through a browser and R to display...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LSQR

  • Referenced in 394 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • mclust

  • Referenced in 304 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Normaliz

  • Referenced in 168 articles [sw00630]
  • Normaliz is a tool for computations in affine...