• QHOPDM

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

  • Referenced in 3 articles [sw17490]
  • Algorithm 945: Modred --a parallelized model reduction library. We describe a new parallelized Python library ... model reduction, modal analysis, and system identification of large systems and datasets. Our library, called...
  • 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...
  • PAROC

  • Referenced in 4 articles [sw21878]
  • model approximation step, including system identification, model reduction and global sensitivity analysis, (iii) a receding...
  • 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...
  • brglm2

  • Referenced in 8 articles [sw19510]
  • package brglm2. Bias Reduction in Generalized Linear Models. Estimation and inference from generalized linear models ... reduction. The brglmFit fitting method can achieve reduction of estimation bias either through the adjusted ... special case of generalized linear models for binomial and multinomial responses, the adjusted score equations...
  • dse

  • Referenced in 4 articles [sw24866]
  • state space model, and state-space model reduction techniques are implemented. An introduction and User...
  • dSPIN

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

  • Referenced in 3 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...
  • RARL2

  • Referenced in 3 articles [sw31514]
  • data). It can be used for model reduction, identification from frequency data, pole recovery...
  • SINDy

  • Referenced in 17 articles [sw30277]
  • order models of a fluid flow, we combine this approach with dimensionality reduction techniques ... energy-preserving quadratic nonlinearities. The resulting models, hereafter referred to as Galerkin regression models, incorporate...
  • ExplicitPRISMSymm

  • Referenced in 2 articles [sw13369]
  • ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. Probabilistic model checking of concurrent system ... state space associated with the system model. Symmetry reduction is a commonly employed technique that ... checking of exponentially large models. Most work on symmetry reduction focuses on symbolically represented probabilistic ... symmetry reduction technique for explicitly represented models. It significantly reduces build time and thus explicit...
  • ValEncIA-IVP

  • Referenced in 27 articles [sw04846]
  • preconditioning of the state equations, Taylor model arith- metic, as well as simulation techniques employing ... routines are a few existing approaches for reduction of overestimation. In this paper, the recently ... several methods implemented there for reduction of overestimation are described. Furthermore, a detailed comparison ... presented. Simulation re- sults for simplified system models in mechanical and bio- process engineering show...
  • SiMpLIfy

  • Referenced in 1 article [sw26665]
  • SiMpLIfy: A Toolbox for Structured Model Reduction. In this paper, we present a toolbox ... structured model reduction developed for MATLAB. In addition to structured model reduction methods using balanced ... introduce a numerical algorithm for structured model reduction using a subgradient optimization algorithm. We briefly ... demonstrate the applicability of various model reduction methods in the toolbox on a structured mass...
  • GoSam

  • Referenced in 27 articles [sw07310]
  • dimensional integrand-level decomposition or by tensor reduction. GoSam can be used to calculate ... loop QCD and/or electroweak corrections to Standard Model processes and offers the flexibility to link...
  • cmenet

  • Referenced in 7 articles [sw21048]
  • social sciences and genomics. The challenge in model selection lies in the grouped collinearity structure ... principles called CME coupling and reduction to efficiently perform model selection. Simulation studies demonstrate...
  • UQToolbox

  • Referenced in 2 articles [sw20360]
  • ANOVA; Global Sensitivity (Total Sensitivity Indices); Model reduction (Karhunen–Loève expansion...
  • ABS

  • Referenced in 26 articles [sw21211]
  • combination results in a concurrent object-oriented model which is inherently compositional. We discuss central ... Core ABS, we prove a subject reduction property which shows that well-typedness is preserved ... occur at runtime for well-typed ABS models. Finally, we briefly discuss the tool support...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • satisfiability of state predicates and CTL model checking. For satisfiability, both exhaustive search and heuristically ... system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability...
  • SuitSparseQR

  • Referenced in 27 articles [sw07592]
  • widely used for multi-source experiments modelling and full waveform tomography. In this paper ... boundary and supports anti-time aliasing and reduction velocity technique. Different attenuation mechanisms can easily ... codes are examined on simple and complicated models which proved satisfactory in terms of accuracy...