One great challenge of genomic research is to efficiently and accurately identify complex gene regulatory networks. The development of high-throughput technologies provides numerous experimental data such as DNA sequences, protein sequence, and RNA expression profiles makes it possible to study interactions and regulations among genes or other substance in an organism. However, it is crucial to make inference of genetic regulatory networks from gene expression profiles and protein interaction data for systems biology. This study will develop a new approach to reconstruct time delay Boolean networks as a tool for exploring biological pathways. In the inference strategy, we will compare all pairs of input genes in those basic relationships by their corresponding -scores for every output gene. Then, we will combine those consistent relationships to reveal the most probable relationship and reconstruct the genetic network. Specifically, we will prove that state transition pairs are sufficient and necessary to reconstruct the time delay Boolean network of nodes with high accuracy if the number of input genes to each gene is bounded. We also have implemented this method on simulated and empirical yeast gene expression data sets. The test results show that this proposed method is extensible for realistic networks.
Citation: Chueh T-H, Lu HH-S (2012) Inference of Biological Pathway from Gene Expression Profiles by Time Delay Boolean Networks. PLoS ONE 7(8): e42095. https://doi.org/10.1371/journal.pone.0042095
Editor: Frank Emmert-Streib, Queen’s University Belfast, United Kingdom
Received: February 21, 2012; Accepted: July 2, 2012; Published: August 31, 2012
Copyright: © Chueh, Lu. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Funding: The authors acknowledge support from the National Science Council, National Center for Theoretical Sciences, Shing-Tung Yau Center, and Center of Mathematical Modeling and Scientic Computing at the National Chiao Tung University in Taiwan. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.
Competing interests: The authors have declared that no competing interests exist.
In order to understand complex biological networks and pathways, we need to investigate global structures instead of individual behaviors since there are interactions and associations between genes. Due to the invention of high throughput technology, genome-wide expression profiles can be measured simultaneously . However, it is still a great challenge to identify complex biological networks from genome-wide data because the number of gene interactions is huge . In recent years, there has been a significant progress in research concerning genetic network models and network reconstruction problems.
Clustering and dimension reduction are important methods for grouping genes that have similar expression profiles , . In the framework of clustering, it is important to define the degree of similarity between genes. By the method of clustering, we can group genes that have similar expressions. However, we still cannot find the causal relationship between genes. Hence, apart from the relationship of similarity, we will also have to consider another causal relationship between genes.
There have been many methods proposed in the literature to tackle the problem of genetic regulatory network reconstruction. For instance, the steady state approach have been used to model gene regulatory networks . In addition, the Bayesian network model is an important technique that has been studied extensively in the past two decades –. A Bayesian network is a directed acyclic graph (DAG) comprised of two components. The first component is comprised of nodes that correspond to a set of variables and a set of directed edges between variables with Markov properties. The second component describes a conditional distribution for each variable given its parents in the graph. Recently, Bayesian network models have been applied to analyze microarray expression and biological data –. However, Bayesian network algorithms have limitations when dealing with large-scale gene regulatory networks because of their complex modeling structure . Although algorithms for reconstructing Bayesian networks have already been developed , , the algorithms’ computational costs remain a concern for the searching of all potential network structures on the genome-wide expression data.
Therefore, we are considering a simpler model: Boolean networks, which have been studied extensively in a variety of contexts. Boolean networks ,  can effectively explain the dynamic behaviors of living systems. Moreover, for large-scale gene regulatory networks, Kim et al.  have used Boolean network with chi-square test on the yeast cell cycle microarray gene expression data sets. The chaos and attractors of Boolean network are also discussed widely from the aspect of power spectrum –. Recently, Boolean network also have been used as a discrete model for the lac operon .
Boolean networks were originally introduced by Kauffman, and received attention in the studies of gene regulatory networks because of their simple structures . In a Boolean network model, nodes represent the gene expression states. The status of a gene is quantized to one of the two states: on or off, representing a gene as active or inactive respectively. The wiring of rules between nodes in the graph represents a functional link between genes and determines the expressions of target genes after giving a series of input genes. Under the structure of Boolean networks, the target gene is determined by a set of genes with specific rules. For each gene, if the indegree (i.e., the number of input genes to each gene) is bounded by a constant , only pairs of state transition are necessary and sufficient to reconstruct the original network with nodes , . However, Boolean networks have been criticized for their deterministic nature. The assumption that every affected gene would be expressed immediately at the next time step may be unsound.
Another point of view of constructing genetic network is to focus on the indication the pairwise relationships between genes. Most of the works is to find the gene-pairs with similarity relationship –. The similarity of a gene-pair represents the two genes with the same expression or opposite expression. In 2005, Li and Lu proposed directed acyclic Boolean network and the statistical reconstruction method of SPAN to infer the pair wise relations of every element . The proposed method can reconstruct Boolean networks from noisy array data by assigning an s-p-score for every pair of genes. In the study, they proposed another relationship between two genes: relationship of prerequisite under the Boolean network model. If gene is a prerequisite for gene , then the “on” status of gene is necessary for the “on” status of gene . Boolean implication network, with the similar aspect, investigated all Boolean implication between pairs of gene for large scale genome microarray datasets . Following the model, Wang et al. proposed a two step counting approach for constructing biological pathways with Boolean network. However, most of these methods only consider pair wise relationship in order to decrease the time complexity. Therefore, if the structure of network is a combination of a set of genes to affect another gene, the algorithms will lose some information and rules in the genetic network reconstruction.
In this study, we will consider a much more generalized model by combining the structure of the above two models. If a Boolean function with one or several genes is a prerequisite for a target gene, then the induction of the Boolean function with input genes is necessary for the expression of the target gene. Hence, the target will be influenced by the Boolean function with several input genes. However, the induction of the Boolean function may not activate the target gene immediately, but at a future time. Therefore, the target gene may not have been influenced right now and we will treat these relationships as time delay affection. In this study, we will infuse these additional relationships for more generalized systems.
Boolean networks were introduced by Kauffman (1969) forty years ago to represent genetic regulatory networks. First, we will review the definition of a Boolean network. A Boolean network is a directed graph consisting of two components: a set of nodes that corresponds to genes, and a list of Boolean functions that corresponds to the rule of interaction and combination of several genes. For every node , its expression is simplified to two levels: on and off, representing a gene as active or inactive. For every Boolean function , specified input nodes are assigned to the node in the graph and represent the rules of regulatory mechanisms between genes. The expression of a gene is determined by the expression of the gene directly affecting it with a Boolean function. Therefore, the state of each node is determined by the Boolean function .
For each node , the gene expression state at time is assumed to take either 0 (not-expressed) or 1 (expressed) and is expressed as . In a Boolean network, every gene expression profile at time is completely determined by the expression profile of a set of genes at time and the corresponding Boolean function . That is, we can write .
For convenience, we converted the Boolean network to the wiring diagram (See Figure 1) . For each node , suppose are the input nodes assigned to . Then we construct an additional node and connected the edge from to for each . That is, the set of represents the gene expression profile at time and the set of corresponds to the gene expression profile at time . Hence we can treat the set of as the input values and the set of as the corresponding output values. Therefore, the output values of are determined by .
The Structure of Time Delay Boolean Network
In the previous subsection, we found that given the values of the node () at time , the expressions at time will be updated immediately by specific Boolean function (). That is, for every gene , if the expression profile of a set of genes at time and the corresponding Boolean function is observed, the gene expression of at time is determined by . However, in real genetic regulatory situations, the deterministic system has been criticized due to the existence of misclassification error and noise. In addition, some of the gene expression may result in time delay when the gene is influenced by one or several input genes. That is, the induction of Boolean function may not activate the target gene immediately, but in the future. Hence, it would have been much more flexible to use a non-deterministic network system. In this subsection, we will consider two relationships between the Boolean function and the target gene instead of the deterministic relation.
First, we will introduce the structure of time delay Boolean networks. Suppose there are elements, in a Boolean network. For any elements with specific Boolean function , we have two kinds of pair wise relationship: prerequisite and similarity. We say that a Boolean function with specific input genes at time is the prerequisite for the target gene at time , if the on-status of Boolean function at time t is necessary for the on-status of gene at time . This relationship is denoted by . In other words, if the Boolean function is not active at time , gene will be inactive at time . If it does not cause confusion, we will omit the notation of and input genes as denoted by . Moreover, for every gene , we use as its dual (from 0 to 1, or from 1 to 0) in this paper. Therefore, for any Boolean function and target gene with a prerequisite relationship there are a total of two possible relationships: and . In this model, we do not consider the situation of a dual of Boolean function prerequisite to the target gene, that is and . Since for any Boolean function whose dual is a prerequisite to the target gene, there must exist another Boolean function that is a prerequisite to the target gene. For instance, if , where , then , where . Therefore, for the prerequisite relationship, we only consider the Boolean function that is a prerequisite to target gene and the dual of target gene.
The other type of relationship between Boolean function and target gene is similarity. We say that the Boolean function and target gene are similar if the status of the Boolean function and the status of the target gene are in the same expression, and we denoted this by fi∼vi. In the same way, we do not consider the situation of Boolean function similar to the dual of target gene such as fi∼ in this study. Since if there is one Boolean function that is similar to the dual of target gene, there must exist another Boolean function that is similar to the target gene.
In the diagram, if a Boolean function is a prerequisite to , we draw a directed arrow from the vertex to and if is similar to , we use an undirected line to connect and .
In the model of time delay Boolean network we proposed, the output of the gene expression is not completely determined by the input state and Boolean function. The output expression may have more than one possible result in the time delay Boolean network. We illustrate the above construction by an example in Figure 2. It has three elements, one similarity and two prerequisite relationships. The possible outputs for every input state are listed in the right part of the graph. If we knew the network structure, some of the inputs would have more than one possible output expression in the time delay Boolean network.
First, we only consider Boolean networks in which the maximum number of input genes is bounded by a constant for every target gene, because it has been proven that the number of profiles required grows exponentially if is not bounded . For simplicity, we only show algorithms for the case of . However, the algorithm can be intuitively generalized to any in a straightforward way. For the inference of genetic network, we need to clarify the following questions for each target gene.
- Which input genes will affect the target gene?
- What kind of Boolean functions will be used for combining those input genes?
- What kind of relationship exists between the Boolean function and the target gene?
In this subsection, we propose an algorithm to clarify the above questions. The algorithm below is conceptually very simple since it simply uses output Boolean functions with input genes and relationships with target genes that are consistent with the data. First, for each output gene expression at time such as , we consider all the pairs of elements in at time , for instance and . Then we count the eight incidents of () being (0,0,0), (0,0,1), , (1,1,1) from the sample and arrange them in a table; see the left part of Table 1. We mark a cell “+” if the count is positive and mark it “0” otherwise.
For detecting whether there exists a Boolean function which is a prerequisite to the target gene, we will compare the output table with the left four basic relationships in Table 2. We consider the basic relationships to be consistent with the output table if the position of 0 cell in the basic relationships is also 0 in the output table. By comparing the output table with the four basic relationships, we can find relationships that are consistent with the output tables. If there is more than one relationship that is consistent with the output tables, we would use the Boolean logic gate “and” to combine the Boolean function and transfer the result to another Boolean function. Hence, the final Boolean function is the prerequisite to the target gene. Similarly, by comparing the output table with the right four basic relations in Table 2, we could get another Boolean function which is the prerequisite to the dual of target gene.
Moreover, if only one Boolean function occurred in above relationship, that is, if there is only one Boolean function that is the prerequisite to the target gene or the dual of target gene, we will treat that relationship as our final relationship between the Boolean function and the target gene. However, if both of the two prerequisite relationships happened (i.e. and and ), we need to check whether these two relationships are in conflict. If the dual of is equivalent to , our conclusion for inference will be that is similar to the target gene (that is, ); otherwise, we will treat it as if there is no relationship between the input genes and the target gene because we did not gather enough information to judge true relationships between and () at this moment. By the above identification procedure, we can find the corresponding input genes, Boolean function and their relationship for every target gene.
Identification Algorithm with Noisy Array
In previous subsection, we discussed an identification method for data without noise. In this section we will consider the situation of noisy array data. We assume that every element in the entry of (, ), switches to its reverse status with a misclassification probability independently; that is(1)(2)
Thus, the observed array (, ) contains misclassification error. Our goal is to reconstruct time delay Boolean network from noisy array of binary data ().
Similar to section 2, we assume that the maximum number of input genes is bounded by 2 for every target gene. We treat the data in the table as a multinomial distribution with eight cells whose probabilities are as shown in the right part of Table 1, where . Similarly, we extract the data with misclassification error for every output gene and each pair of input genes as the table. Now the observed data are not generated from the multinomial , but from another multinomial as shown in Table 3, where .
Because of the misclassification error, a portion of the samples of may change to the other seven cells. We use the notations of , to represent the counts of eight cells changed from . Analogous notations are defined for . The splitting is shown in Table 4. Consequently, the generated probabilities () are calculated as follows: , where . Here, we adopt the notation analogous to . The above parameters and splits are shown in Table 4. In the table, it is easy to find that the correspondence between two sets of counts and probabilities is the following:(3)
For the complete data , the log-likelihood is given by(4)where are those splitting probabilities. Since the complete data are not observable, we use the EM algorithm to maximize the log-likelihood. In the E-step, the splitting counts of complete data are evaluated by the conditional expectations using the current values of the parameters by the following formula(5)where . One probabilities of are zero in those different hypotheses specified in Table 5. In the M-step, we maximize the conditional expectation of the log-likelihood for the complete data to obtain the maximum likelihood estimates (MLEs) of the parameters. According to the MLEs, we can compute the -score for every pair of input genes and target gene, which are obtained by estimating for the misclassification probability under every prerequisite relationship.
For the first step, we would like to determine the most probable relationships between every pair of input genes and one output gene. Next, we find the most probable Boolean function with pair input genes for every output gene and select candidate pairs of input genes and output gene for the watch list. Finally, we reconstruct a time delay Boolean network by integrating the relationship of those genes selected.
For one output gene and a pair of input genes and , we define the -scores , , , , , , are, respectively, the maximum likelihood estimates of p under the triangular model: , , , , , , , .
According to the EM algorithm described above, we can evaluate the -score for every output gene. We use the MLE to measure how well each hypothesis fits: the smaller the score is, the more likely that the corresponding hypothesis could be true.
If the samples are generated from a time delay Boolean network, -score are quite useful for the discovery of true relationships. Here we can consider the maximum compatibility criterion: to choose the maximum threshold value so that the selected relationships contain no conflicts . We collect those relationships whose -scores are smaller than a threshold. Known biological results are helpful for the determination of a threshold. For example, if we know the relationship is true, then the -scores smaller than should be in our watch list. As more relationships are included in the watch list, the more likely we are to observe incompatible ones. In general, we can choose the threshold that allows the maximum number of relationships with no conflicting relationships. Next we will demonstrate the method by illustration examples.
Results and Discussion
First, we will analyze the number of input/output pairs required for the network reconstruction of time delay Boolean network to be unique. The theoretical results of classical Boolean networks only consider the similar relationship , , . The following results prove the theoretical results time delay Boolean networks that has a more flexible structure and consider both similar and prerequisite relationship.
For all subsets of with genes, if all assignments (i.e., assignments) of Boolean values appear in input expression patterns and all of its possible output expression patterns of the target gene are present, the identification of genetic network is determined to be unique, if it exists.
(Proof) Let be any gene in and suppose is controlled by a Boolean function with similarity or prerequisite relationship (i.e., or ). If the Boolean function is similar to , the case is proved for the classical Boolean networks in Akutsu et al. (1998). Next, we consider the case of Boolean function as a prerequisite to . In this case, there must exist a specific input value for such that have two possible values 0 and 1. Hence, any other genes would not control because all assignments of Boolean values are appearance. Let us illustrate the above statement by the example for the case of and . If and , when the input of is 1, the outcome of being both 0 and 1 will appearance. Therefore, given the input of , the outcome of is not deterministic no matter the value of any other gene is 1 or 0. Hence, any other gene would not affect gene . If and for some Boolean function , there must exist an input such that . Then, for any other pair of gene where , the outcome of is not deterministic for any input of , if the input of is . In a case of , we can prove that gene which does not belong to would not affect the gene in a similar way.
The probability that one sub-assignment with all of its possible results in the target gene does not appear among m random input expression pattern is at most .
(Proof) For any fixed set of nodes , the probability that a sub-assignment does not appear in one random input expression pattern is . Thus, among the random input expressions, the probability that appears is times is equal to where . In addition, the probability that all of the possible results in the target gene does not appear among times input is smaller than for and equal to 1 for . Hence the probability that one sub-assignment and all of its possible results does not appear among random input expression is smaller than and this can be bounded by by an algebra calculation.
Next we prove the main theorem.
For the identification of one time delay Boolean network of n nodes with maximum indegree , uniformly and randomly sampled input patterns are sufficient for exact inference with probability at least .
(Proof) We consider the probability that the condition of Proposition 1 is not satisfied under random input expression patterns.
By Proposition 2, the probability that with all of its possible results in the target gene does not appear among the random input expression patterns is bounded by for any fixed set of nodes . Since the number of combinations of nodes from a set of possibilities is bounded by , the probability that the condition of Proposition 1 is not satisfied is at most . It is not difficult to see that holds for . Hence, we obtain the theorem by letting the non-identification probability .
Next we develop an information theoretic lower bound on the number of input/output pairs needed for the identification of a time delay Boolean network.
If the maximum indegree , at least input/output pairs are required for the identification of a time delay Boolean network in the worst case.
(Proof) The number of time delay Boolean networks is given by all the possible combination of Boolean function with nodes from a set of possibilities with all possible relations between Boolean functions with target node. Since there are possible combinations of input nodes, possible Boolean functions and 3 possible relations between Boolean function with each node, there are Boolean networks whose maximum indegree is at most . On the other hand, there are at most possible output patterns with one input expression pattern. Therefore, which is the same as input/output pairs are required in the worst case.
Example with Simulation and Real Data
We will illustrate our method by the example described in Figure 2. For the pair of samples consist of three elements list in the right part of Figure 2, we uniformly generated 100 input samples and their corresponding possible output samples with misclassification probability . For the prerequisite relationship, if the status of Boolean function with input genes is on, then we allow the output value to have equal probability of on or off. The data can be arranged as input/output sample similar to that obtained from the microarray data with time. Namely, the input of each sample can represent the gene expression at time and the output can represent the gene expression at time . For each pair of input and output genes, we compute the 8 basic -scores that represent the 8 basic hypotheses in Table 5 for all of pair input genes and output genes. After the calculation, the simulation results of every -score are listed in Table 6.
Beside the example with 3 elements, in order to shows the superiority of the proposed method can be applied to a larger network, a more comprehensive example with a larger network is given in Figure S1.
Next, we have to decide the threshold for choosing the relations. When we increase the threshold of the -score, the relations whose -score are smaller than the threshold will be chosen. Moreover, when the number is 0.138, the conflict occurs, since we have and . However, in our model, there are at most two genes that would affect an output gene. Therefore, we can choose 0.138 as our threshold and include relations whose -score is smaller than the threshold. By these procedures, we can reconstruct the time delay Boolean network identical to Figure 2.
In the area of gene regulatory network study, Schuller has summarized regulatory cis-acting elements of structural genes of the nonfermentative metabolism and described the molecular interactions among general regulators and pathway-specific factors . In the gene regulation of gluconeogenesis by Sip4 and Cat8 pathway, the carbon source control could be identified for the regulator Cat8; see (Figure 6) in Schuller . In this study, we apply our proposed approach to explore the expression profiles and show some exploratory result on the Cat8 pathway.
In order to demonstrate the effectiveness of reconstruction, we use the microarray expression dataset of yeast Saccharomyces cerevisiae produced by DeRisi et al.  and Spellman et al. . In total, the data is comprised of 41 experiments after filtering out experiments with missing values. By these experimental microarray data sets, we can use our proposed method to reconstruct the biological pathway and the genetic regulation network result is shown in Figure 3. The result is consistent with the genetic network in the literature. That is, the restraint of Mig1 or activation of Snf1 is a prerequisite for the decreasing of Cat8. Moreover, the restraint of Snf1 or Cat8 is a prerequisite for the decreasing of Mls1. However, the negative similarity between Snf1 and Mig1 is undetectable in our current model.
In this paper, we have introduced the model of time delay Boolean network that generalizes the Boolean network model in order to cope with dependencies that have two kinds of relationships: similarity and prerequisite. The approach for reconstruction of genetic network inference from gene expression data relies on the assumption that the expression of a gene is likely to be controlled by a relatively small number (say ) of genes. Also, some bounds on the size of data required for the identification of the time delay Boolean networks under constant of indegree are stated and discussed. Moreover, the algorithm of the network reconstruction from noisy array data is developed.
One characteristic of a Boolean network is that all the variables in the graph are binary. If the data we observed is continuous or quantized to have more than two levels, we need to discretize them. For microarray data, the ratios of expression level would be one possible approach of discretization. That is, we can treat the gene as on (active) if the log-ratio of its expression is larger than zero. We treat it as off (inactive) otherwise. In general, biological background knowledge will be helpful for setting thresholds for discretizaion. On the other hand, if the samples are obtained from a time course, then we can consider the gene as on or off by detecting whether the gene is either increasing or decreasing with time.
The work in progress is aimed at evaluating the effectiveness of the described approach for inferring genetic networks from biological gene expression time series data. Besides that, implementation on some other real biological data is also an important task.
For the implement of the network reconstruction algorithm, the greatest complexity is the computation of -score for each of the input elements and output elements, where is the number of elements and is the number of indegree. It is an iterative algorithm to compute the MLE for the -scores by EM procedure while the common practice is to set an upper bound for iterations in numerical implementation. Consequently, this keeps the complexity for the computation of MLE. In addition, the sorting algorithm for the data cost in terms of time. Hence, the overall time complexity for the network reconstruction is for this algorithm.
Conceived and designed the experiments: THC HHL. Performed the experiments: THC HHL. Analyzed the data: THC HHL. Contributed reagents/materials/analysis tools: THC HHL. Wrote the paper: THC HHL.
- 1. DeRisi JL, Iyer VR, Brown PO (1997) Exploring the metabolic and genetic control of gene expression on a genomic scale. Science 278: 680–686.
- 2. Bornholdt S (2005) Less is more in modeling large genetic networks. Science 310: 449–451.
- 3. Eisen MB, Spellman PT, Brown PO, Botstein D (1998) Cluster analysis and display of genome-wide expression patterns. Proc Natl Acad Sci U S A 95: 14863–14868.
- 4. Tzeng J, Lu HH-S, Li WH (2008) Multidimensional scaling for large genomic data sets. BMC Bioinformatics 9: 179.
- 5. Rawool S, Venkatesh K (2007) Steady state approach to model gene regulatory networks–simulation of microarray experiments. Biosystems 90: 636–655.
- 6. Jensen FV (1996) An introduction to Bayesian networks. London: University College London Press.
- 7. Jensen FV (2001) Bayesian networks and decision graphs. New York: Springer.
- 8. Moler EJ, Radisky DC, Mian IS (2000) Integrating naive bayes models and external knowledge to examine copper and iron homeostasis in s. cerevisiae. Physiol Genomics 4: 127–135.
- 9. Pearl J (1988) Probabilistic reasoning in intelligent systems: networks of plausible inference. San Mateo: Morgan Kaufmann.
- 10. Needham C, Bradford J, Bulpitt A, Westhead D (2007) A primer on learning in Bayesian networks for computational biology. PLoS Comput Biol 3: e129.
- 11. Reynolds S, Käll L, Riffle M, Bilmes J, Noble W (2008) Transmembrane topology and signal peptide prediction using dynamic Bayesian networks. PLoS Computational Biology 4: e1000213.
- 12. Friedman N, Linial M, Nachman I, Pe’er D (2000) Using bayesian networks to analyze expression data. Journal of Computational Biology 7: 601–620.
- 13. Imoto S, Higuchi T, Goto T, Tashiro K, Kuhara S, et al. (2004) Combining microarrays and biological knowledge for estimating gene networks via bayesian networks. Journal of Bioinformatics and Computational Biology 2: 77–98.
- 14. Scharfe C, Lu HH-S, Neuenburg JK, Allen EA, Li GC, Klopstock T, Cowan TM, Enns GM, Davis RW (2009) Mapping gene associations in human mitochondria using clinical disease phenotypes. PLoS Computational Biology 5: e1000374.
- 15. Liu T, Sung W, Mittal A (2006) Learning gene network using time-delayed bayesian network. International Journal of Artificial Intelligence Tools 15: 353–370.
- 16. Friedman N, Nachman I, Pe’er D (1999) Learning bayesian network structure from massive datasets: the sparse candidate algorithm. In: Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence. 206–215.
- 17. Heckerman D, Geiger D, Chickering DM (1995) Learning bayesian networks: the combination of knowledge and statistical data. Machine Learning 20: 197–243.
- 18. Balakrishnan S, Madigan D (2006) A one-pass sequential Monte Carlo method for Bayesian analysis of massive datasets. Bayesian Analysis 1: 345–362.
- 19. Huang S (1999) Gene expression profiling, genetic networks and cellular states: An integrating concept for tumorigenesis and drug discovery. Journal of Molecular Medicine 77: 469–480.
- 20. Shmulevich I, Gluhovsky I, Hashimoto RF, Dougherty ER, Zhang W (2003) Steady-state analysis of genetic regulatory networks modelled by probabilistic Boolean networks. Comparative and Functional Genomics 4: 601–608.
- 21. Kim H, Lee JK, Park T (2007) Boolean networks using the chi-square test for inferring large-scale gene regulatory networks. BMC Bioinformatics 8: 37.
- 22. Zhang R, de SCavalcante HLD, Gao Z, Gauthier DJ, Socolar JES, et al. (2009) Boolean chaos. Phys Rev E 80: 045202.
- 23. Socolar JES, Kauffman SA (2003) Scaling in ordered and critical random Boolean networks. Physical Review Letters 90: 68702.
- 24. Dealy S, Kauffman SA, Socolar JES (2005) Modeling pathways of differentiation in genetic regulatory networks with boolean networks: Research articles. Complex 11: 52–60.
- 25. Veliz-Cuba A, Stigler B (2011) Boolean models can explain bistability in the lac operon. Journal of Computational Biology 18: 783–794.
- 26. Kauffman SA (1969) Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology 22: 437–467.
- 27. Akutsu T, Miyano S (1999) Identification of genetic networks from a small number of gene expression patterns under the boolean network model. Proc Pacific Symposium on Biocomputing : 17–28.
- 28. Ideker T, Thorsson V, Karp R (2000) Discovery of regulatory interactions through perturbation: inference and experimental design. Proc Pacific Symposium on Biocomputing : 302–313.
- 29. Allocco DJ, Kohane IS, Butte AJ (2004) Quantifying the relationship between co-expression, coregulation and gene function. BMC Bioinformatics 5: 18.
- 30. Bosl WJ (2007) Systems biology by the rules: hybrid intelligent systems for pathway modeling and discovery. BMC Systems Biology 1: 13.
- 31. Jordan IK, Marino-Ramirez L, Wolf YI, Koonin EV (2004) Conservation and coevolution in the scale-free human gene coexpression network. Molecular Biology and Evolution 21: 2058–2070.
- 32. Lee HK, Hsu AK, Sajdak J, Qin J, Pavlidis P (2004) Coexpression analysis of human genes across many microarray data sets. Genome Research 14: 1085–1094.
- 33. Opgen-Rhein R, Strimmer K (2007) From correlation to causation networks: a simple approximate learning algorithm and its application to high-dimensional plant gene expression data. BMC Systems Biology 1: 37.
- 34. Li LM, Lu HH-S (2005) Explore biological pathways from noisy array data by directed acyclic boolean networks. Journal of Computational Biology 12: 170–185.
- 35. Sahoo D, Dill D, Gentles A, Tibshirani R, Plevritis S (2008) Boolean implication networks derived from large scale, whole genome microarray datasets. Genome Biology 9: R157.
- 36. Wang H, Lu HH-S, Chueh TH (2011) Constructing biological pathway by a two-step counting approach. Plos one 6: e20074.
- 37. Somogyi R, Sniegoski CA (1996) Modeling the complexity of genetic networks: Understanding multigene and pleiotropic regulation. Complexity 1: 45–63.
- 38. Akutsu T, Kuhara S, Maruyama O, Miyano S (1998) Identification of gene regulatory networks by strategic gene disruptions and gene overexpression. Proc 9th ACM-SIAM Symp Discrete Algorithms: 695–702.
- 39. Akutsu T, Kuhara S, Maruyama O, Miyano S (2003) Identification of genetic networks by strategic gene disruptions and gene overexpressions under a boolean model. Theoretical Computer Science 298: 235–251.
- 40. Schuller HJ (2003) Transcriptional control of nonfermentative metabolism in the yeast saccharomyces cerevisiae. Current Genetics 43: 139–160.
- 41. Spellman PT, Sherlock G, Zhang MQ, Iyer VR, Anders K, et al. (1998) Comprehensive identification of cell cycle-regulated genes of the yeast saccharomyces cerevisiae by microarray hybridization. Molecular Biology of Cell 9: 3273–3297.