東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Genetic design automation = a practi...

Baig, Hasan.

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Genetic design automation/ by Hasan Baig, Jan Madsen.
其他題名:	a practical approach for the analysis, verification and synthesis of genetic logic circuits /
作者:	Baig, Hasan.
其他作者:	Madsen, Jan.
出版者:	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.
Contained By:	Springer Nature eBook
標題:	Logic circuits. -
電子資源:	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 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

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

527270
Logic circuits.

LC Class. No.: TK7868.L6

Dewey Class. No.: 621.395

Genetic design automation = a practical approach for the analysis, verification and synthesis of genetic logic circuits /
LDR:03515nmm a2200325 a 4500 001 2243777
003 DE-He213
005 20210105093017.0
006 m d
007 cr nn 008maaau
008 211207s2020 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 3504125
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 527270
650 0 $a Genetic engineering. $3 530509
650 0 $a Natural computation. $3 1002233
650 1 4 $a Circuits and Systems. $3 896527
650 2 4 $a Biomedical Engineering and Bioengineering. $3 3381533
650 2 4 $a Bioinformatics. $3 553671
700 1 $a Madsen, Jan. $3 899584
710 2 $a SpringerLink (Online service) $3 836513
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)