• 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, full-rank 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 low-rank structured factorization with randomized sampling...
  • FODD-Planner

  • 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 rank-deficient, 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 rank-one 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, full-rank, 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, MAX-MIN Ant System, Rank-based version of Ant System, Best-Worst...
  • OSL

  • Referenced in 107 articles [sw09295]
  • than those assumed in simplex implementations. Severe rank deficiency must also be accommodated, making ... super-scalar” 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 infinite-dimensional systems. This is accomplished by utilizing low rank approximations for sparse representations...
  • EigenRank

  • Referenced in 15 articles [sw33329]
  • EigenRank: A ranking-oriented 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/en-us/projects/trueskill/default.aspx Current version allows...
  • HOL-Omega

  • 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 low-end workstations up to complete ... proven scalability on 10000s of MPI Ranks. The software offers methods for transient equation coupling...