Inference of Gene Predictor Set Using Boolean Satisfiability Conference Paper uri icon

abstract

  • The inference of gene predictors in the gene regulatory network (GRN) has become an important research area in the genomics and medical disciplines. Accurate predicators are necessary for constructing the GRN model and to enable targeted biological experiments that attempt to validate or control the regulation process. In this paper, we implement a SAT-based algorithm to determine the gene predictor set from steady state gene expression data (attractor states). Using the attractor states as input, the states are ordered into attractor cycles. For each attractor cycle ordering, all possible predictors are enumerated and a conjunctive normal form (CNF) expression is generated which encodes these predictors and their biological constraints. Each CNF is solved using a SAT solver to find candidate predictor sets. Statistical analysis of the resulting predictor sets selects the most likely predictor set of the GRN, corresponding to the attractor data. We demonstrate our algorithm on attractor state data from a melanoma study [1] and present our predictor set results. 2010 IEEE.

name of conference

  • 2010 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS)

published proceedings

  • 2010 IEEE INTERNATIONAL WORKSHOP ON GENOMIC SIGNAL PROCESSING AND STATISTICS (GENSIPS)

author list (cited authors)

  • Lin, P., & Khatri, S. P.

citation count

  • 3

complete list of authors

  • Lin, Pey-Chang Kent||Khatri, Sunil P

publication date

  • November 2010