-
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...