• LMS evaluation

  • Referenced in 3 articles [sw13017]
  • management systems using an artificial intelligence fuzzy logic algorithm There are many open source ... time. The developed system is basically a web-based decision support system used to evaluate ... derived from artificial intelligent concepts with fuzzy logic values. The paper describes the development...
  • FuzzyCLIPS

  • Referenced in 6 articles [sw07001]
  • FuzzyCLIPS is a fuzzy logic extension of the CLIPS (C Language Integrated Production System) expert ... years. It enhances CLIPS by providing a fuzzy reasoning capability that is fully integrated with ... manipulate fuzzy facts and rules. FuzzyCLIPS can deal with exact, fuzzy (or inexact), and combined ... reasoning, allowing fuzzy and normal terms to be freely mixed in the rules and facts...
  • FIPS

  • Referenced in 1 article [sw00292]
  • process control problems. FIPS denotes a Fuzzy Instrumented Process Control System geared to the special ... four modules: a basic module, a model-building module, a logic module and a simulation...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • Galileo

  • Referenced in 13 articles [sw00316]
  • Galileo: A tool for dynamic fault tree analysis...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • MiniSat

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

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

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Scilab

  • Referenced in 173 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...