• 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. ...
  • 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 breadth-oriented collection of cross-platform command-line tools for researchers in machine learning called Waffles. The Waffles tools are ...
  • WAFO

  • Referenced in 17 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 11 articles [sw01472]
  • waLBerla: Optimization for itanium-based systems with thousands of processors. Performance optimization is an issue at different levels, in particular for computing and communication intensive codes ...
  • Waldmeister

  • Referenced in 37 articles [sw19568]
  • Waldmeister is a theorem prover for unit equational logic. Its proof procedure is unfailing Knuth-Bendix completion [BDP89]. Waldmeister’s main advantage is that efficiency has been ...
  • WalkCarefully

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

  • Referenced in 6 articles [sw19291]
  • ”The Quasi-Holonomic 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, ..., b-1 for walks ...
  • Walksat

  • Referenced in 193 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 WAM-based Prolog to C compiler. It conforms more or less to the Edinburgh standard, and includes most of the usual built-in 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 6 articles [sw01010]
  • wannier90: A Tool for Obtaining Maximally-Localised Wannier Functions. http://cpc.cs.qub.ac.uk/summaries/AEAK_v1_0.html. We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch ...
  • WannierTools

  • Referenced in 1 article [sw20873]
  • WannierTools: An open-source software package for novel topological materials. We present an open-source software package WannierTools, a tool for investigation of novel topological materials. This ...
  • 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 ...