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

RPDeLP
 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 counterarguments 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 GaussLegendre ... 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 reweighting 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 “lightweight” 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) weightfunction 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 spinweighted 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...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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