• InstanceSpace

  • Referenced in 2 articles [sw38934]
  • InstanceSpace: Instance Space Analysis: A toolkit for the assessment of algorithmic power. This repository provides ... tools to carry out a complete Instance Space Analysis in an automated pipeline ... engine that powers the Melbourne Algorithm Test Instance Library with Data Analytics (MATILDA) web tools ... analysis. For further information on the Instance Space Analysis methodology can be found here...
  • RM-MEDA

  • Referenced in 38 articles [sw08554]
  • models a promising area in the decision space by a probability distribution whose centroid ... piecewise continuous manifold. The local principal component analysis algorithm is used for building such ... MIDEA, on a set of test instances with variable linkages. We have demonstrated that, compared...
  • MathTensor

  • Referenced in 21 articles [sw09364]
  • Large scale tensor analysis by computer. The paper contains a description of the software package ... quantum field theory of curved space-times for instance to describe the distance along...
  • SPECjvm98

  • Referenced in 5 articles [sw09419]
  • SPECjvm98 Java Benchmarks. We present an analysis of the memory usage ... more than 50% of the allocated space for instance objects, that Java objects tend...
  • phytools

  • Referenced in 14 articles [sw10003]
  • evolution using colors or projections into trait space; identifying the location of a change ... Bayesian posterior sample); conducting an analysis called stochastic character mapping, in which character histories ... analysis, a phylogenetic regression, a reduced major axis regression, a phylogenetic canonical correlation analysis ... other purposes in phylogenetic biology. For instance, functionality in this package includes...
  • MoNeRe

  • Referenced in 1 article [sw28180]
  • Regression: Methodology, Tool and Case Study. The analysis of biological networks is characterized ... solution space of the computed states of a multi-omic (for instance metabolic, transcriptomic ... This enables a platform both for quantitative analysis of networked regression, but also testing...
  • GTOPX

  • Referenced in 1 article [sw37782]
  • individual benchmark instances representing real-world interplanetary space trajectory design problems. In regard ... GTOP collection, GTOPX includes three new problem instances featuring mixed-integer and multi-objective properties ... landscape analysis to characterize the properties of the fitness landscape of GTOPX benchmarks. Space mission...
  • nielsen

  • Referenced in 1 article [sw24983]
  • Analysis of secret sharing schemes based on Nielsen transformations. We investigate security properties ... polynomial equations and (for most randomly generated instances) solved by the computer algebra system Singular ... knowledge of $m-1$ shares reduces the space of possible values of a secret...
  • SimpleSDMLayers.jl

  • Referenced in 1 article [sw36974]
  • space is a common question in ecology and biogeography. Species distribution models (SDMs), for instance ... exible framework on which to build various analysis work ows. Here we present SimpleSDMLayers.jl...
  • QAPgrid

  • Referenced in 2 articles [sw23152]
  • present them in a way that helps analysis. While several methodologies exist, including those that ... underlying square grid in a two-dimensional space. We use the Quadratic Assignment Problem ... powerful metaheuristic) to tackle the large instances of this NP-hard combinatorial optimization problem...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • FOXBOX: A system for manipulating symbolic objects in...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...