
SparseMatrix
 Referenced in 724 articles
[sw04629]
 structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision ... geometry (optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical process simulation...

benchmodred
 Referenced in 65 articles
[sw27644]
 Benchmark examples for model reduction of linear timeinvariant dynamical systems. We present a benchmark ... test and compare numerical methods for model reduction. All systems can be downloaded from...

LYAPACK
 Referenced in 63 articles
[sw12624]
 Large Lyapunov and Riccati Equations, Model Reduction Problems, and Linear–Quadratic Optimal Control Problems Users ... which also contains implementations of two model reduction methods and modifications of the Newton method...

VTK
 Referenced in 115 articles
[sw10593]
 advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay...

bootlib
 Referenced in 426 articles
[sw40642]
 models, and time series, spatial data and point processes. Chapter 9 describes how variance reduction...

Loewner
 Referenced in 51 articles
[sw17575]
 established between the Loewner framework for model reduction and the generalized inverses of singular ... natural and direct way for constructing models from measured input/output data...

MESS
 Referenced in 27 articles
[sw14886]
 Lyapunov and Riccati equations, and do model reduction. Even though MESS has been implemented...

PLT Redex
 Referenced in 23 articles
[sw09921]
 text is the first comprehensive presentation of reduction semantics in one volume; it also introduces ... support is critical for rapid prototyping and modeling, and this book is addressed ... formulate models as grammars and reduction models on their computers with the ease of paper...

Leibniz
 Referenced in 35 articles
[sw12871]
 estimation by a lazy learner  dimension reduction of models  decomposition of graphs and matrices  solution...

BLAD
 Referenced in 20 articles
[sw08612]
 related to parameter estimation and model reduction problems. In both cases, differential elimination...

pyMOR
 Referenced in 19 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...

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

BABEL
 Referenced in 71 articles
[sw03018]
 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 ... least Herbrand models, as well as a soundness result for the reduction semantics w.r.t...

PAT
 Referenced in 36 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...

emgr
 Referenced in 13 articles
[sw07554]
 widespread use, for example in: model reduction, decentralized control, optimal placement, sensitivity analysis...

DiVer
 Referenced in 10 articles
[sw01938]
 Proofbased Iterative Abstraction (PBIA) for model reduction, SATbased Unbounded Model Checking and Induction...

parest_dae
 Referenced in 7 articles
[sw09087]
 large species concentrations. A classic model reduction method known as the quasisteadystate assumption ... based on the QSSA is ubiquitous in modeling enzymatic reactions. In this chapter, we focus ... yearold approach of classic QSSA model reduction cannot be carried out for many ... many examples. Of course, the reduced model (and the full model, for that matter...

MORLAB
 Referenced in 9 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...

TopSpin
 Referenced in 13 articles
[sw00972]
 Automatic Symmetry Reduction for the SPIN Model Checker. TopSPIN is an automatic symmetry reduction tool...

sssMOR
 Referenced in 8 articles
[sw38995]
 sssMOR: analysis and reduction of largescale dynamical systems in MATLAB. The sssMOR Toolbox implements ... classic and stateoftheart model reduction algorithms that capture the relevant dynamics...