• UCI-ml

  • Referenced in 3100 articles [sw04074]
  • contact the Repository librarians. We have also set up a mirror site for the Repository ... Repository is a collection of databases, domain theories, and data generators that are used ... primary source of machine learning data sets. As an indication of the impact...
  • LERS

  • Referenced in 121 articles [sw08637]
  • usage of rough set theory principle. Rough set theory is especially well suited to deal...
  • Isabelle/ZF

  • Referenced in 62 articles [sw04973]
  • formalizes the greater part of elementary set theory, including relations, functions, injections, surjections, ordinals ... Wellordering Theorem. Isabelle/ZF also provides theories of lists, trees, etc., for formalizing computational notions ... cardinality of branching. (ZF: Zermelo-Fraenkel Set Theory...
  • 4eMka2

  • Referenced in 53 articles [sw16168]
  • that it bases on rough set theory combined with dominance relation, which is quite ... extraction of the classification rules from a set of already classified examples. These rules could ... simplified to preparation of the classified examples set and analysis of induced rules. It means ... does not have to get familiar with theory basis of used analysis model, which...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals ... Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution...
  • Why3

  • Referenced in 130 articles [sw04438]
  • library of logical theories (integer and real arithmetic, Boolean operations, sets and maps...
  • gamair

  • Referenced in 290 articles [sw11132]
  • GAMs: An Introduction with R”. Data sets and scripts used in the book ”Generalized Additive ... Moreover, the book contains explanations of the theory underlying the statistical methods and material...
  • RSES

  • Referenced in 22 articles [sw22252]
  • particular those based on Rough Set Theory...
  • DSTool

  • Referenced in 103 articles [sw06719]
  • set ordinary differential equations. The methods employed by the theory of dynamical systems allow...
  • LPL software

  • Referenced in 18 articles [sw04860]
  • connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs...
  • MBase

  • Referenced in 17 articles [sw08724]
  • whole knowledge base in axiomatic set theory. The viability of this approach is proven...
  • ROSE

  • Referenced in 9 articles [sw14795]
  • ROSE - Software Implementation of the Rough Set Theory. This paper briefly describes ROSE software package ... knowledge discovery based on rough set theory in 32-bit operating systems on PC computers ... implements classical rough set theory as well as its extension based on variable precision model...
  • Rseslib

  • Referenced in 14 articles [sw30225]
  • other concepts of rough set theory and other data mining methods. The third version...
  • DEMORS

  • Referenced in 8 articles [sw02773]
  • algorithm using differential evolution and rough set theory for constrained problems. The aim of this ... based on the use of rough set theory is a viable alternative to obtain ... Then, in the second stage, rough set theory is used to improve the spread ... adopt, on the one hand, a set of standard bi-objective constrained test problems...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • with and combining the theories of probability and fuzzy sets. Extends the logic programming form...
  • RIM_DOM.F90

  • Referenced in 33 articles [sw25510]
  • with boundary-only discretization-theory and Fortran code. A set of boundary integrals is derived ... boundary integrals. The main feature of the theory is that only the boundary...
  • Hereditarily Finite Sets

  • Referenced in 6 articles [sw29249]
  • Hereditarily Finite Sets. The theory of hereditarily finite sets is formalised, following the development ... satisfy all the axioms of ZF set theory apart from the axiom of infinity, which ... constructions that are possible in ZF set theory (Cartesian products, disjoint sums, natural numbers, functions...
  • BEAM189

  • Referenced in 46 articles [sw07447]
  • inflatable beam theory to model the inflatable structures as a set of inflatable beam elements...
  • AEtnaNova

  • Referenced in 8 articles [sw06360]
  • from the built-in rudiments of set theory to the formal foundations of mathematical analysis...
  • FSMRDE

  • Referenced in 7 articles [sw22250]
  • entropy-based feature selection approach. Rough set theory has been proven to be an effective ... selection algorithms have been proposed in rough sets. However, these algorithms still suffer from high...