• Z-Tree

  • Referenced in 558 articles [sw11707]
  • Z-Tree: Zurich Toolbox for ready-made economic experiments. Zurich Toolbox for Readymade Economic Experiments ... z-Tree is a widely used software package for developing and carrying out economic experiments ... programming experience is not necessary, though useful. z-Tree is flexible both with respect...
  • Z

  • Referenced in 274 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book is an in-depth introduction ... specification language $Z$. It is primarily directed to the user; the background theory is -- with ... necessary. With respect to the many $Z$ books already on the market, a significant novel ... feature is the integration of $Z$ with the refinement calculus and data refinement. The overall...
  • Normaliz

  • Referenced in 143 articles [sw00630]
  • Hilbert (or Ehrhart) (quasi) polynomial under a Z-grading (for example, for rational polytopes), generalized...
  • Algorithm 644

  • Referenced in 52 articles [sw09113]
  • subroutines for Computing Bessel functions Hv(1)(z ... z), Iv(z), Jv(z), Kv(z), Yv(z) and Airy functions ... z), Ai′(z), Bi(z), Bi′(z) for ordersv≥0 and complex ... z in −&pgr;z≤&pgr;. Eight callable subroutines and their double-precision counterparts...
  • RKC

  • Referenced in 104 articles [sw00808]
  • Houwen and B. P. Sommeijer [Z. Angew. Math. Mech...
  • ProofPower

  • Referenced in 56 articles [sw06339]
  • provides support for specification and proof in Z using a semantic embedding of Z into ... tool supporting refinement of Z to the SPARK subset of Ada is also available...
  • Circus

  • Referenced in 87 articles [sw21828]
  • unification of imperative CSP, Z, and the refinement calculus. We describe the language of Circus...
  • Z/EVES

  • Referenced in 43 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide an Eclipse-based IDE and integration with ... theorem prover. This extends the development of Z specifications in CZT with theorem proving...
  • GYSELA

  • Referenced in 40 articles [sw17825]
  • driven turbulence in a cylinder (r,θ,z). The code validation is performed with...
  • PBS

  • Referenced in 38 articles [sw04622]
  • where x, y, and z are Boolean literals.) Can be used to solve decision (Yes/No...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • Alloy, is a new notation based on Z. Its development was motivated by the need ... more amenable to automatic analysis. Like Z, Alloy supports the description of systems whose state...
  • zoo

  • Referenced in 35 articles [sw10603]
  • Infrastructure for Regular and Irregular Time Series (Z’s ordered observations). An S3 class with...
  • SDPNAL+

  • Referenced in 34 articles [sw13239]
  • multipliers based solver called SDPAD by Z. Wen et al. [Math. Program. Comput...
  • mixfdr

  • Referenced in 17 articles [sw06074]
  • precise, suppose you have many normally distributed z’s, and each z[i] has mean ... will estimate delta[i] based on the z’s (effect sizes), P(delta ... z[i]) (local false discovery rates) and P(delta ... z[i]|>z) (tail area false discovery rates...
  • fdrtool

  • Referenced in 29 articles [sw08196]
  • variety of null models (p-values, z-scores, correlation coefficients, t-scores). The proportion...
  • Chebfun2

  • Referenced in 29 articles [sw12708]
  • scalar functions, and was first presented by Z. Battles and the second author [SIAM...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • Refinement Calculus for Z. The fact that Z is a specification language only, with ... Morgan’s work that incorporates the Z notation and follows its style and conventions. This ... work builds upon existing refinement techniques for Z, but distinguishes itself mainly in that ... explain how programs can be derived from Z specifications using ZRC. We present...
  • DarkSUSY

  • Referenced in 27 articles [sw09107]
  • supersymmetric partners of the photon, the Z boson and neutral scalar Higgs particles. Here...
  • AHFinderDirect

  • Referenced in 25 articles [sw04972]
  • neighbourhood of the ±x, ±y, and ±z axes) to avoid coordinate singularities, and finite difference...
  • FASTA

  • Referenced in 25 articles [sw09655]
  • previously recognized. RDF2 analysis showed borderline z values, and only a careful examination...