Genetic Design Automation: A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits 9783030523541, 9783030523558

Table of contents :
Preface
Contents
Acronyms
Part I Introduction
1 Introduction
1.1 Why Computations in Cells?
1.2 State-of-the-Art
1.3 Motivation
1.4 Scope of This Book
1.4.1 Virtual Experimentation
1.4.2 Timing and Threshold Analysis
1.4.3 Automatic Logic Validation
1.4.4 Effortless Circuit Designing
1.5 Book Organization
1.6 Resources
1.7 Conventions Used in This Book
References
2 Fundamentals of Molecular Biology and Genetic Circuits
2.1 Central Dogma of Molecular Biology
2.2 Example Genetic Circuit: Lac Operon
2.2.1 Genetic Logic in lac operon
2.2.2 The Standard SBOL Representation of lac operon
2.3 Standards
2.4 Genetic Design Automation (GDA) Tools
2.4.1 Sequence Editing Tools
2.4.2 Biochemical Modeling and Design Composition Tools
2.4.3 Genetic Mapping Tools
References
Part II Virtual Experimentation and Technology Mapping of Genetic Circuits
3 Virtual Experimentation Using DVASim
3.1 Motivation
3.2 Experimental Approach
3.2.1 SBML Support
3.2.2 Virtual Instrumentation
3.2.3 Virtual Experimentation
3.2.4 Logic Verification and Timing Analysis
3.3 Summary
Problems
References
4 Genetic Circuits Timing Analysis
4.1 Methodology
4.1.1 Preliminary Analysis of Threshold Value
4.1.2 Preliminary Analysis of Propagation Delay
4.1.3 D-VASim Plug-in for Threshold Value and Propagation Delay Analyses
4.1.3.1 Illustrative Explanation of the Algorithm
4.2 Experimentation by Simulation
4.2.1 Effects of Varying kd on the Threshold Values and Propagation Delays
4.2.2 Effects of Varying Threshold Values on the Propagation Delays
4.2.3 Effects of Varying Threshold Values on the % Output Consistency at High kd
4.2.4 Other Parameters Effecting the Threshold Values
4.2.5 Intermediate Propagation Delays
4.2.6 Experimentation on the SBML Model of Real Genetic Circuit
4.3 Summary
Problems
References
5 Genetic Circuits Logic Analysis
5.1 Methodology
5.1.1 Overview
5.1.2 Input Combinations Analysis
5.1.3 Variation Analysis and Boolean Expression Construction
5.2 Experimentation by Simulation
5.2.1 Analysis of the SBOL-SBML Converted Genetic Circuit Models
5.2.2 Logic Analysis and Verification
5.2.3 Effects of Varying Threshold Value on Circuit's Behavior
5.2.4 Performance Analysis
5.3 Summary
Problems
References
6 Technology Mapping of Genetic Circuits
6.1 Introduction and Motivation
6.2 Methodology
6.2.1 Logic Optimization
6.2.2 Logic Synthesis
6.2.3 Genetic Technology Mapping
6.3 GeneTech Interface
6.4 Experimentation by Simulation
6.5 Summary
Problems
References
Part III GDA Tool Development: A Quick Project-Oriented Approach
7 Learn to Program Rapidly with Graphical Programming
7.1 Getting Familiar with LabVIEW Interface
7.2 First LabVIEW Program
7.2.1 Creating Controls and Indicators
7.2.2 Building Graphical Logic
7.2.2.1 Conditional Logic: Case Structures
7.2.2.2 Continuous Iteration Using While Loops
7.3 Second LabVIEW Program
7.3.1 Reading a File in LabVIEW
7.3.2 Arrays and For Loops
7.3.3 Sequence Structures
7.3.4 Creating a SubVI
7.3.4.1 Creating an Icon of SubVI
7.3.5 Putting It Altogether
7.4 Other Important Structures
7.4.1 Formula Node
7.4.2 Event Structure
7.5 Summary
Problems
8 Project 1: Stochastic Simulations
8.1 Gillespie's Stochastic Simulation Algorithm
8.2 Implementation
8.3 Discussion
8.4 Challenge
8.5 Summary
9 Project 2: Parsing the SBML File
9.1 SBML Parsing
9.1.1 Extraction of Species Data
9.1.2 Extraction of Parameters Data
9.1.3 Extraction of Reactions Data
9.2 Challenge
9.3 Summary
Index

Polecaj historie

Genetic Design Automation : A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits [1st ed.] 9783030523541, 9783030523558

This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starti

1,018 119 7MB Read more

The Calculus: A Genetic Approach 9780226806693

When first published posthumously in 1963, this bookpresented a radically different approach to the teaching of calculus

181 116 10MB Read more

Microwave and RF circuits : analysis, synthesis, and design 9780890065464, 0890065462

491 133 22MB Read more

Neural Networks, Fuzzy Logic and Genetic Algorithms 9788120321861

10,147 1,871 17MB Read more

Babies by Design: The Ethics of Genetic Choice 9780300138573

We stand on the brink of unprecedented growth in our ability to understand and change the human genome. New reproductive

283 88 784KB Read more

A Practical Guide to Clinical Supervision in Genetic Counseling (GENETIC COUNSELING IN PRACTICE SERIES) 9780197635438, 9780197635452, 9780197635469, 0197635431

A Practical Guide to Clinical Supervision in Genetic Counseling provides a comprehensive overview of clinical supervisio

125 10 792KB Read more

Introduction to Logic Circuits & Logic Design with Verilog 9783030136055

1,039 301 256MB Read more

Historico-genetic Theory of Culture: On the Processual Logic of Cultural Change [1. Aufl.] 9783839415139

The book focuses on the modern understanding of human life-forms as constructs that followed an evolutionary history. Th

155 56 1MB Read more

Enabling Tools and Techniques for Organic Synthesis: A Practical Guide to Experimentation, Automation, and Computation 9781119855637

Provides the practical knowledge of how new technologies impact organic synthesis, enabling the reader to understand lit

216 74 10MB Read more

Glossary of biotechnology and genetic engineering 9789251043691

220 20 765KB Read more