Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks

✍ Scribed by Pey-Chang Kent Lin, Sunil P. Khatri (auth.)

Publisher: Springer-Verlag New York
Year: 2014
Tongue: English
Leaves: 112
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages i-xxi
Introduction....Pages 1-21
Front Matter....Pages 23-23
Predictor Set Inference using SAT....Pages 25-38
Determining Gene Function in Boolean Networks using SAT....Pages 39-51
Predictor Ranking using Modified Zhegalkin Functions....Pages 53-74
Front Matter....Pages 75-75
ATPG for Cancer Therapy....Pages 77-92
Summary and Future Work....Pages 93-95
Back Matter....Pages 97-100

✦ Subjects

Circuits and Systems; Biomedical Engineering; Computational Biology/Bioinformatics

📜 SIMILAR VOLUMES

Logic Synthesis for Genetic Diseases: Mo

📁 Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks

✍ Pey-Chang Kent Lin, Sunil P. Khatri 📂 Library 📅 2013 🏛 Springer 🌐 English

Reasoning in Boolean Networks: Logic Syn

📁 Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques

✍ Wolfgang Kunz, Dominik Stoffel (auth.) 📂 Library 📅 1997 🏛 Springer US 🌐 English

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level

Gene Discovery for Disease Models

📁 Gene Discovery for Disease Models

✍ Weikuan Gu, Yongjun Wang 📂 Library 📅 2011 🏛 Wiley 🌐 English

This book provides readers with new paradigms on the mutation discovery in the post-genome era. The completion of human and other genome sequencing, along with other new technologies, such as mutation analysis and microarray, has dramatically accelerated the progress in positional cloning of genes f

Networks in Systems Biology: Application

📁 Networks in Systems Biology: Applications for Disease Modeling

✍ Fabricio Alves Barbosa da Silva, Nicolas Carels, Marcelo Trindade dos Santos, Fr 📂 Library 📅 2020 🏛 Springer 🌐 English

This book presents a range of current research topics in biological network modeling, as well as its application in studies on human hosts, pathogens, and diseases. Systems biology is a rapidly expanding field that involves the study of biological systems through the mathematical modeling

Networks in Systems Biology: Application

📁 Networks in Systems Biology: Applications for Disease Modeling

✍ Fabricio Alves Barbosa da Silva, Nicolas Carels, Marcelo Trindade dos Santos, Fr 📂 Library 📅 2020 🏛 Springer International Publishing;Springer 🌐 English

This book presents a range of current research topics in biological network modeling, as well as its application in studies on human hosts, pathogens, and diseases. Systems biology is a rapidly expanding field that involves the study of biological systems through the mathematical modeli

Genomics of Rare Diseases: Understanding

📁 Genomics of Rare Diseases: Understanding Disease Genetics Using Genomic Approaches

✍ Claudia Gonzaga-Jauregui, James R. Lupski 📂 Library 📅 2021 🏛 Academic Press 🌐 English

Genomics of Rare Diseases: Understanding Disease Genetics Using Genomic Approaches, a new volume in the Translational and Applied Genomics series, offers readers a broad understanding of current knowledge on rare diseases through a genomics lens. This clear understanding of the late