Computational Methods for Analysing Long-run Dynamics of Large Biological Networks

Systems biology combines developments in the fields of computer science, mathematics, engineering, statistics, and biology to study biological networks from a holistic point of view in order to provide a comprehensive, system level understanding of the underlying system. Recent developments in biological laboratory techniques have led to a slew of increasingly complex and large biological networks. This poses a challenge for formal representation and analysis of those large networks efficiently. To understand biology at the system level, the focus should be on understanding the structure and dynamics of cellular and organismal function, rather than on the characteristics of isolated parts of a cell or organism. One of the most important focuses is the long-run dynamics of a network, as they often correspond to the functional states, such as proliferation, apoptosis, and differentiation. In this thesis, we concentrate on how to analyse long-run dynamics of biological networks. In particular, we examine situations where the networks in question are very large. In the literature, quite a few mathematical models, such as ordinary differential equations, Petri nets, and Boolean networks (BNs), have been proposed for representing biological networks. These models provide different levels of details and have different advantages. Since we are interested in large networks and their long-run dynamics, we need to use ``coarse-grained" level models that focus on the system behaviour of the network while neglecting molecular details. In particular, we use probabilistic Boolean networks (PBNs) to describe biological networks. By focusing on the wiring of a network, a PBN not only simplifies the representation of the network, but it also captures the important characteristics of the dynamics of the network. Within the framework of PBNs, the analysis of long-run dynamics of a biological network can be performed with regard to two aspects. The first aspect lies in the identification of the so-called attractors of the constituent BNs of a PBN. An attractor of a BN is a set of states, inside which the network will stay forever once it goes in; thus capturing the network's long-term behaviour. A few methods have been discussed for computing attractors in the literature. For example, the binary decision diagram based approach and the satisfiability based approach. These methods, however, are either restricted by the network size, or can only be applied to synchronous networks where all the elements in the network are updated synchronously at each time step. To overcome these issues, we propose a decomposition-based method. The method works in three steps: we decompose a large network into small sub-networks, detect attractors in sub-networks, and recover the attractors of the original network using the attractors of the sub-networks. Our methods can be applied to both asynchronous networks, where only one element in the network is updated at each time step, and synchronous networks. Experimental results show that our proposed method is significantly faster than the state-of-the-art methods. The second aspect lies in the computation of steady-state probabilities of a PBN with perturbations. The perturbations of a PBN allow for a random, with a small probability, alteration of the current state of the PBN. In a PBN with perturbations, the long-run dynamics is characterised by the steady-state probability of being in a certain set of states. Various methods for computing steady-state probabilities can be applied to small networks. However, for large networks, the simulation-based statistical methods remain the only viable choice. A crucial issue for such methods is the efficiency. The long-run analysis of large networks requires the computation of steady-state probabilities to be finished as soon as possible. To reach this goal, we apply various techniques. First, we revive an efficient Monte Carlo simulation method called the two-state Markov chain approach for making the computations. We identify an initialisation problem, which may lead to biased results of this method, and propose several heuristics to avoid this problem. Secondly, we develop several techniques to speed up the simulation of PBNs. These techniques include the multiple central processing unit based parallelisation, the multiple graphic processing unit based parallelisation, and the structure-based parallelisation. Experimental results show that these techniques can lead to speedups from ten times to several hundreds of times. Lastly, we have implemented the above mentioned techniques for identification of attractors and the computation of steady-state probabilities in a tool called ASSA-PBN. A case-study for analysing an apoptosis network with this tool is provided

Data based identification and prediction of nonlinear and complex dynamical systems

We thank Dr. R. Yang (formerly at ASU), Dr. R.-Q. Su (formerly at ASU), and Mr. Zhesi Shen for their contributions to a number of original papers on which this Review is partly based. This work was supported by ARO under Grant No. W911NF-14-1-0504. W.-X. Wang was also supported by NSFC under Grants No. 61573064 and No. 61074116, as well as by the Fundamental Research Funds for the Central Universities, Beijing Nova Programme.Peer reviewedPostprin

Advances in Functional Decomposition: Theory and Applications

Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. These algorithms take advantage of suitable representations of the Boolean functions in order to be efficient. The first two algorithms compute simple-disjoint and disjoint-support decompositions. They are based on representing the target function by a Reduced Ordered Binary Decision Diagram (BDD). Unlike other BDD-based algorithms, the presented ones can deal with larger target functions and produce more decompositions without requiring expensive manipulations of the representation, particularly BDD reordering. The third algorithm also finds disjoint-support decompositions, but it is based on a technique which integrates circuit graph analysis and BDD-based decomposition. The combination of the two approaches results in an algorithm which is more robust than a purely BDD-based one, and that improves both the quality of the results and the running time. The fourth algorithm uses circuit graph analysis to obtain non-disjoint decompositions. We show that the problem of computing non-disjoint decompositions can be reduced to the problem of computing multiple-vertex dominators. We also prove that multiple-vertex dominators can be found in polynomial time. This result is important because there is no known polynomial time algorithm for computing all non-disjoint decompositions of a Boolean function. The fifth algorithm provides an efficient means to decompose a function at the circuit graph level, by using information derived from a BDD representation. This is done without the expensive circuit re-synthesis normally associated with BDD-based decomposition approaches. Finally we present two publications that resulted from the many detours we have taken along the winding path of our research

Algorithmic Information Theory Applications in Bright Field Microscopy and Epithelial Pattern Formation

Algorithmic Information Theory (AIT), also known as Kolmogorov complexity, is a quantitative approach to defining information. AIT is mainly used to measure the amount of information present in the observations of a given phenomenon. In this dissertation we explore the applications of AIT in two case studies. The first examines bright field cell image segmentation and the second examines the information complexity of multicellular patterns. In the first study we demonstrate that our proposed AIT-based algorithm provides an accurate and robust bright field cell segmentation. Cell segmentation is the process of detecting cells in microscopy images, which is usually a challenging task for bright field microscopy due to the low contrast of the images. In the second study, which is the primary contribution of this dissertation, we employ an AIT-based algorithm to quantify the complexity of information content that arises during the development of multicellular organisms. We simulate multicellular organism development by coupling the Gene Regulatory Networks (GRN) within an epithelial field. Our results show that the configuration of GRNs influences the information complexity in the resultant multicellular patterns