Showing q-bio.MNShow all
3 papers · 1 filter
q-bio.MN2026
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
Ondřej Huvar, Nikola Beneš, Martin Jonáš +2
Qualitative models provide crucial instruments for modelling complex biological systems. While advances in automated reasoning and symbolic encodings have enabled rigorous inferenc…
q-bio.MN2026
Relating biomarkers and phenotypes using dynamical trap spaces
Samuel Pastva, Kyu Hyong Park, Jordan C. Rozum +2
Connecting the dynamics of biomolecular networks to experimentally measurable cell phenotypes remains a central challenge in systems biology. Here we introduce a model-based defini…
q-bio.MN2024
An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
Samuel Pastva, Kyu Hyong Park, Ondrej Huvar +2
Asynchronous Boolean networks are a type of discrete dynamical system in which each variable can take one of two states, and a single variable state is updated in each time step ac…