
MathCheck
 Referenced in 11 articles
[sw13642]
 extend these two conjectures to higherdimensional hypercubes. We provide detailed performance analysis and show ... search space via the SAT+CAS combination relative to finite bruteforce 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 twodimensional diffusion lattice is used. For growthrate ... 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 highdimensional 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 higherorder 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 breastcancerrelated gene. In simulated disease models, we demonstrated that PBMDR ... results revealed that the PBMDR algorithm yielded higher accuracy and chisquare 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 highdimensional space describing a particular problem domain. Ensemble analysis looks ... features of the simulations to discover higherlevel patterns that describe aspects of the underlying...

Polyominoes
 Referenced in 1 article
[sw21794]
 square”). If a polyomino or a higherdimensional 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 bendingtorsion coupling. Threedimensional static aeroelastic analysis is performed loosely coupling...

rLGenSVM
 Referenced in 2 articles
[sw34760]
 feature genes related to the classification from the highdimensional and smallsample gene expression ... paper selects fewer feature genes and achieves higher classification accuracy. rLGenSVM 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 fourthorder 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 Maplebased “GeM...

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

GRTensorII
 Referenced in 48 articles
[sw00393]
 GRTensor II is a computer algebra package for...

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