• CHAPLIN

  • Referenced in 15 articles [sw16362]
  • harmonic polylogarithms up to weight four numerically for any complex argument. The algorithm is based...
  • RP-DeLP

  • Referenced in 4 articles [sw19192]
  • DeLP: a weighted defeasible argumentation framework based on a recursive semantics. In this article...
  • ABEL

  • Referenced in 2 articles [sw02787]
  • then returns arguments and counter-arguments with corresponding numerical weights...
  • MCD

  • Referenced in 4 articles [sw41357]
  • positive arguments. It is shown that for arguments larger than one, Gaussian quadrature applied ... viable approach, provided the (nonclassical) weight function is suitably chosen. In combination with Gauss-Legendre ... quadrature the approach works also for arguments smaller than one. For very small arguments, power...
  • Zelig

  • Referenced in 9 articles [sw17526]
  • common uniformly structured call and set of arguments. Moreover, Zelig automates all the surrounding building ... support. These include bootstrapping, jackknifing, and re-weighting of data. In particular, Zelig automatically generates...
  • JITty

  • Referenced in 5 articles [sw10121]
  • annotations, which specify the order of normalizing arguments and applying rewrite rules. Strategy annotations ... underlying TRS. The tool is “light-weight” with compact but fast code...
  • adabag

  • Referenced in 7 articles [sw08024]
  • achieved giving access to the ”rpart.control” argument of ”rpart”. Four important new features were introduced ... variable in each tree and the weights of these trees...
  • weightr

  • Referenced in 0 articles [sw15291]
  • Hedges (1995) weight-function model in R. By specifying arguments, users can also estimate...
  • multiDA

  • Referenced in 1 article [sw41735]
  • feature selection component naturally simplifies to weights which are simple functions of likelihood ratio test ... traditional hypothesis testing methods. We provide heuristic arguments suggesting desirable asymptotic properties of our algorithm...
  • Teukode

  • Referenced in 7 articles [sw11318]
  • support initial data with a pure spin-weighted spherical harmonic profile. We present an extensive ... understood in terms of the superradiance cavity argument...
  • Algorithm 1023

  • Referenced in 1 article [sw42340]
  • chosen independently of observations, and a weight can be defined for each observation for more ... spline is easy to use, with all arguments completely described and corresponding examples given...
  • MOTABAR

  • Referenced in 2 articles [sw12739]
  • sample of points, where both the function arguments and the corresponding values are known only ... piecewise polynomial regression, Lagrange interpolation, inverse distance weighting, and nearest neighbor estimation, and thus also...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • soft constraints have been proposed, such as weighted, fuzzy, or probabilistic constraints. All of them ... semiring from an arbitrary PVS. Both arguments draw upon elements from category theory. MiniBrass turns...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEDA

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...