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

ArbiLoMod
 Referenced in 5 articles
[sw21410]
 capture the geometric detail, localized model reduction can improve this workflow. To this ... reduced basis method for model order reduction. It assumes that the reduced basis on many ... 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...

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

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

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

BFComp
 Referenced in 2 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...

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

MORLAB
 Referenced in 1 article
[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...

LTSmin
 Referenced in 14 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 4 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...

Morembs
 Referenced in 1 article
[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...

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

Eigentaste
 Referenced in 52 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...

BIONJ
 Referenced in 28 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...

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

BLAD
 Referenced in 17 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...

Stuttering Equivalence
 Referenced in 1 article
[sw28575]
 verification techniques such as partialorder reduction for model checking. We formalize stuttering equivalence...

PMTBR
 Referenced in 16 articles
[sw02086]
 family of approximate principalcomponentslike reduction algorithms We present a family of algorithms that ... properties, and possess simple error estimation and order control procedures. By tailoring the method ... have been obtained in several situations, meaning models of small order that retain acceptable accuracy...