Probabilistic verification and analysis of biopathway dynamics

Ph.D

Saved in:

Bibliographic Details
Main Author:	SUCHEENDRA KUMAR PALANIAPPAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2013
Subjects:	probabilitistic verification, biopathway, dynamic Bayesian networks, probabilistic model checking, statistical model checking, probabilistic inference
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/43755
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-43755
record_format	dspace
spelling	sg-nus-scholar.10635-437552015-01-12T11:48:49Z 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
country	Singapore
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_	1681082802343247872

Probabilistic verification and analysis of biopathway dynamics

Similar Items