• pyMOR

  • Referenced in 15 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 large-scale system ... Electrical Circuits is designed for model order reduction and numerical integration of model equations...
  • PAT

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

  • Referenced in 6 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...
  • 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 medium-sized models. The implementation and testing of new algorithms...
  • 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...
  • Morembs

  • Referenced in 4 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...
  • SparseRC

  • Referenced in 3 articles [sw38996]
  • Circuits With Many Terminals. A novel model order reduction (MOR) method, SparseRC, for multiterminal ... fill-in reducing orderings to improve sparsity during model reduction, while maintaining accuracy via moment...
  • SINDy

  • Referenced in 24 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 higher-order nonlinear terms that model...
  • BFComp

  • Referenced in 3 articles [sw18654]
  • approximately equivalent abstraction, thereby enabling approximate model-order reduction of dynamical systems ... BFComp on a canonical cardiac-cell model, showing that the four-variable 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...
  • 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 component-to-system model-order-reduction approach. We present an SCRBE ... extensive family of acoustic duct models. The Static Condensation Reduced Basis Element (SCRBE) partial differential ... incorporates several principal ingredients: component-to-system model construction, underlying “truth” finite element PDE discretization ... condensation at the component level, parametrized model-order reduction for both the inter-component (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 lower-order model according to a suitable criterion.par The paper ... formulation of the first-order 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]
  • tool-set for model checking Rebeca models. Inherent characteristics of Rebeca are used to introduce ... order reduction techniques for reducing the state space. Simple message-driven object-based computational model...
  • BIONJ

  • Referenced in 30 articles [sw08301]
  • first-order 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...
  • sssMOR

  • Referenced in 4 articles [sw38995]
  • model reduction algorithms that capture the relevant dynamics of the high order system in models...