• UCI-ml

  • Referenced in 3162 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 1441 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 131 articles [sw04438]
  • library of logical theories (integer and real arithmetic, Boolean operations, sets and maps...
  • gamair

  • Referenced in 299 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 23 articles [sw22252]
  • particular those based on Rough Set Theory...
  • DSTool

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

  • Referenced in 19 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 15 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 36 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 48 articles [sw07447]
  • inflatable beam theory to model the inflatable structures as a set of inflatable beam elements...
  • Saga

  • Referenced in 85 articles [sw39677]
  • SDCA, MISO and SVRG, a set of recently proposed incremental gradient algorithms with fast linear ... convergence rates. SAGA improves on the theory behind SAG and SVRG, with better theoretical convergence...
  • FSMRDE

  • Referenced in 8 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...