• 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 set-based 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 real-world 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 high-level language and interactive...
  • MiniSat

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

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • SETHEO

  • Referenced in 121 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...