Logic Synthesis for Genetic Diseases

1. Introduction
Pey-Chang Kent Lin, Sunil P. Khatri

Part I. Inference of Gene Regulatory Networks

2. Predictor Set Inference using SAT
Pey-Chang Kent Lin, Sunil P. Khatri

3. Determining Gene Function in Boolean Networks using SAT
Pey-Chang Kent Lin, Sunil P. Khatri

4. Predictor Ranking using Modified Zhegalkin Functions
Pey-Chang Kent Lin, Sunil P. Khatri

Part II. Intervention of Gene Regulatory Networks

5. ATPG for Cancer Therapy
Pey-Chang Kent Lin, Sunil P. Khatri

6. Summary and Future Work
Pey-Chang Kent Lin, Sunil P. Khatri

Nyckelord: Engineering, Circuits and Systems, Biomedical Engineering, Computational Biology/Bioinformatics