國立虎尾科技大學 |

Genetic Design Automation = A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Genetic Design Automation / by Hasan Baig, Jan Madsen.
Reminder of title:	A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits /
Author:	Baig, Hasan.
other author:	Madsen, Jan.
Description:	XVI, 164 p. 158 illus., 148 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Electronic circuits. -
Online resource:	https://doi.org/10.1007/978-3-030-52355-8
ISBN:	9783030523558

Genetic Design Automation = A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits /
Baig, Hasan.

Genetic Design Automation A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits /[electronic resource] :by Hasan Baig, Jan Madsen. - 1st ed. 2020. - XVI, 164 p. 158 illus., 148 illus. in color.online resource.

Introduction -- Fundamentals of Molecular Biology and Genetic Circuits -- Dynamic Virtual Analyzer and Simulator -- Genetic Circuits Timing Analysis -- Genetic Circuits Logic Analysis -- Technology Mapping of Genetic Circuits -- Parameter Estimation and Sensitivity Analysis -- Learn to program rapidly with graphical programming -- Project 1 – Stochastic Simulation -- Project 2 – Parsing SBML -- Project 3 – Circuit generation with SBOL.

This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim tool (Dynamic Virtual Analyzer and Simulator) which is used for the analysis and verification of genetic logic circuits. This includes methods and algorithms for the timing and threshold value analyses of genetic logic circuits. Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. Chapters are followed by exercises which give readers hands-on practice with the tools presented. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools. Both DVASim and GeneTech are available from the developer’s website, free of charge. This book is intended for a multidisciplinary audience of computer scientists, engineers and biologists. It provides enough background knowledge for computer scientists and engineers, who usually do not have any background in biology but are interested to get involved in this domain. This book not only presents an accessible basic introduction to molecular biology, it also includes software tools which allow users to perform laboratory experiments in a virtual in-silico environment. This helps newbies to get a quick start in understanding and developing genetic design automation tools. The third part of this book is particular useful for biologists who usually find it difficult to grasp programming and are reluctant to developing computer software. They are introduced to the graphical programming language, LabVIEW, from which they can start developing computer programs rapidly. Readers are further provided with small projects which will help them to start developing GDA tools.

ISBN: 9783030523558

Standard No.: 10.1007/978-3-030-52355-8doiSubjects--Topical Terms:

563332
Electronic circuits.

LC Class. No.: TK7888.4

Dewey Class. No.: 621.3815

Genetic Design Automation = A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits /
LDR:03899nam a22003975i 4500 001 1029667
003 DE-He213
005 20200925073750.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030523558 $9 978-3-030-52355-8
024 7 $a 10.1007/978-3-030-52355-8 $2 doi
035 $a 978-3-030-52355-8
050 4 $a TK7888.4
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.3815 $2 23
100 1 $a Baig, Hasan. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1326455
245 1 0 $a Genetic Design Automation $h [electronic resource] : $b A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits / $c by Hasan Baig, Jan Madsen.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVI, 164 p. 158 illus., 148 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Introduction -- Fundamentals of Molecular Biology and Genetic Circuits -- Dynamic Virtual Analyzer and Simulator -- Genetic Circuits Timing Analysis -- Genetic Circuits Logic Analysis -- Technology Mapping of Genetic Circuits -- Parameter Estimation and Sensitivity Analysis -- Learn to program rapidly with graphical programming -- Project 1 – Stochastic Simulation -- Project 2 – Parsing SBML -- Project 3 – Circuit generation with SBOL.
520 $a This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim tool (Dynamic Virtual Analyzer and Simulator) which is used for the analysis and verification of genetic logic circuits. This includes methods and algorithms for the timing and threshold value analyses of genetic logic circuits. Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. Chapters are followed by exercises which give readers hands-on practice with the tools presented. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools. Both DVASim and GeneTech are available from the developer’s website, free of charge. This book is intended for a multidisciplinary audience of computer scientists, engineers and biologists. It provides enough background knowledge for computer scientists and engineers, who usually do not have any background in biology but are interested to get involved in this domain. This book not only presents an accessible basic introduction to molecular biology, it also includes software tools which allow users to perform laboratory experiments in a virtual in-silico environment. This helps newbies to get a quick start in understanding and developing genetic design automation tools. The third part of this book is particular useful for biologists who usually find it difficult to grasp programming and are reluctant to developing computer software. They are introduced to the graphical programming language, LabVIEW, from which they can start developing computer programs rapidly. Readers are further provided with small projects which will help them to start developing GDA tools.
650 0 $a Electronic circuits. $3 563332
650 0 $a Biomedical engineering. $3 588770
650 0 $a Bioinformatics. $3 583857
650 1 4 $a Circuits and Systems. $3 670901
650 2 4 $a Biomedical Engineering and Bioengineering. $3 1211019
700 1 $a Madsen, Jan. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 677957
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030523541
776 0 8 $i Printed edition: $z 9783030523565
776 0 8 $i Printed edition: $z 9783030523572
856 4 0 $u https://doi.org/10.1007/978-3-030-52355-8
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)