
VAMPIRE
 Referenced in 233 articles
[sw02918]
 techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity), subsumption ... problem in the full firstorder logic syntax, clausifies it and performs a number...

AGRAPH
 Referenced in 1 article
[sw06722]
 software AGRAPH, as presented at the Space Syntax Symposium in 2005, is a tool ... software when it comes to advanced space syntax analyses or studies of very large systems...

PDDL
 Referenced in 90 articles
[sw07079]
 example, interest in planning demonstrated by the space res earch community has inspired work ... used in the competition. We describe the syntax of the language, its formal semantics...

FormTracer
 Referenced in 5 articles
[sw28328]
 product tensors spaces. FormTracer supports a wide range of syntaxes which endows it with ... user through performing standard traces in spacetime, spinor and gaugegroup spaces are provided...

UFL
 Referenced in 47 articles
[sw11183]
 differentiation of forms and expressions, arbitrary function space hierarchies for multifield problems, general differential operators ... source software library. The library generates abstract syntax tree representations of variational problems, which...

Rebeca
 Referenced in 8 articles
[sw09422]
 state space. Simple messagedriven objectbased computational model, Javalike syntax...

CSPprover
 Referenced in 15 articles
[sw11465]
 implements both these theories for infinite product spaces and thus is capable to deal with ... logic HOLComplex. Within this logic, the syntax as well as the semantics...

matconv
 Referenced in 1 article
[sw18678]
 code into R code. It does some syntax changes, but most of the heavy lifting ... accommodate different number of spaces and other small syntax issues. This will not make...

PSyHCoS
 Referenced in 2 articles
[sw30319]
 state space reduction techniques. Its architecture favors reusability in terms of syntax, semantics, and algorithms...

GnuDraw
 Referenced in 2 articles
[sw24825]
 drawing routines following Jurgen Doornik’s original syntax, but with output in GnuPlot. Included ... bivariate graphs, and also to plot irregularly spaced time series data...

mGstat
 Referenced in 1 article
[sw15246]
 space. Thus, for example TimeSpace kriging can be used. Synthetic semivariogram can be calculated ... using both GSLIB and GSTAT syntax. Experimental semivariograms can be calculated from data observations...

LOEWE
 Referenced in 2 articles
[sw29143]
 used for simulation and compilation, fast state space exploration is performed on extended finite state ... system verification. LOEWE currently contains a LOTOS syntax and static semantic verifier, a generator...

Spack
 Referenced in 2 articles
[sw34964]
 many configurations is difficult because the configuration space is combinatorial in size. We introduce Spack ... complexity. Spack provides a novel, recursive specification syntax to invoke parametric builds of packages...

NiHu
 Referenced in 1 article
[sw22081]
 with arbitrarily defined kernels and function spaces. NiHu’s template core defines the workflow ... specific application. The core provides expressive syntax, based on the operator notation...

EASN
 Referenced in 2 articles
[sw07597]
 specification of the datamodel. ASN.1 (Abstract Syntax Notation One) is an ITU/ISO data definition ... used to constrain/construct the state space of the protocol accurately. However, with current practice...

EigenCFA
 Referenced in 3 articles
[sw14136]
 abstract” Church encodings, and encodings of the syntax tree and abstract domains as vectors ... giving the sparse matrix operations an overwhelming space and speed advantage.{par}We also achieved...

HyCreate
 Referenced in 2 articles
[sw20138]
 invariants are all input using standard Java syntax, which is both wellknown and highly ... tool as projections on a 2D space for any two continuous dimensions, with different colors...

Symbulate
 Referenced in 1 article
[sw30830]
 conducting simulations involving probability models. The syntax of Symbulate reflects the ”language of probability ... probability concepts and problems, including: probability spaces; events; discrete and continuous random variables; joint, conditional...

SVL
 Referenced in 0 articles
[sw05475]
 performing vector arithmetic with them. Equationlike syntax is supported via class operators. Both generic ... vectors or points in 2D or 3D space, and make heavy use of inlining...

JAligner
 Referenced in 1 article
[sw21461]
 affine gap penalty model. Features: The space complexity to perform the dynamic programming with ... Graphical User Interface (GUI), simple command line syntax or reusable Programming Application Interface...