
PABTEC
 Referenced in 12 articles
[sw04061]
 least, unacceptably time and storage consuming. Model order reduction presents a way out of this ... dilemma. A general idea of model order reduction is to replace a largescale system ... Electrical Circuits is designed for model order reduction and numerical integration of model equations...

pyMOR
 Referenced in 14 articles
[sw12978]
 pyMOR  Model Order Reduction with Python. pyMOR is a software library developed at the University ... Münster for building model order reduction applications with the Python programming language. Its main focus...

PAT
 Referenced in 31 articles
[sw13258]
 with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced optimization ... partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...

MatMorembs
 Referenced in 6 articles
[sw17563]
 Interfaces), the main issue is the model order reduction of elastic bodies. Matmorembs is especially ... reduction of small to mediumsized models. The implementation and testing of new algorithms...

MORLAB
 Referenced in 4 articles
[sw25667]
 MORLAB  Model Order Reduction Laboratory. The MORLAB toolbox is a collection of MATLAB routines ... model order reduction of dynamical systems based on the solution of matrix equations. The implementation...

EZyRB
 Referenced in 3 articles
[sw38465]
 python library for the Model Order Reduction based on baricentric triangulation for the selection ... been used for the model order reduction of problems solved with matlab and openFOAM...

SINDy
 Referenced in 23 articles
[sw30277]
 order models of a fluid flow, we combine this approach with dimensionality reduction techniques ... nonlinearities. The resulting models, hereafter referred to as Galerkin regression models, incorporate many beneficial aspects ... Stokes equations. Instead, the most parsimonious nonlinear model is determined that is consistent with observed ... constraints. Galerkin regression models also readily generalize to include higherorder nonlinear terms that model...

BFComp
 Referenced in 3 articles
[sw18654]
 approximately equivalent abstraction, thereby enabling approximate modelorder reduction of dynamical systems ... BFComp on a canonical cardiaccell model, showing that the fourvariable Markovian model...

BABEL
 Referenced in 71 articles
[sw03018]
 BABEL combines pure PROLOG with a first order functional notation. On the other side ... narrowing as the basis of a lazy reduction semantics which embodies both rewriting ... which provides a notion of least Herbrand model for BABEL programs. We develop both semantics...

Morembs
 Referenced in 2 articles
[sw29513]
 MOREMBS (Model Order Reduction of Elastic Multibody Systems) is a software package which is developed ... common finite element programs and many reduction methods. The software is available in Matlab (MatMorembs ... Morembs++). For the reduction of small to medium models MatMorembs is used. If you want...

KerMor
 Referenced in 2 articles
[sw12979]
 MATLAB© library providing routines for model order reduction of dynamical systems using subspace projection...

Analog Insydes
 Referenced in 1 article
[sw10185]
 Fast and robust symbolic model order reduction with analog insydes. Nowadays analog circuits become more ... Insydes 2011, the Mathematica toolbox for symbolic modeling, analysis and reduction ... analog circuits. The transient symbolic model order reduction allows the approximation of behavioral models keeping...

PDE App
 Referenced in 1 article
[sw32482]
 ducts: a parametrized componenttosystem modelorderreduction approach. We present an SCRBE ... extensive family of acoustic duct models. The Static Condensation Reduced Basis Element (SCRBE) partial differential ... incorporates several principal ingredients: componenttosystem model construction, underlying “truth” finite element PDE discretization ... condensation at the component level, parametrized modelorder reduction for both the intercomponent (port...

LTSmin
 Referenced in 18 articles
[sw07214]
 independent parts: language modules, PINS optimizations, and model checking algorithms. On the other hand ... memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...

na8
 Referenced in 5 articles
[sw11513]
 given higher order transfer matrix is briefly described. The model reduction problem consists ... scale linear system by a lowerorder model according to a suitable criterion.par The paper ... formulation of the firstorder necessary conditions of optimality in terms of interpolation constraints ... simpler than most optimal or seven suboptimal reduction techniques presently available, since it requires only...

Eigentaste
 Referenced in 60 articles
[sw12451]
 ratings matrix. PCA facilitates dimensionality reduction for offline clustering of users and rapid computation ... appendix we use uniform and normal distribution models to derive analytic estimates of NMAE when ... Jester dataset, Eigentaste computes recommendations two orders of magnitude faster with no loss of accuracy...

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

BIONJ
 Referenced in 30 articles
[sw08301]
 firstorder model of the variances and covariances of evolutionary distance estimates. This model ... selection, from the class of admissible reductions, of the reduction which minimizes the variance...

BLAD
 Referenced in 19 articles
[sw08612]
 related to parameter estimation and model reduction problems. In both cases, differential elimination ... least partly, sketched in this paper in order to put some light on the real...

Exp.Open
 Referenced in 10 articles
[sw07702]
 implements onthefly partial order reductions to avoid the generation of irrelevant interleavings ... independent transitions.Fourth, Exp.Open 2.0 allows to export models towards other tools using interchange formats such...