Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0803.0802

Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks

Pedro T. Monteiro·Delphine Ropers·Radu Mateescu·Ana T. Freitas·Hidde De Jong
View original source ↗Read source document ↗Export metadata ↓

Abstract

Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology to keep up with this increase in scale and complexity. The application of model-checking approaches is hampered, however, by the difficulty for non-expert users to formulate appropriate questions in temporal logic. In order to deal with this problem, we propose the use of patterns, that is, high-level query templates that capture recurring biological questions and that can be automatically translated into temporal logic. The applicability of the developed set of patterns has been investigated by the analysis of an extended model of the network of global regulators controlling the carbon starvation response in Escherichia coli.

Explore related subjects

q-bio.QM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. 2008-03-11. Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks. https://arxiv.org/abs/0803.0802

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Telegraph Processes with Extrinsic Fluctuations: Burst Dynamics and an Application to Domestic Cat Activity

Animal activity often consists of intermittent bursts separated by prolonged periods of inactivity. Here, we describe this behavior using a two-state telegraph process with extrinsically fluctuating transition rates. We derived analytical expressions for the stationary behavior of the system and characterized how stationary fluctuations in the effective transition rates modified the activity and residence time statistics. In particular, we show that whereas fixed transition rates lead to exponential residence-time distributions, stationary rate fluctuations generate effective Lomax distributions with heavier tails. We also found that fluctuations can either increase or decrease the mean occupancy of the active state, and that when the fluctuations in the two transition rates are equal, their effect on the stationary occupancy becomes indistinguishable from the case without fluctuations. We assessed the parameter inference using synthetic data and applied the framework to observations of a domestic cat. For synthetic data, accounting for extrinsic fluctuations substantially improved the recovery of the kinetic parameters used to generate the data. In the experimental data, the inferred variability of the inactive-to-active transition rate was substantially larger than that of the active-to-inactive rate. These results establish a tractable framework for studying stochastic switching systems in which extrinsic variability reshapes burst and residence-time statistics.

q-bio.QM↗
arXiv2026

TractSpLearn: Specialized Shared-Manifold Learning for Individualized Detection of Subtle White Matter Alterations in Mild Traumatic Brain Injury

Traumatic brain injury (TBI) often leads to subtle white matter damage that remains undetected on conventional MRI. Diffusion kurtosis imaging (DKI), an extension of diffusion tensor imaging (DTI), provides complementary information on non-Gaussian water diffusion and is sensitive to complex white-matter microstructure. With the advent of ultra-high-field MRI, the spatial resolution and signal-to-noise ratios (SNR) have been significantly enhanced, enabling more precise visualization of subtle abnormalities. Building on these advances, we developed TractSpLearn, an individualized tract-based learning framework that jointly considers within-group variability and between-group differences. Unlike the original TractLearn framework, which learns a normative manifold exclusively from healthy controls, TractSpLearn incorporates both healthy controls and patients to learn a shared manifold with a healthy-anchored representation and an additional patient-related component. To assess the performance of the proposed method, we compared TractSpLearn with the original TractLearn in three cohorts: (i) healthy controls (HC), (ii) athletes with persistent post-concussive syndromes (PPCS), and (iii) athletes with repeated head injuries (RHI), with abnormalities particularly evident in axial kurtosis (AK) and mean diffusivity (MD). In RHI, TractSpLearn highlighted recurrent abnormalities across patients. In the PPCS cohort, the overall group-level differences were more modest, potentially reflecting both limited statistical power due to the small sample size and partial normalization of white-matter alterations during recovery. Still TractSpLearn identified abnormality evidence in more patients and across more affected tracts than TractLearn.

q-bio.QM↗
arXiv2026

Multiscale modeling of host-pathogen interactions and mucociliary clearance during non-tuberculous mycobacterial pulmonary infection

Non-tuberculous mycobacterial (NTM) infections are a clinical challenge in cystic fibrosis (CF), where impaired mucociliary clearance and altered mucus rheology promote bacterial colonization despite host immune responses. Understanding how bacterial growth, immune cell dynamics, and mucus transport regulate infection progression is difficult because these processes interact across spatial and temporal scales. We develop a computational framework bridging a mechanistic agent-based model (ABM) of NTM infection with a spatially resolved partial differential equation (PDE) model. The PDE model couples bacterial proliferation, macrophage chemotaxis, immune-mediated clearance, mucus degradation, and viscoelastic transport in a two-compartment geometry representing mucus and lung tissue. Parameters are calibrated using data from the established ABM, yielding an efficient continuum representation while preserving cellular mechanisms. The PDE model reproduces bacterial and macrophage dynamics and enables analyses of mucus-related mechanisms and therapies. Sensitivity analysis identifies mucus viscosity, bacterial diffusivity, and macrophage mobility as key regulators of bacterial persistence through mucociliary clearance and tissue colonization. Simulations reveal nonlinear effects of mucolytic therapies: enhanced clearance reduces bacterial burden in mucus, whereas excessive viscosity reduction may promote migration into lung tissue, supporting combination with antibacterial treatment. This framework provides a quantitative platform for studying pulmonary infections, evaluating therapies, and developing patient-specific digital twins.

q-bio.QM↗