• 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...
  • 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 medium-sized 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 model-order reduction of dynamical systems ... BFComp on a canonical cardiac-cell model, showing that the four-variable 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...
  • na8

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

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

  • Referenced in 51 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 26 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...
  • Rebeca

  • Referenced in 6 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...
  • Exp.Open

  • Referenced in 9 articles [sw07702]
  • implements on-the-fly 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 16 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...
  • PMTBR

  • Referenced in 15 articles [sw02086]
  • family of approximate principal-components-like 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...
  • SEL/HiFi

  • Referenced in 14 articles [sw22337]
  • spatial discretization method. The high-order spectral element macroscopic modeling code SEL/HiFi has been used ... number of elements results in exponential reduction of the numerical error. The alignment...
  • LFR-toolbox

  • Referenced in 18 articles [sw04756]
  • uncertainty descriptions: continuous- and discrete-time uncertain models, regular and singular parametric expressions, more general ... numerically robust Fortran implementations of order reduction tools via mex-function interfaces. The new enhancements...