
OPTIMAS
 Referenced in 17 articles
[sw07605]
 genetic algorithms in combination with the reducedorder models method, based on linked local data...

QDPA
 Referenced in 6 articles
[sw12759]
 modal approximations and also to improve reducedorder models computed by Krylov subspace methods...

TMATROM
 Referenced in 3 articles
[sw22690]
 Algorithm 975: TMATROM  A TMatrix Reduced Order Model Software. The Tmatrix (TMAT ... matrix provides an efficient reduced order model (ROM) framework for performing online scattering simulations...

na8
 Referenced in 4 articles
[sw11513]
 program for solving the $Lsb 2$ reducedorder model problem with fixed denominator degree...

PUMA
 Referenced in 25 articles
[sw22571]
 functions in order improve the approximation properties of the model and to reduce the computational...

ArbiLoMod
 Referenced in 5 articles
[sw21410]
 localized form of the reduced basis method for model order reduction. It assumes that ... reused after a localized change. The reduced model is adapted when necessary, steered ... global error introduced by the model order reduction is controlled by a robust and efficient...

BIONJ
 Referenced in 28 articles
[sw08301]
 algorithm based on a simple model of sequence data. We propose an improved version ... represents the cluster of these taxa, and reducing the distance matrix by replacing both taxa ... Moreover, BIONJ uses a simple firstorder model of the variances and covariances of evolutionary...

xROM
 Referenced in 1 article
[sw28226]
 xROM  a toolkit for reduced order modelling of fluid flows. xROM is a freely available ... tool for reducedorder modeling. One purpose of xROM is to derive dynamic POD models...

BradleyTerry2
 Referenced in 15 articles
[sw09554]
 order or ‘home advantage’ effect or other ‘contestspecific’ effects. Model fitting is either ... likelihood (for models which involve a random effect), or by biasreduced maximum likelihood ... which the firstorder asymptotic bias of parameter estimates is eliminated. Also provided...

FRSDE
 Referenced in 12 articles
[sw08762]
 density estimator using minimal enclosing ball approximation. Reduced Set Density Estimator (RSDE) is an important ... training the model weighting coefficients on large data sets. In order to overcome this shortcoming ... Fast Reduced Set Density Estimator algorithm (FRSDE) is proposed in this study. First, the relationship...

Rebeca
 Referenced in 8 articles
[sw09422]
 toolset for model checking Rebeca models. Inherent characteristics of Rebeca are used to introduce ... order reduction techniques for reducing the state space. Simple messagedriven objectbased computational model...

Zoltan
 Referenced in 42 articles
[sw07458]
 reduce communication in parallel computing. Different models (graph, hypergraph) and objectives (edge cut, boundary vertices ... communication volume is reduced in several cases by over an order of magnitude...

FluNet
 Referenced in 2 articles
[sw00302]
 models are combined with packet models in order to reduce simulation complexity as well ... simulation complexity in a largescale network model. In this paper, we propose...

pyMOR
 Referenced in 9 articles
[sw12978]
 University of Münster for building model order reduction applications with the Python programming language ... main focus lies on the application of reduced basis methods to parameterized partial differential equations...

CVBEM
 Referenced in 5 articles
[sw09603]
 these CVBEM modeling features on computer program Mathematica, in order to reduce programming requirements...

LTSmin
 Referenced in 14 articles
[sw07214]
 language module is in the order of 200–600 lines of C ”glue” code ... combinatorial nature of model checking problems. This splits model checking tools into three mostly independent ... parts: language modules, PINS optimizations, and model checking algorithms. On the other hand, the implementation ... drastically reduce runtime and memory consumption of symbolic algorithms), partial order reduction and linear...

sharpSAT
 Referenced in 17 articles
[sw16713]
 sharpSAT – counting models with advanced component caching and implicit BCP. We introduce sharpSAT ... coding components, which reduces the cache size by at least one order of magnitude...

SEL/HiFi
 Referenced in 14 articles
[sw22337]
 spatial discretization method. The highorder spectral element macroscopic modeling code SEL/HiFi has been used ... degrees of freedom, increasing polynomial degree while reducing the number of elements results in exponential...

WENO
 Referenced in 46 articles
[sw12694]
 coordinate variables, thus reducing the computational complexity to two dimensions in phase space and dramatically ... steadystate devices. The high order accuracy and nonoscillatory properties of the solver allow ... validity of various hydrodynamic and energy transport models. Some comparisons have been included in this...

MIBPB
 Referenced in 39 articles
[sw08106]
 Poisson–Boltzmann equation (PBE) is an established model for the electrostatic analysis of biomolecules ... that is able to deliver the secondorder convergence, that is, the accuracy increases four ... singular charge distribution in biomolecules in order to obtain reliable solutions at meshes as coarse ... numbers of the MIBPB matrices are significantly reduced by using appropriate KS solver and preconditioner...