• MathCheck

  • Referenced in 11 articles [sw13642]
  • extend these two conjectures to higher-dimensional hypercubes. We provide detailed performance analysis and show ... search space via the SAT+CAS combination relative to finite brute-force search. (new: MathCheck2...
  • BacSim

  • Referenced in 21 articles [sw17261]
  • potential of this approach is in relating the properties of microscopic entities – cells ... randomly varied. For substrate diffusion, a two-dimensional diffusion lattice is used. For growth-rate ... Donachie model led to unbalanced growth at higher growth rates, whereas including a minimum period...
  • WeightedPortTest

  • Referenced in 11 articles [sw12429]
  • Statistical Association: We exploit ideas from high-dimensional data analysis to derive new portmanteau tests ... when the number of lags considered is relatively close to the sample size. The statistics ... goodness of fit tests tend to have higher power than other tests appearing...
  • DREAM

  • Referenced in 1 article [sw25782]
  • method as solutions of dimensional recurrence relations. Starting from these relations, the package automatically constructs ... define the homogeneous solutions of the higher-order recurrence relations (and can construct those...
  • PBMDR

  • Referenced in 1 article [sw36892]
  • particle swarm optimization (PSO)-based multifactor dimensionality reduction (MDR) approach was proposed, denoted by PBMDR ... SNPs from eight breast-cancer-related gene. In simulated disease models, we demonstrated that PBMDR ... results revealed that the PBMDR algorithm yielded higher accuracy and chi-square values than other...
  • Slycat

  • Referenced in 1 article [sw24798]
  • simulations. An ensemble is a group of related simulation runs, each consisting of the same ... variables, in a shared high-dimensional space describing a particular problem domain. Ensemble analysis looks ... features of the simulations to discover higher-level patterns that describe aspects of the underlying...
  • Polyominoes

  • Referenced in 1 article [sw21794]
  • square”). If a polyomino or a higher-dimensional collection of cubes forms a shape topologically ... removal alone does not always work). Other related figures include polyiamonds (collections of equilateral triangles...
  • VSAERO

  • Referenced in 1 article [sw07645]
  • result, at higher velocity, the amount of downforce and related induced drag increases. The maximum ... used leading to bending-torsion coupling. Three-dimensional static aeroelastic analysis is performed loosely coupling...
  • rL-GenSVM

  • Referenced in 2 articles [sw34760]
  • feature genes related to the classification from the high-dimensional and small-sample gene expression ... paper selects fewer feature genes and achieves higher classification accuracy. rL-GenSVM uses regularization parameters...
  • mvdens

  • Referenced in 1 article [sw22349]
  • sample positions (density estimation) or the relative posterior probability of the samples (regression). Specifically ... likelihood. In low dimensionality, Gaussian processes are most accurate, whereas in higher dimensionality Gaussian mixtures...
  • SHALL 4

  • Referenced in 3 articles [sw00007]
  • SHALL4 - an implicit compact fourth-order Fortran program...
  • ANSYS

  • Referenced in 663 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CoCoA

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

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

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GeM

  • Referenced in 93 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • Gmsh

  • Referenced in 627 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Invar

  • Referenced in 31 articles [sw00446]
  • The Invar Tensor Package. The Invar package is...