Logic synthesis for genetic diseases [electronic resource] : modeling disease behavior using boolean networks / Pey-Chang Kent Lin, Sunil P. Khatri.
2014
QH430
Linked e-resources
Linked Resource
Details
Title
Logic synthesis for genetic diseases [electronic resource] : modeling disease behavior using boolean networks / Pey-Chang Kent Lin, Sunil P. Khatri.
Author
ISBN
9781461494294 electronic book
146149429X electronic book
9781461494287
1461494281
146149429X electronic book
9781461494287
1461494281
Published
New York, NY : Springer, 2014.
Language
English
Description
1 online resource (xxi, 100 pages) : illustrations (some color)
Item Number
10.1007/978-1-4614-9429-4 doi
Call Number
QH430
Dewey Decimal Classification
576.5
Summary
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed November 4, 2013).
Added Author
Available in Other Form
Original 9781461494287
Linked Resources
Record Appears in
Table of Contents
Predictor Set Inference using SAT
Determining Gene Function in Boolean Networks using SAT
Predictor Ranking using Modified Zhegalkin Functions
ATPG for Cancer Therapy
Summary and Future Work.
Determining Gene Function in Boolean Networks using SAT
Predictor Ranking using Modified Zhegalkin Functions
ATPG for Cancer Therapy
Summary and Future Work.