東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Modeling and symbolic analysis of bi...

Ghosh, Ronojoy.

FindBook

Google Book

Amazon

博客來

Modeling and symbolic analysis of biological protein signaling networks using hybrid automata.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Modeling and symbolic analysis of biological protein signaling networks using hybrid automata./
作者:	Ghosh, Ronojoy.
面頁冊數:	136 p.
附註:	Source: Dissertation Abstracts International, Volume: 66-11, Section: B, page: 6103.
Contained By:	Dissertation Abstracts International66-11B.
標題:	Engineering, Biomedical. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3197434
ISBN:	9780542431319

Modeling and symbolic analysis of biological protein signaling networks using hybrid automata.
Ghosh, Ronojoy.

Modeling and symbolic analysis of biological protein signaling networks using hybrid automata. - 136 p.

Source: Dissertation Abstracts International, Volume: 66-11, Section: B, page: 6103.

Thesis (Ph.D.)--Stanford University, 2006.

This dissertation proposes a hybrid automata framework for modeling two intercellular protein signaling pathways active during development: the lateral inhibitory Delta-Notch pathway responsible for pattern formation in the skin of Xenopus laevis, and the Planar Cell Polarity (PCP) signaling pathway in Drosophila melanogaster wings. A fundamental objective of this work is to analytically compute constraints on the kinetic parameters of the model, for biologically interesting steady states to exist. The constraints are computed symbolically, without numerically instantiating the parameters, which is an advantage in modeling biological processes, where exact numerical parameters cannot often be identified from experimental data. Another key objective is the computation of initial protein concentrations that lead to a particular steady state. This is posed as a backward reachable set computation problem. An abstraction procedure is presented that converts the hybrid automaton into a discrete transition system, on which reachability is computed. The large size of the computed reachable sets make it difficult to directly interpret them in a biologically meaningful way. A query algorithm is developed that can test whether a particular protein distribution is guaranteed to converge to a specific steady state. Both the reachability and the query algorithm are demonstrated for the Delta-Notch hybrid model. The dissertation concludes with a description of the implementation of the analysis tools on a publicly available systems biology software platform known as Bio-SPICE; and a further example, lactose metabolism inside a cell, is analyzed.

ISBN: 9780542431319Subjects--Topical Terms:

1017684
Engineering, Biomedical.

Modeling and symbolic analysis of biological protein signaling networks using hybrid automata.
LDR:02599nmm 2200301 4500 001 1820068
005 20061011103044.5
008 130610s2006 eng d
020 $a 9780542431319
035 $a (UnM)AAI3197434
035 $a AAI3197434
040 $a UnM $c UnM
100 1 $a Ghosh, Ronojoy. $3 1909313
245 1 0 $a Modeling and symbolic analysis of biological protein signaling networks using hybrid automata.
300 $a 136 p.
500 $a Source: Dissertation Abstracts International, Volume: 66-11, Section: B, page: 6103.
500 $a Adviser: Claire Tomlin.
502 $a Thesis (Ph.D.)--Stanford University, 2006.
520 $a This dissertation proposes a hybrid automata framework for modeling two intercellular protein signaling pathways active during development: the lateral inhibitory Delta-Notch pathway responsible for pattern formation in the skin of Xenopus laevis, and the Planar Cell Polarity (PCP) signaling pathway in Drosophila melanogaster wings. A fundamental objective of this work is to analytically compute constraints on the kinetic parameters of the model, for biologically interesting steady states to exist. The constraints are computed symbolically, without numerically instantiating the parameters, which is an advantage in modeling biological processes, where exact numerical parameters cannot often be identified from experimental data. Another key objective is the computation of initial protein concentrations that lead to a particular steady state. This is posed as a backward reachable set computation problem. An abstraction procedure is presented that converts the hybrid automaton into a discrete transition system, on which reachability is computed. The large size of the computed reachable sets make it difficult to directly interpret them in a biologically meaningful way. A query algorithm is developed that can test whether a particular protein distribution is guaranteed to converge to a specific steady state. Both the reachability and the query algorithm are demonstrated for the Delta-Notch hybrid model. The dissertation concludes with a description of the implementation of the analysis tools on a publicly available systems biology software platform known as Bio-SPICE; and a further example, lactose metabolism inside a cell, is analyzed.
590 $a School code: 0212.
650 4 $a Engineering, Biomedical. $3 1017684
650 4 $a Engineering, Electronics and Electrical. $3 626636
650 4 $a Computer Science. $3 626642
650 4 $a Biology, General. $3 1018625
690 $a 0541
690 $a 0544
690 $a 0984
690 $a 0306
710 2 0 $a Stanford University. $3 754827
773 0 $t Dissertation Abstracts International $g 66-11B.
790 1 0 $a Tomlin, Claire, $e advisor
790 $a 0212
791 $a Ph.D.
792 $a 2006
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3197434