• SparseMatrix

  • Referenced in 324 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...
  • LYAPACK

  • Referenced in 37 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 57 articles [sw10593]
  • advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay...
  • Leibniz

  • Referenced in 29 articles [sw12871]
  • estimation by a lazy learner - dimension reduction of models - decomposition of graphs and matrices - solution...
  • BLAD

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

  • Referenced in 65 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...
  • PLT Redex

  • Referenced in 12 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...
  • PABTEC

  • Referenced in 10 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...
  • Loewner

  • Referenced in 11 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...
  • DiVer

  • Referenced in 10 articles [sw01938]
  • Proof-based Iterative Abstraction (PBIA) for model reduction, SAT-based Unbounded Model Checking and Induction...
  • PAT

  • Referenced in 24 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...
  • TopSpin

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

  • Referenced in 6 articles [sw04457]
  • make it easy to specify complex reduction models. GaussFit uses orthogonal transformations (Householder transformations) instead...
  • QHOPDM

  • Referenced in 5 articles [sw04335]
  • cost-effective sulphur emission reduction model. Success with a real-life model induced...
  • MESS

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

  • Referenced in 21 articles [sw08301]
  • covariances of evolutionary distance estimates. This model is well adapted when these estimates are obtained ... selection, from the class of admissible reductions, of the reduction which minimizes the variance ... simulations have been performed with 12-taxon model trees to determine BIONJ’s efficiency. When ... model trees and the conditions of evolution tested, the topological error reduction...
  • MatMorembs

  • Referenced in 6 articles [sw17563]
  • Interfaces), the main issue is the model order reduction of elastic bodies. Matmorembs is especially ... suitable for the reduction of small to medium-sized models. The implementation and testing ... variety of reduction algorithms are available in MatMorembs. Besides, there exists a graphical user interface...
  • na8

  • Referenced in 4 articles [sw11513]
  • transfer matrix is briefly described. The model reduction problem consists in the approximation ... scale linear system by a lower-order model according to a suitable criterion.par The paper ... simpler than most optimal or seven suboptimal reduction techniques presently available, since it requires only...
  • pyMOR

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

  • Referenced in 29 articles [sw09888]
  • dSPIN is an extension of the SPIN model checker that offers efficient means ... standard SPIN’s state space exploration and reduction algorithms: memory references (pointers); dynamic memory allocation/deletion ... code references (function pointers); garbage collection; symmetry reductions. The design of dSPIN is driven ... need to enhance the expressiveness of existing modeling techniques, while coping with potential complexity blow...