
ScaLAPACK
 Referenced in 421 articles
[sw00830]
 solution of dense, band, and tridiagonal linear systems of equations, condition estimation and iterative refinement ... Cholesky factorization, matrix inversion, fullrank linear least squares problems, orthogonal and generalized orthogonal factorizations ... clusters of workstations, and any system for which PVM or MPI is available.\parEach Users...

SVMlight
 Referenced in 268 articles
[sw04076]
 Such ranking problems naturally occur in applications like search engines and recommender systems. Futhermore, this...

STRUMPACK
 Referenced in 46 articles
[sw17483]
 both dense and sparse systems using lowrank structured factorization with randomized sampling...

FODDPlanner
 Referenced in 15 articles
[sw07747]
 solving relational stochastic planning problems. The system is evaluated on several domains, including problems from ... shows competitive performance with top ranking systems. This is the first demonstration of feasibility...

BioBayes
 Referenced in 26 articles
[sw08082]
 Bayesian inferential methodology to problems in systems biology. RESULTS: Described herein is a software package ... estimation and evidential model ranking over models of biochemical systems defined using ordinary differential equations...

Goliath
 Referenced in 11 articles
[sw01301]
 Given a large, sparse, possibly rankdeficient, linear system with rational coefficients, Goliath provides ... rank of the matrix, basis of the null space, and solution of linear systems...

TLPVS
 Referenced in 10 articles
[sw10024]
 useful in a deductive ltl system. A distributed rank rule for the verification of response...

ALCON
 Referenced in 37 articles
[sw05315]
 nonlinear system F(y)=0, F:D⊂R n+1 →R n with rank ... computed only once and thereafter a rankone update is applied. The choice ... authors’ continuation code ALCON. ALCON1: (Al)gebraic system of equations (Con)tinuation method. Pathfollowing method...

tpls
 Referenced in 9 articles
[sw38379]
 solution of an overdetermined, fullrank, Toeplitz linear system, by a fast algorithm. The method...

RankGene
 Referenced in 15 articles
[sw12319]
 program integrates into one system a variety of popular ranking criteria, ranging from the traditional...

EGRR
 Referenced in 4 articles
[sw37629]
 algorithms for transforming a system of full rank to a system with a nonsingular revealing ... used to check whether the rank of the original system is full. A Maple implementation...

ACOTSP
 Referenced in 5 articles
[sw11237]
 Elitist Ant System, MAXMIN Ant System, Rankbased version of Ant System, BestWorst...

OSL
 Referenced in 107 articles
[sw09295]
 than those assumed in simplex implementations. Severe rank deficiency must also be accommodated, making ... superscalar” processing on the RISC System/$6000^{TM}$ series...

Chebfun2
 Referenced in 41 articles
[sw12708]
 rectangles. An essential point of this system is that the scalar functions are represented ... form u(y)v(x) (low rank approximants), where...

SingularIntegralEquations
 Referenced in 10 articles
[sw22771]
 banded infinitedimensional systems. This is accomplished by utilizing low rank approximations for sparse representations...

EigenRank
 Referenced in 15 articles
[sw33329]
 EigenRank: A rankingoriented approach to collaborative filtering. A recommender system must be able ... preferred by the user. In most systems, the degree of preference is represented ... unrated items so that they can be ranked by the predicted ratings to produce...

ManySAT
 Referenced in 43 articles
[sw00544]
 improve the overall performance of the whole system. This contrasts with most of the parallel ... many industrial SAT instances, and the first rank obtained by ManySAT in the parallel track...

trueskill
 Referenced in 24 articles
[sw12352]
 Bayesian skill rating system with inference by approximate message passing on a factor graph. Used ... Xbox to rank gamers and identify appropriate matches. http://research.microsoft.com/enus/projects/trueskill/default.aspx Current version allows...

HOLOmega
 Referenced in 9 articles
[sw06581]
 types by ranks according to the depth of universal types. The new system, called...

preCICE
 Referenced in 27 articles
[sw08713]
 runs efficiently on a wide spectrum of systems, from lowend workstations up to complete ... proven scalability on 10000s of MPI Ranks. The software offers methods for transient equation coupling...