
ZTree
 Referenced in 604 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 279 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 151 articles
[sw00630]
 Hilbert (or Ehrhart) (quasi) polynomial under a Zgrading (for example, for rational polytopes), generalized...

Algorithm 644
 Referenced in 55 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 113 articles
[sw00808]
 Houwen and B. P. Sommeijer [Z. Angew. Math. Mech...

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

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

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

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

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

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

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

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

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

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