Logic Synthesis for Genetic Diseases

Modeling Disease Behavior Using Boolean Networks

  • Pey-Chang Kent Lin
  • Sunil P. Khatri

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Pey-Chang Kent Lin, Sunil P. Khatri
    Pages 1-21
  3. Inference of Gene Regulatory Networks

    1. Front Matter
      Pages 23-23
    2. Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 25-38
    3. Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 39-51
    4. Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 53-74
  4. Intervention of Gene Regulatory Networks

    1. Front Matter
      Pages 75-75
    2. Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 77-92
    3. Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 93-95
  5. Back Matter
    Pages 97-100

About this book

Introduction

This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors provide several VLSI logic techniques to model the genetic disease behavior as a BN, with powerful implicit enumeration techniques. Coverage also includes techniques from VLSI testing to control a faulty BN, transforming its behavior to a healthy BN, potentially aiding in efforts to find the best candidates for treatment of genetic diseases. 
 
• Discusses a new application for logic synthesis, which enables the use of Boolean Networks to model the behavior of genetic-based diseases;
• Demonstrates how techniques such as Boolean Satisfiability (SAT) and Automatic Test Pattern Generation (ATPG) can be applied in the context of genetics;
• Provides content that appeals to researchers in genetics and logic synthesis and enables readers to make the connection between genetic diseases and logic techniques in a clear, unambiguous manner.

Keywords

Automatic Test Pattern Generation Boolean Networks for Genetic Diseases Boolean Satisfiability Gene Regulatory Network Extraction Logic Synthesis Logic Synthesis for Genetic Diseases Modeling Disease Behavior VLSI Logic Synthesis

Authors and affiliations

  • Pey-Chang Kent Lin
    • 1
  • Sunil P. Khatri
    • 2
  1. 1.Electrical and Computer EngineeringTexas A&M UniversityCollege StationUSA
  2. 2.Electrical and Computer EngineeringTexas A&M UniversityCollege StationUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4614-9429-4
  • Copyright Information Springer Science+Business Media New York 2014
  • Publisher Name Springer, New York, NY
  • eBook Packages Engineering
  • Print ISBN 978-1-4614-9428-7
  • Online ISBN 978-1-4614-9429-4
  • About this book