
W12SC3
 Referenced in 1 article
[sw19876]
 W12SC3: supersonic wing design and analysis. COREL and W12SC3 are two computer programs useful in the aerodynamic design and analysis of wings for supersonic maneuvering. ...

W3Bcrypt
 Referenced in 1 article
[sw30069]
 W3Bcrypt: Encryption as a stylesheet. While webbased communications ( e.g., webmail or web chatrooms) are increasingly protected by transportlayer cryptographic mechanisms, such as the SSL/TLS ...

WADE
 Referenced in 3 articles
[sw08954]
 WADE: a software platform to develop mission critical applications exploiting agents and workflow. In this paper, we describe two mission critical applications currently deployed by ...

waffle
 Referenced in 0 articles
[sw18464]
 R package waffle. Create Waffle Chart Visualizations in R. Square pie charts (a.k.a. waffle charts) can be used to communicate parts of a whole for ...

Waffles
 Referenced in 2 articles
[sw08061]
 Waffles: a machine learning toolkit. We present a breadthoriented collection of crossplatform commandline tools for researchers in machine learning called Waffles. The Waffles tools are ...

WAFO
 Referenced in 22 articles
[sw07370]
 WAFO is a toolbox of Matlab routines for statistical analysis and simulation of random waves and random loads. WAFO is freely redistributable software, see WAFO ...

WALA
 Referenced in 2 articles
[sw04113]
 The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript. The system is licensed ...

waLBerla
 Referenced in 17 articles
[sw01472]
 waLBerla: Optimization for itaniumbased systems with thousands of processors. Performance optimization is an issue at different levels, in particular for computing and communication intensive codes ...

waldi
 Referenced in 1 article
[sw28827]
 R package waldi provides methods to compute locationadjusted Wald statistics and confidence intervals for popular model classes including glm and brglmFit (see the brglm2 R ...

Waldmeister
 Referenced in 43 articles
[sw19568]
 Waldmeister is a theorem prover for unit equational logic. Its proof procedure is unfailing KnuthBendix completion [BDP89]. Waldmeister’s main advantage is that efficiency has been ...

WAlg
 Referenced in 3 articles
[sw25288]
 MasterPVA and WAlg: Mathematica packages for Poisson vertex algebras and classical affine Walgebras. We give an introduction to the Mathematica packages ”MasterPVA” and ”MasterPVAmulti used ...

WalkCarefully
 Referenced in 6 articles
[sw19297]
 ”The QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article is accompanied by the following Maple packages ...

walkr
 Referenced in 1 article
[sw29155]
 walkr: MCMC Sampling from NonNegative ConvexPolytopes.

Walks
 Referenced in 6 articles
[sw19291]
 ”The QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article is accompanied by the following Mathematica packages...

WALKSab
 Referenced in 1 article
[sw19263]
 This is WALKSab That automatically generates, and solves the algebraic equations for the generating functions let’s call them F[0,i](x[a],x[b]), for i=0,1, ..., b1 for walks ...

Walksat
 Referenced in 202 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to solve Boolean satisfiability problems. Both algorithms work on formulae that are in, or have been converted into, ...

wallace
 Referenced in 0 articles
[sw18765]
 R package wallace. wallace: A Modular Platform for Reproducible Modeling of Species Niches and Distributions. The ’shiny’ application Wallace is a modular platform for reproducible ...

wallop
 Referenced in 1 article
[sw07942]
 wallop: A Gtk+2.0 (graphical) application which allows you to manipulate fatgraphs, mostly fatgraphs coming as output from scallop, which is included with wallop. Note the ...

wally
 Referenced in 1 article
[sw31334]
 R package wally: The Wally Calibration Plot for Risk Prediction Models. A prediction model is calibrated if, roughly, for any percentage x we can expect ...

Walnut
 Referenced in 10 articles
[sw30122]
 Automatic Theorem Proving in Walnut. Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words ...