• GMRFLib

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

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

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

  • Referenced in 327 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 286 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 122 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...
  • shap

  • Referenced in 50 articles [sw30901]
  • theory with local explanations, uniting several previous methods [1-7] and representing the only possible...
  • SLICOT

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

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

  • Referenced in 135 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 12 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...
  • Perseus

  • Referenced in 29 articles [sw08778]
  • possibly gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...
  • LiE

  • Referenced in 165 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 11 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...
  • LDL

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

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

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

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