• GMRFLib

  • Referenced in 261 articles [sw06641]
  • subject.par Gaussian Markov Random Fields: Theory and Applications provides such a reference, using a unified ... models, in which statistical inference is only possible using Markov Chain Monte Carlo (MCMC) techniques...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • higher level of abstraction than is usually possible. The language appears well suited for applications ... based on a formal theory of action specified in an extended version of the situation...
  • Locales

  • Referenced in 35 articles [sw12448]
  • Isabelle’s global theories and proof contexts is possible via morphisms. Even the locale hierarchy...
  • GloptiPoly

  • Referenced in 287 articles [sw04343]
  • algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... particular instances of the GPM, and (possibly after some transformation) of the GPM with polynomial...
  • Z

  • Referenced in 274 articles [sw10291]
  • primarily directed to the user; the background theory is -- with the exception of the natural ... strive to make reading as entertaining as possible. However, there are quite a number...
  • LERS

  • Referenced in 119 articles [sw08637]
  • rough set theory principle. Rough set theory is especially well suited to deal with inconsistencies ... concept. Then it induces certain rules and possible rules. The user has the choice...
  • HALO

  • Referenced in 5 articles [sw02527]
  • HALO language is based on possibility theory and consequently, is well-suited to expert system...
  • SLICOT

  • Referenced in 79 articles [sw01095]
  • algorithms for computations in systems and control theory. Based on numerical linear algebra routines from ... when working at a given precision. If possible an estimate of the achieved accuracy should...
  • Why3

  • Referenced in 126 articles [sw04438]
  • comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets ... genericity, giving the end user a possibility to easily reuse Why3 formalizations...
  • LFLC 2000

  • Referenced in 11 articles [sw08217]
  • obtained in formal theory of fuzzy logic. It makes it possible to deduce conclusions ... linguistic expressions and interpreted using the original theory developed in IRAFM. Sets of linguistically interpreted ... simulation of wide class of systems is possible. For theoretical background of LFLC, the following ... logic can be found in [1]; the theory of trichotomous evaluative linguistic expressions...
  • LiE

  • Referenced in 146 articles [sw01075]
  • theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... program. The LiE programming language makes it possible to customise and extend the package with...
  • Slothrop

  • Referenced in 10 articles [sw10019]
  • path orderings. Consequently, the theories for which completion can possibly yield a decision procedure ... convergent and equivalent to the input theory. Completions are also not just ground-convergent...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • MEBN theory (MTheory) implicitly represents a joint probability distribution over possibly unbounded numbers of hypotheses...
  • 4eMka2

  • Referenced in 52 articles [sw16168]
  • that it bases on rough set theory combined with dominance relation, which is quite ... with inconsistent and incomplete data. This is possible due to use of rough set with ... does not have to get familiar with theory basis of used analysis model, which...
  • Perseus

  • Referenced in 21 articles [sw08778]
  • possibly gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...
  • Fuzzy sets for Ada

  • Referenced in 1 article [sw05537]
  • operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations ... intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with...
  • Charlie

  • Referenced in 3 articles [sw12881]
  • comprising standard theorems of Petri net theory to possibly decide further properties based...
  • LDL

  • Referenced in 14 articles [sw00507]
  • basic theory of sparse matrix algorithms in as concise a code as possible, including...
  • SARAH

  • Referenced in 43 articles [sw06472]
  • version of SARAH it is possible to calculate automatically all interactions for the different eigenstates ... supersymmetric limits of the theory can be chosen. CP and flavor violation can easily...