Results 71 to 80 of about 24,860,274 (294)
Partial Order Reduction with Compositional Verification [PDF]
, 2014 This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts.
Shaw, Adrian Mark
core
Results in Control and Optimization, 2023 Several approaches for reducing model order on the definite time segments have become the topic of investigation in a series of papers that bring challenges during application in a large-scale setting.
Xin Du +4 more
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
ORDER REDUCTION OF DAE MODELS [PDF]
IFAC Proceedings Volumes, 2005 Abstract This report outlines a technique for the order reduction of differential algebraic equations (DAEs). The order reduction is accomplished in two steps. First, algebraic states are partitioned into successive implicit sets of variables and equations by reconstructing the sparsity pattern into lower triangular block form.
John D. Hedengren, Thomas F. Edgar
openaire +1 more source
Journal of Mathematics in Industry, 2022 In the field of model order reduction for frequency response problems, the minimal rational interpolation (MRI) method has been shown to be quite effective.
Davide Pradovera, Fabio Nobile
doaj +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source
Advanced model order reduction for high-dimensional aerospace control systems
Franklin OpenThis paper presents the two-sided iterative algorithm (TSIA) and its frequency-limited extension for H2 optimal, a robust framework for model order reduction of a high-dimensional nonlinear aerospace model.
Md. Shariful Islam +2 more
doaj +1 more source
Basic principles and aims of model order reduction in compliant mechanisms [PDF]
Mechanical Sciences, 2011 Model order reduction appears to be beneficial for the synthesis and simulation of compliant mechanisms due to computational costs. Model order reduction is an established method in many technical fields for the approximation of large-scale linear time ...
M. Rösner, R. Lammering
doaj +1 more source