LDR | | 02261nmm uu200409 4500 |
001 | | 000000333468 |
005 | | 20240805173103 |
008 | | 181129s2018 |||||||||||||||||c||eng d |
020 | |
▼a 9780438325265 |
035 | |
▼a (MiAaPQ)AAI10821844 |
035 | |
▼a (MiAaPQ)berkeley:17963 |
040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 248032 |
082 | 0 |
▼a 004 |
100 | 1 |
▼a Koksal, Ali Sinan. |
245 | 10 |
▼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 |
502 | 1 |
▼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 |
710 | 20 |
▼a University of California, Berkeley.
▼b Computer Science. |
773 | 0 |
▼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 |
856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T14998423
▼n KERIS |
980 | |
▼a 201812
▼f 2019 |
990 | |
▼a 관리자 |