Probabilistic verification and analysis of biopathway dynamics
Ph.D
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 語言: | English |
| 出版: |
2013
|
| 主題: | |
| 在線閱讀: | http://scholarbank.nus.edu.sg/handle/10635/43755 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | National University of Singapore |
| 語言: | English |
| id |
sg-nus-scholar.10635-43755 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-437552024-10-24T18:56:17Z Probabilistic verification and analysis of biopathway dynamics SUCHEENDRA KUMAR PALANIAPPAN COMPUTER SCIENCE P. S. THIAGARAJAN probabilitistic verification, biopathway, dynamic Bayesian networks, probabilistic model checking, statistical model checking, probabilistic inference Ph.D DOCTOR OF PHILOSOPHY 2013-09-30T18:01:17Z 2013-09-30T18:01:17Z 2013-03-25 Thesis SUCHEENDRA KUMAR PALANIAPPAN (2013-03-25). Probabilistic verification and analysis of biopathway dynamics. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/43755 NOT_IN_WOS en |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| language |
English |
| topic |
probabilitistic verification, biopathway, dynamic Bayesian networks, probabilistic model checking, statistical model checking, probabilistic inference |
| spellingShingle |
probabilitistic verification, biopathway, dynamic Bayesian networks, probabilistic model checking, statistical model checking, probabilistic inference SUCHEENDRA KUMAR PALANIAPPAN Probabilistic verification and analysis of biopathway dynamics |
| description |
Ph.D |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE SUCHEENDRA KUMAR PALANIAPPAN |
| format |
Theses and Dissertations |
| author |
SUCHEENDRA KUMAR PALANIAPPAN |
| author_sort |
SUCHEENDRA KUMAR PALANIAPPAN |
| title |
Probabilistic verification and analysis of biopathway dynamics |
| title_short |
Probabilistic verification and analysis of biopathway dynamics |
| title_full |
Probabilistic verification and analysis of biopathway dynamics |
| title_fullStr |
Probabilistic verification and analysis of biopathway dynamics |
| title_full_unstemmed |
Probabilistic verification and analysis of biopathway dynamics |
| title_sort |
probabilistic verification and analysis of biopathway dynamics |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/43755 |
| _version_ |
1821204745812967424 |