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

waLBerla
 Referenced in 10 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 ...

Waldmeister
 Referenced in 29 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 ...

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

Walks
 Referenced in 5 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 183 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 ...

WAM
 Referenced in 2 articles
[sw14485]
 WAM : Matlab package for polynomial fitting and interpolation on Weakly Admissible Meshes.

wamcc
 Referenced in 10 articles
[sw06519]
 WAMCC is a WAMbased Prolog to C compiler. It conforms more or less to the Edinburgh standard, and includes most of the usual builtin predicates, ...

WAMIT
 Referenced in 4 articles
[sw09619]
 WAMIT® is the most advanced set of tools available for analyzing wave interactions with offshore platforms and other structures or vessels. Since the announcement of ...

wand
 Referenced in 0 articles
[sw16380]
 R package wand. The ’libmagic’ library provides functions to determine ’MIME’ type and other metadata from files through their ”magic” attributes. This is useful when ...

Wannier90
 Referenced in 5 articles
[sw01010]
 wannier90: A Tool for Obtaining MaximallyLocalised Wannier Functions http://cpc.cs.qub.ac.uk/summaries/AEAK_v1_0.html We present wannier90, a program for calculating maximallylocalised Wannier functions (MLWF) from a set of Bloch ...

WAPN
 Referenced in 1 article
[sw02806]
 WAPN: a distributed wormhole attack detection approach for wireless sensor networks As the applications of wireless sensor networks (WSNs) diversify, providing secure communication is emerging ...

WAPR
 Referenced in 9 articles
[sw01011]
 We implement the $W$function approximation scheme described by the authors [ibid. 21, No. 2, 161171 (1995; reviewed above)\rbrack. A range of tests of the approximations ...

WAR
 Referenced in 2 articles
[sw17168]
 WAR: Webserver for aligning structural RNAs. We present an easytouse webserver that makes it possible to simultaneously use a number of state of the art ...