
QHOPDM
 Referenced in 5 articles
[sw04335]
 costeffective sulphur emission reduction model. Success with a reallife 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 mediumsized 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 lowerorder 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 statespace 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 ... energypreserving 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...

ValEncIAIVP
 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 integrandlevel 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 objectoriented model which is inherently compositional. We discuss central ... Core ABS, we prove a subject reduction property which shows that welltypedness is preserved ... occur at runtime for welltyped 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 multisource experiments modelling and full waveform tomography. In this paper ... boundary and supports antitime 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...