• UCI-ml

  • Referenced in 2945 articles [sw04074]
  • Repository is a collection of databases, domain theories, and data generators that are used...
  • HOPLA

  • Referenced in 14 articles [sw02330]
  • introduced. Its roots in a linear domain theory for concurrency are sketched though...
  • RIM_DOM.F90

  • Referenced in 31 articles [sw25510]
  • regular and singular domain integrals with boundary-only discretization-theory and Fortran code ... dimensional and three dimensional, regular and singular domain integrals. A self-contained Fortran code ... theory is that only the boundary of the integration domain needs to be discretized into...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 109 articles [sw19506]
  • systems in either a time domain, frequency domain, or state-space manner. μ-Tools also ... users access to recent developments in control theory, namely H∞ optimal control and m analysis...
  • HR

  • Referenced in 29 articles [sw10392]
  • mathematicians Hardy and Ramanujan -- performs theory formation in mathematical domains. It works by (i) using...
  • 4eMka2

  • Referenced in 52 articles [sw16168]
  • that it bases on rough set theory combined with dominance relation, which is quite ... domain. He does not have to get familiar with theory basis of used analysis model...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming ... based on a formal theory of action specified in an extended version of the situation...
  • Amphion

  • Referenced in 5 articles [sw09953]
  • application domain through a declarative domain theory. A user is guided in creating a diagram ... specification through menus based upon the domain theory and the current state of the specification...
  • QFT toolbox

  • Referenced in 12 articles [sw14926]
  • Quantitative Feedback Theory (QFT) Frequency Domain Control Design Toolbox is a collection of MATLAB functions...
  • HOLCF

  • Referenced in 3 articles [sw25266]
  • system that uses the mathematics of domain theory to reason about programs written in functional ... package for defining recursive functions, and the Domain package for defining recursive datatypes. Each...
  • New-HOPLA

  • Referenced in 3 articles [sw06992]
  • origins as a meta-language for domain theory are sketched but for the most part...
  • rbminer

  • Referenced in 11 articles [sw00783]
  • academic domain. This paper introduces rbminer, a tool that combines the theory of regions with...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • domains. CoCasl hence becomes a meta-framework for studying the semantics and proof theory...
  • ProbNetKAT

  • Referenced in 2 articles [sw21703]
  • characterization of ProbNetKAT’s semantics using domain theory, which provides the foundation needed to build...
  • CAMLET

  • Referenced in 1 article [sw30106]
  • repository of ML databases and domain theories, experimental results have shown us that CAMLET supports...
  • MatSol

  • Referenced in 24 articles [sw12419]
  • parallel and numerical scalability are used for domain decomposition. The resulting class of QP problems ... bounded spectrum in O(1) iterations. Theory yields the error bounds that are independent...
  • ManyOpt

  • Referenced in 1 article [sw18803]
  • deductive reasoning or the use of domain-specific theories, and the management of integrality constraints...
  • Nuprl-Light

  • Referenced in 1 article [sw31982]
  • specifying, relating, and developing type theories and mathematical domains. The framework itself assumes (and provides...
  • TurbSim

  • Referenced in 6 articles [sw34447]
  • frequency domain, and an inverse Fourier transform produces time series. The underlying theory behind this...
  • Spass-FD

  • Referenced in 2 articles [sw16027]
  • first-order theory, but also about all models over a specific finite domain and often ... minimal model in case of a Horn theory). Both of these problems are second-order ... with disunification as well as with fixed domain and minimal model theorem proving capabilities...