Coefficient of determination in nonlinear signal processing
Signal Processing - Special section on signal processing technologies for short burst wireless communications
A Gene Network Model for Developing Cell Lineages
Artificial Life
Gene prediction using multinomial probit regression with Bayesian gene selection
EURASIP Journal on Applied Signal Processing
SAT-based ATPG using multilevel compatible don't-cares
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Inferring Connectivity of Genetic Regulatory Networks Using Information-Theoretic Criteria
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Exploiting Cycle Structures in Max-SAT
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks
Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks
Cancer therapy design based on pathway logic
Bioinformatics
Combinational test generation using satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 0.00 |
In the quest to understand and cure genetic diseases such as cancer, the fundamental approach being taken is undergoing a gradual change. It is becoming more acceptable to view these diseases as an engineering problem, and systems engineering approaches are becoming more accepted as a means to tackle genetic diseases. In this light, we believe that logic synthesis techniques can play a very important role. Several techniques from the field of logic synthesis can be adapted to assist in the arguably huge effort of modeling and controlling such diseases. The set of genes that control a particular genetic disease can be modeled as a Finite State Machine (FSM) called the Gene Regulatory Network (GRN). Important problems include (i) inferring the GRN from observed gene expression data from patients and (ii) assuming that such a GRN exists, determining the "best" set of drugs so that the disease is "maximally" cured. In this paper, we report initial results on the application of logic synthesis techniques that we have developed to address both these problems. In the first technique, we present Boolean Satisfiability (SAT) based approaches to infer the logical support of each gene that regulates melanoma, using gene expression data from patients of the disease. From the output of such a tool, biologists can construct targeted experiments to understand the logic functions that regulate a particular gene. The second technique assumes that the GRN is known, and uses a weighted partial Max-SAT formulation to find the set of drugs with the least side-effects, that steer the GRN state towards one that is closest to that of a healthy individual, in the context of colon cancer. Our group is currently exploring the application of several other logic techniques to a variety of related problems in this domain.