
FRIL
 Referenced in 44 articles
[sw18490]
 with and combining the theories of probability and fuzzy sets. Extends the logic programming form ... such as probabilistic knowledge and fuzzy incompleteness. Describes the application to general areas of knowledge...

Nefrit
 Referenced in 2 articles
[sw04094]
 system utilizes possibilities of fuzzy set theory, including applications of the theory to modelling meanings ... variable theory). Fuzzy numbers model expert evaluations of alternatives according to individual criteria, fuzzy values ... overall fuzzy utility is calculated as a weighted average of partial fuzzy utilities.par ... theoretically worked out. An overall fuzzy utility function is set by a rule base...

RSPOP
 Referenced in 8 articles
[sw02562]
 POPFNN in linguistic fuzzy modeling. This article proposes a novel rough setbased pseudo outer ... concept of knowledge reduction from rough set theory with the POP algorithm. The proposed algorithm ... possible reducts exist in a given rule set, an objective measure is developed for POPFNN ... presented using published data sets and realworld application involving highway traffic flow prediction...

ANSYS
 Referenced in 685 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

DEA
 Referenced in 245 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

Epsilon
 Referenced in 41 articles
[sw00244]
 Epsilon is a library of functions implemented in...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 674 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1841 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 257 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 6235 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

SETHEO
 Referenced in 121 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...