MARC보기
LDR02261nmm uu200409 4500
001000000333468
00520240805173103
008181129s2018 |||||||||||||||||c||eng d
020 ▼a 9780438325265
035 ▼a (MiAaPQ)AAI10821844
035 ▼a (MiAaPQ)berkeley:17963
040 ▼a MiAaPQ ▼c MiAaPQ ▼d 248032
0820 ▼a 004
1001 ▼a Koksal, Ali Sinan.
24510 ▼a Program Synthesis for Systems Biology.
260 ▼a [S.l.] : ▼b University of California, Berkeley., ▼c 2018
260 1 ▼a Ann Arbor : ▼b ProQuest Dissertations & Theses, ▼c 2018
300 ▼a 124 p.
500 ▼a Source: Dissertation Abstracts International, Volume: 80-01(E), Section: B.
500 ▼a Advisers: Rastislav Bodik
5021 ▼a Thesis (Ph.D.)--University of California, Berkeley, 2018.
520 ▼a Cell signaling controls basic cellular activities and coordinates cell actions, such as cell differentiation, division and growth. Consequently, errors in cellular signaling are responsible for diseases such as cancer, autoimmunity, and diabetes
520 ▼a Executable biology describes mechanistic models of biological processes in a formal language that is dynamic and executable by a computer. Models in executable biology are able to capture complex behaviors of biological systems, such as time and
520 ▼a This thesis introduces tools to automatically infer executable models at different levels of abstraction from varied types of experimental data. In each case, we investigate identifiability of models when the provided experimental evidence and p
520 ▼a To evaluate our work, we apply our tools to in vivo, in vitro, and in silico data sets on cellular differentiation and protein signaling. We show that, through explicit characterization of ambiguities in input specifications, our approaches mak
590 ▼a School code: 0028.
650 4 ▼a Computer science.
690 ▼a 0984
71020 ▼a University of California, Berkeley. ▼b Computer Science.
7730 ▼t Dissertation Abstracts International ▼g 80-01B(E).
773 ▼t Dissertation Abstract International
790 ▼a 0028
791 ▼a Ph.D.
792 ▼a 2018
793 ▼a English
85640 ▼u http://www.riss.kr/pdu/ddodLink.do?id=T14998423 ▼n KERIS
980 ▼a 201812 ▼f 2019
990 ▼a 관리자