
ZTree
 Referenced in 659 articles
[sw11707]
 ZTree: Zurich Toolbox for readymade economic experiments. Zurich Toolbox for Readymade Economic Experiments ... zTree is a widely used software package for developing and carrying out economic experiments ... programming experience is not necessary, though useful. zTree is flexible both with respect...

Z
 Referenced in 286 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book is an indepth 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 175 articles
[sw00630]
 Hilbert (or Ehrhart) (quasi) polynomial under a Zgrading (for example, for rational polytopes), generalized...

RKC
 Referenced in 126 articles
[sw00808]
 Houwen and B. P. Sommeijer [Z. Angew. Math. Mech...

Algorithm 644
 Referenced in 56 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 doubleprecision counterparts...

mlf
 Referenced in 61 articles
[sw18400]
 containing fractional derivatives). USAGE: MLF(alpha,beta,Z,P) is the MittagLeffler function ... alpha,beta}(Z) evaluated with accuracy 10^(P) for each element ... Z...

ProofPower
 Referenced in 57 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 90 articles
[sw21828]
 unification of imperative CSP, Z, and the refinement calculus. We describe the language of Circus...

SDPNAL+
 Referenced in 63 articles
[sw13239]
 multipliers based solver called SDPAD by Z. Wen et al. [Math. Program. Comput...

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

mixfdr
 Referenced in 27 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...

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

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

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

Alcoa
 Referenced in 28 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...

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

fdrtool
 Referenced in 34 articles
[sw08196]
 variety of null models (pvalues, zscores, correlation coefficients, tscores). The proportion...

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

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

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