Skip to main content
  • Book
  • © 2014

Logic Synthesis for Genetic Diseases

Modeling Disease Behavior Using Boolean Networks

  • 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
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xxi
  2. Introduction

    • Pey-Chang Kent Lin, Sunil P. Khatri
    Pages 1-21
  3. Inference of Gene Regulatory Networks

    1. Front Matter

      Pages 23-23
    2. Predictor Set Inference using SAT

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

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

      • Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 53-74
  4. Intervention of Gene Regulatory Networks

    1. Front Matter

      Pages 75-75
    2. ATPG for Cancer Therapy

      • Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 77-92
    3. Summary and Future Work

      • Pey-Chang Kent Lin, Sunil P. Khatri
      Pages 93-95
  5. Back Matter

    Pages 97-100

About this book

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.

Authors and Affiliations

  • Electrical and Computer Engineering, Texas A&M University, College Station, USA

    Pey-Chang Kent Lin, Sunil P. Khatri

Bibliographic Information

  • Book Title: Logic Synthesis for Genetic Diseases

  • Book Subtitle: Modeling Disease Behavior Using Boolean Networks

  • Authors: Pey-Chang Kent Lin, Sunil P. Khatri

  • DOI: https://doi.org/10.1007/978-1-4614-9429-4

  • Publisher: Springer New York, NY

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media New York 2014

  • Hardcover ISBN: 978-1-4614-9428-7

  • Softcover ISBN: 978-1-4939-5535-0

  • eBook ISBN: 978-1-4614-9429-4

  • Edition Number: 1

  • Number of Pages: XXI, 100

  • Number of Illustrations: 20 b/w illustrations, 8 illustrations in colour

  • Topics: Circuits and Systems, Biomedical Engineering and Bioengineering, Computational Biology/Bioinformatics

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access