• 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 first-order 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 space-time, spinor and gauge-group 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 message-driven object-based computational model, Java-like syntax...
  • CSP-prover

  • Referenced in 15 articles [sw11465]
  • implements both these theories for infinite product spaces and thus is capable to deal with ... logic HOL-Complex. 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 Time-Space 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 data-model. 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 well-known 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. Equation-like 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...