
ZTree
 Referenced in 558 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 274 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 143 articles
[sw00630]
 Hilbert (or Ehrhart) (quasi) polynomial under a Zgrading (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 doubleprecision 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 Eclipsebased 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 (pvalues, zscores, correlation coefficients, tscores). 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...