SEARCH · arXiv Science

Results for “q-bio.MN”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7Linked to original sources

arXiv2009

A SAT-Based Algorithm for Computing Attractors in Synchronous Boolean Networks

This paper addresses the problem of finding cycles in the state transition graphs of synchronous Boolean networks. Synchronous Boolean networks are a class of deterministic finite state machines which are used for the modeling of gene regulatory networks. Their state transition graph cycles, called attractors, represent cell types of the organism being modeled. When the effect of a disease or a mutation on an organism is studied, attractors have to be re-computed every time a fault is injected in the model. We present an algorithm for finding attractors which uses a SAT-based bounded model checking. Novel features of the algorithm compared to the traditional SAT-based bounded model checking approaches are: (1) a termination condition which does not require an explicit computation of the diameter and (2) a technique to reduce the number of additional clauses which are needed to make paths loop-free. The presented algorithm uses much less space than existing BDD-based approaches and has a potential to handle several orders of magnitude larger networks.

q-bio.MN↗

arXiv2009

Functional characteristics of a double positive feedback loop coupled with autorepression

We study the functional characteristics of a two-gene motif consisting of a double positive feedback loop and an autoregulatory negative feedback loop. The motif appears in the gene regulatory network controlling the functional activity of pancreatic $β$-cells. The model exhibits bistability and hysteresis in appropriate parameter regions. The two stable steady states correspond to low (OFF state) and high (ON state) protein levels respectively. Using a deterministic approach, we show that the region of bistability increases in extent when the copy number of one of the genes is reduced from two to one. The negative feedback loop has the effect of reducing the size of the bistable region. Loss of a gene copy, brought about by mutations, hampers the normal functioning of the $β$-cells giving rise to the genetic disorder, maturity-onset diabetes of the young (MODY). The diabetic phenotype makes its appearance when a sizable fraction of the $β$-cells is in the OFF state. Using stochastic simulation techniques, we show that, on reduction of the gene copy number, there is a transition from the monostable ON to the ON state in the bistable region of the parameter space. Fluctuations in the protein levels, arising due to the stochastic nature of gene expression, can give rise to transitions between the ON and OFF states. We show that as the strength of autorepression increases, the ON$\to$OFF state transitions become less probable whereas the reverse transitions are more probable. The implications of the results in the context of the occurrence of MODY are pointed out..

q-bio.MN↗

arXiv2009

Functional models for large-scale gene regulation networks: realism and fiction

High-throughput experiments are shedding light on the topology of large regulatory networks and at the same time their functional states, namely the states of activation of the nodes (for example transcript or protein levels) in different conditions, times, environments. We now possess a certain amount of information about these two levels of description, stored in libraries, databases and ontologies. A current challenge is to bridge the gap between topology and function, i.e. developing quantitative models aimed at characterizing the expression patterns of large sets of genes. However, approaches that work well for small networks become impossible to master at large scales, mainly because parameters proliferate. In this review we discuss the state of the art of large-scale functional network models, addressing the issue of what can be considered as realistic and what the main limitations may be. We also show some directions for future work, trying to set the goals that future models should try to achieve. Finally, we will emphasize the possible benefits in the understanding of biological mechanisms underlying complex multifactorial diseases, and in the development of novel strategies for the description and the treatment of such pathologies.

q-bio.MN↗

arXiv2009

Athena: Modular CAM/CAD Software for Synthetic Biology

Synthetic biology is the engineering of cellular networks. It combines principles of engineering and the knowledge of biological networks to program the behavior of cells. Computational modeling techniques in conjunction with molecular biology techniques have been successful in constructing biological devices such as switches, oscillators, and gates. The ambition of synthetic biology is to construct complex systems from such fundamental devices, much in the same way electronic circuits are built from basic parts. As this ambition becomes a reality, engineering concepts such as interchangeable parts and encapsulation will find their way into biology. We realize that there is a need for computational tools that would support such engineering concepts in biology. As a solution, we have developed the software Athena that allows biological models to be constructed as modules. Modules can be connected to one another without altering the modules themselves. In addition, Athena houses various tools useful for designing synthetic networks including tools to perform simulations, automatically derive transcription rate expressions, and view and edit synthetic DNA sequences. New tools can be incorporated into Athena without modifying existing program via a plugin interface, IronPython scripts, Systems Biology Workbench interfacing and the R statistical language. The program is currently for Windows operating systems, and the source code for Athena is made freely available through CodePlex, www.codeplex.com/athena.

q-bio.QM↗

arXiv2026

The URDME manual Version 1.5

We have developed URDME, a general software for simulation of stochastic reaction-diffusion processes on unstructured meshes. This allows for a more flexible handling of complicated geometries and curved boundaries compared to simulations on structured, cartesian meshes. The underlying algorithm is the next subvolume method, extended to unstructured meshes by obtaining jump coefficients from a finite element formulation of the corresponding macroscopic equation. This manual describes version 1.5 of the software. Refer to http://www.urdme.org for the latest updates.

q-bio.MN↗

arXiv2009

A Dimension Reduction Method for Inferring Biochemical Networks

We present herein an extension of an algebraic statistical method for inferring biochemical reaction networks from experimental data, proposed recently in [3]. This extension allows us to analyze reaction networks that are not necessarily full-dimensional, i.e., the dimension of their stoichiometric space is smaller than the number of species. Specifically, we propose to augment the original algebraic-statistical algorithm for network inference with a preprocessing step that identifies the subspace spanned by the correct reaction vectors, within the space spanned by the species. This dimension reduction step is based on principal component analysis of the input data and its relationship with various subspaces generated by sets of candidate reaction vectors. Simulated examples are provided to illustrate the main ideas involved in implementing this method, and to asses its performance.

q-bio.MN↗

arXiv2009

Design of a dynamic model of genes with multiple autonomous regulatory modules by evolution in silico

New approach to design a dynamic model of genes with multiple autonomous regulatory modules by evolution in silico is proposed. The approach is based on Genetic Algorithms, enforced by new crossover operators, especially worked out for these purposes. The approach exploits the subbasin-portal architecture of the fitness functions suitable for this kind of evolutionary modeling. The effectiveness of the approach is demonstrated on a series of benchmark tests.

q-bio.QM↗

arXiv2009

Limit cycles in piecewise-affine gene network models with multiple interaction loops

In this paper we consider piecewise affine differential equations modeling gene networks. We work with arbitrary decay rates, and under a local hypothesis expressed as an alignment condition of successive focal points. The interaction graph of the system may be rather complex (multiple intricate loops of any sign, multiple thresholds...). Our main result is an alternative theorem showing that, if a sequence of region is periodically visited by trajectories, then under our hypotheses, there exists either a unique stable periodic solution, or the origin attracts all trajectories in this sequence of regions. This result extends greatly our previous work on a single negative feedback loop. We give several examples and simulations illustrating different cases.

math.DS↗

arXiv2009

Cis-Regulatory Modules Drive Dynamic Patterns of a Multicellular System

How intracellular and extracellular signals are integrated by transcription factors is essential for understanding complex cellular patterns at the population level. In this Letter, by using a synthetic genetic oscillator coupled to a quorum-sensing apparatus, we propose an experimentally feasible cis-regulatory module (CRM) which performs four possible logic operations (ANDN, ORN, NOR and NAND) of input signals. We show both numerically and theoretically that these different CRMs drive fundamentally different dynamic patterns, such as synchronization, clustering and splay state.

q-bio.QM↗

arXiv2010

Detection of network motifs by local concentration

Studying the topology of so-called {\em real networks}, that is networks obtained from sociological or biological data for instance, has become a major field of interest in the last decade. One way to deal with it is to consider that networks are built from small functional units called {\em motifs}, which can be found by looking for small subgraphs whose numbers of occurrences in the whole network of interest are surprisingly high. In this paper, we propose to define motifs through a local over-representation in the network and develop a statistic which allows us to detect them limiting the number of false positives and without time-consuming simulations. We apply it to the Yeast gene interaction data and show that the known biologically relevant motifs are found again and that our method gives some more information than the existing ones.

stat.AP↗

arXiv2010

The Function of Communities in Protein Interaction Networks at Multiple Scales

Background: If biology is modular then clusters, or communities, of proteins derived using only protein interaction network structure should define protein modules with similar biological roles. We investigate the link between biological modules and network communities in yeast and its relationship to the scale at which we probe the network. Results: Our results demonstrate that the functional homogeneity of communities depends on the scale selected, and that almost all proteins lie in a functionally homogeneous community at some scale. We judge functional homogeneity using a novel test and three independent characterizations of protein function, and find a high degree of overlap between these measures. We show that a high mean clustering coefficient of a community can be used to identify those that are functionally homogeneous. By tracing the community membership of a protein through multiple scales we demonstrate how our approach could be useful to biologists focusing on a particular protein. Conclusions: We show that there is no one scale of interest in the community structure of the yeast protein interaction network, but we can identify the range of resolution parameters that yield the most functionally coherent communities, and predict which communities are most likely to be functionally homogeneous.

q-bio.MN↗

arXiv2009

Anomalies in the transcriptional regulatory network of the yeast Saccharomyces cerevisiae

We investigate the structural and dynamical properties of the transcriptional regulatory network of the yeast {\it Saccharomyces cerevisiae} and compare it with two unbiased ensembles: one obtained by reshuffling the edges and the other generated by mimicking the transcriptional regulation mechanism within the cell. Both ensembles reproduce the degree distributions (the first -by construction- exactly and the second approximately), degree-degree correlations and the $k$-core structure observed in Yeast. An exceptionally large dynamically relevant core network found in Yeast in comparison with the second ensemble points to a strong bias towards a collective organization which is achieved by subtle modifications in the network's degree distributions. We use a Boolean model of regulatory dynamics with various classes of update functions to represent in vivo regulatory interactions. We find that the Yeast's core network has a qualitatively different behaviour, accommodating on average multiple attractors unlike typical members of both reference ensembles which converge to a single dominant attractor. Finally, we investigate the robustness of the networks and find that the stability depends strongly on the used function class. The robustness measure is squeezed into a narrower band around the order-chaos boundary when Boolean inputs are required to be nonredundant on each node. However, the difference between the reference models and the Yeast's core is marginal, suggesting that the dynamically stable network elements are located mostly on the peripherals of the regulatory network. Consistently, the statistically significant three-node motifs in the dynamical core of Yeast turn out to be different from and less stable than those found in the full transcriptional regulatory network.

q-bio.MN↗

arXiv2009

Boolean Network Approach to Negative Feedback Loops of the p53 Pathways: Synchronized Dynamics and Stochastic Limit Cycles

Deterministic and stochastic Boolean network models are build for the dynamics of negative feedback loops of the p53 pathways. It is shown that the main function of the negative feedback in the p53 pathways is to keep p53 at a low steady state level, and each sequence of protein states in the negative feedback loops, is globally attracted to a closed cycle of the p53 dynamics after being perturbed by outside signal (e.g. DNA damage). Our theoretical and numerical studies show that both the biological stationary state and the biological oscillation after being perturbed are stable for a wide range of noise level. Applying the mathematical circulation theory of Markov chains, we investigate their stochastic synchronized dynamics and by comparing the network dynamics of the stochastic model with its corresponding deterministic network counterpart, a dominant circulation in the stochastic model is the natural generalization of the deterministic limit cycle in the deterministic system. Moreover, the period of the main peak in the power spectrum, which is in common use to characterize the synchronized dynamics, perfectly corresponds to the number of states in the main cycle with dominant circulation. Such a large separation in the magnitude of the circulations, between a dominant, main cycle and the rest, gives rise to the stochastic synchronization phenomenon.

q-bio.MN↗

arXiv2009

Synchronized Dynamics and Nonequilibrium Steady States in a Stochastic Yeast Cell-Cycle Network

Applying the mathematical circulation theory of Markov chains, we investigate the synchronized stochastic dynamics of a discrete network model of yeast cell-cycle regulation where stochasticity has been kept rather than being averaged out. By comparing the network dynamics of the stochastic model with its corresponding deterministic network counterpart, we show that the synchronized dynamics can be soundly characterized by a dominant circulation in the stochastic model, which is the natural generalization of the deterministic limit cycle in the deterministic system. Moreover, the period of the main peak in the power spectrum, which is in common use to characterize the synchronized dynamics, perfectly corresponds to the number of states in the main cycle with dominant circulation. Such a large separation in the magnitude of the circulations, between a dominant, main cycle and the rest, gives rise to the stochastic synchronization phenomenon.

q-bio.MN↗

arXiv2009

Damage Spreading in Spatial and Small-world Random Boolean Networks

The study of the response of complex dynamical social, biological, or technological networks to external perturbations has numerous applications. Random Boolean Networks (RBNs) are commonly used a simple generic model for certain dynamics of complex systems. Traditionally, RBNs are interconnected randomly and without considering any spatial extension and arrangement of the links and nodes. However, most real-world networks are spatially extended and arranged with regular, power-law, small-world, or other non-random connections. Here we explore the RBN network topology between extreme local connections, random small-world, and pure random networks, and study the damage spreading with small perturbations. We find that spatially local connections change the scaling of the relevant component at very low connectivities ($\bar{K} \ll 1$) and that the critical connectivity of stability $K_s$ changes compared to random networks. At higher $\bar{K}$, this scaling remains unchanged. We also show that the relevant component of spatially local networks scales with a power-law as the system size N increases, but with a different exponent for local and small-world networks. The scaling behaviors are obtained by finite-size scaling. We further investigate the wiring cost of the networks. From an engineering perspective, our new findings provide the key design trade-offs between damage spreading (robustness), the network's wiring cost, and the network's communication characteristics.

cond-mat.dis-nn↗

arXiv2009

Robust Regulatory Networks

One of the characteristic features of genetic networks is their inherent robustness, that is, their ability to retain functionality in spite of the introduction of random errors. In this paper, we seek to better understand how robustness is achieved and what functionalities can be maintained robustly. Our goal is to formalize some of the language used in biological discussions in a reasonable mathematical framework, where questions can be answered in a rigorous fashion. These results provide basic conceptual understanding of robust regulatory networks that should be valuable independent of the details of the formalism. We model the gene regulatory network as a boolean network, a general and well-established model introduced by Stuart Kauffman. A boolean network is said to be in a viable configuration if the node states of the network at its fixpoint satisfy some given constraint. We specify how mutations affect the behavior of the boolean network. A network is then said to be robust if most random mutations to the network reach a viable configuration. The main question investigated in our study is: given a constraint on the fixpoint configuration, does there exist a network that is robust with respect to it and, if so, what is its structure? We demonstrate both explicit constructions of robust networks as well as negative results disproving their existence.

q-bio.MN↗

arXiv2010

Siphons in chemical reaction networks

Siphons in a chemical reaction system are subsets of the species that have the potential of being absent in a steady state. We present a characterization of minimal siphons in terms of primary decomposition of binomial ideals, we explore the underlying geometry, and we demonstrate the effective computation of siphons using computer algebra software. This leads to a new method for determining whether given initial concentrations allow for various boundary steady states.

math.AC↗

arXiv2009

Global Sensitivity Analysis of Biochemical Reaction Networks via Semidefinite Programming

We study the problem of computing outer bounds for the region of steady states of biochemical reaction networks modelled by ordinary differential equations, with respect to parameters that are allowed to vary within a predefined region. Using a relaxed version of the corresponding feasibility problem and its Lagrangian dual, we show how to compute certificates for regions in state space not containing any steady states. Based on these results, we develop an algorithm to compute outer bounds for the region of all feasible steady states. We apply our algorithm to the sensitivity analysis of a Goldbeter--Koshland enzymatic cycle, which is a frequent motif in reaction networks for regulation of metabolism and signal transduction.

q-bio.MN↗