3 papers
cs.FL2026
RAGTIMER 1.0: Rapid Rare-Event Partial State Space Construction for Stochastic VAS (extended version)
Landon Taylor, Joshua Jeppson, Bingqing Hu +2
Transient reachability analysis of rare events in Continuous-Time Stochastic Vector Addition Systems (CTSVAS) such as Chemical Reaction Networks (CRNs) has proven a formidable chal…
cs.DS2025
Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models
Landon Taylor, Joshua Jeppson, Ahmed Irfan +3
Highly-concurrent system models with vast state spaces like Chemical Reaction Networks (CRNs) that model biological and chemical systems pose a formidable challenge to cutting-edge…
q-bio.OT2025
A decade of SBOL Visual: growing adoption of a diagram standard for engineering biology
Lukas Buecherl, Felipe X. Buson, Georgie Hau Sørensen +10
Standards play a crucial role in ensuring consistency, interoperability, and efficiency of communication across various disciplines. In the field of synthetic biology, the Syntheti…