
UCIml
 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 boundaryonly discretizationtheory and Fortran code ... dimensional and three dimensional, regular and singular domain integrals. A selfcontained 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 statespace 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...

NewHOPLA
 Referenced in 3 articles
[sw06992]
 origins as a metalanguage 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 metaframework 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 domainspecific theories, and the management of integrality constraints...

NuprlLight
 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...

SpassFD
 Referenced in 2 articles
[sw16027]
 firstorder 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 secondorder ... with disunification as well as with fixed domain and minimal model theorem proving capabilities...