國立高雄大學圖資館 |

Language: English

Back

Genetic design automationa practical...

Baig, Hasan.

Genetic design automationa practical approach for the analysis, verification and synthesis of genetic logic circuits /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Genetic design automationby 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.
Published:	Cham :Springer International Publishing :2020.
Description:	xvi, 164 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Logic circuits.
Online resource:	https://doi.org/10.1007/978-3-030-52355-8
ISBN:	9783030523558$q(electronic bk.)

Genetic design automationa practical approach for the analysis, verification and synthesis of genetic logic circuits /
Baig, Hasan.

Genetic design automationa practical approach for the analysis, verification and synthesis of genetic logic circuits /[electronic resource] :by Hasan Baig, Jan Madsen. - Cham :Springer International Publishing :2020. - xvi, 164 p. :ill., digital ;24 cm.

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$q(electronic bk.)

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

182233
Logic circuits.

LC Class. No.: TK7868.L6

Dewey Class. No.: 621.395

Genetic design automationa practical approach for the analysis, verification and synthesis of genetic logic circuits /
LDR:03515nmm a2200325 a 4500 001 586142
003 DE-He213
005 20210105093017.0
006 m d
007 cr nn 008maaau
008 210323s2020 sz s 0 eng d
020 $a 9783030523558$q(electronic bk.)
020 $a 9783030523541$q(paper)
024 7 $a 10.1007/978-3-030-52355-8 $2 doi
035 $a 978-3-030-52355-8
040 $a GP $c GP
041 0 $a eng
050 4 $a TK7868.L6
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.395 $2 23
090 $a TK7868.L6 $b B152 2020
100 1 $a Baig, Hasan. $3 877438
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.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xvi, 164 p. : $b ill., digital ; $c 24 cm.
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 Logic circuits. $3 182233
650 0 $a Genetic engineering. $3 189009
650 0 $a Natural computation. $3 339160
650 1 4 $a Circuits and Systems. $3 274416
650 2 4 $a Biomedical Engineering and Bioengineering. $3 826326
650 2 4 $a Bioinformatics. $3 194415
700 1 $a Madsen, Jan. $3 275479
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-3-030-52355-8
950 $a Engineering (SpringerNature-11647)