Model checking approach to cancer systems biology
Cancer is among the deadliest disease in the world. This is caused by an uncontrolled division of abnormal cells in the body. Some cancer might spread to take over parts of body that affect the health of a person. As medical technology improves, many treatments such as drugs can effectively control...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Final Year Project |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | http://hdl.handle.net/10356/62648 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
id |
sg-ntu-dr.10356-62648 |
---|---|
record_format |
dspace |
spelling |
sg-ntu-dr.10356-626482023-03-03T20:53:58Z Model checking approach to cancer systems biology Tan, Chun Wei Zheng Jie School of Computer Engineering DRNTU::Engineering::Computer science and engineering::Computing methodologies::Simulation and modeling Cancer is among the deadliest disease in the world. This is caused by an uncontrolled division of abnormal cells in the body. Some cancer might spread to take over parts of body that affect the health of a person. As medical technology improves, many treatments such as drugs can effectively control cancer growth. This project focus on using PRISM model checker to model the signalling pathways occurred and study the proteins reaction in each phase of Eukaryotic cells. The result gathered from PRISM model checker will be evaluated to better understand about the biology system in Eukaryotic cells. As part of the project, a multi-cycle Eukaryotic cell will be modelled by using the cell cycle control in Eukaryotes case study scenario found in PRISM and the ODE specifications of “Irreversible Transition, Bistability and Checkpoint Control in Eukaryotic Cell Cycle” by Professor John Tyson. The result of the multi-cycle Eukaryotic cell model helps to analyse the interaction between proteins (Clb2, Cln2 and Cdh1) and the cell cycle in Eukaryotic cell. The result gathered in this report aims to enhance the understanding of Eukaryotic cell cycle control which will be useful in future cancer and drug effect research. Bachelor of Engineering (Computer Science) 2015-04-24T06:25:06Z 2015-04-24T06:25:06Z 2015 2015 Final Year Project (FYP) http://hdl.handle.net/10356/62648 en Nanyang Technological University 70 p. application/pdf |
institution |
Nanyang Technological University |
building |
NTU Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NTU Library |
collection |
DR-NTU |
language |
English |
topic |
DRNTU::Engineering::Computer science and engineering::Computing methodologies::Simulation and modeling |
spellingShingle |
DRNTU::Engineering::Computer science and engineering::Computing methodologies::Simulation and modeling Tan, Chun Wei Model checking approach to cancer systems biology |
description |
Cancer is among the deadliest disease in the world. This is caused by an uncontrolled division of abnormal cells in the body. Some cancer might spread to take over parts of body that affect the health of a person. As medical technology improves, many treatments such as drugs can effectively control cancer growth. This project focus on using PRISM model checker to model the signalling pathways occurred and study the proteins reaction in each phase of Eukaryotic cells. The result gathered from PRISM model checker will be evaluated to better understand about the biology system in Eukaryotic cells. As part of the project, a multi-cycle Eukaryotic cell will be modelled by using the cell cycle control in Eukaryotes case study scenario found in PRISM and the ODE specifications of “Irreversible Transition, Bistability and Checkpoint Control in Eukaryotic Cell Cycle” by Professor John Tyson. The result of the multi-cycle Eukaryotic cell model helps to analyse the interaction between proteins (Clb2, Cln2 and Cdh1) and the cell cycle in Eukaryotic cell. The result gathered in this report aims to enhance the understanding of Eukaryotic cell cycle control which will be useful in future cancer and drug effect research. |
author2 |
Zheng Jie |
author_facet |
Zheng Jie Tan, Chun Wei |
format |
Final Year Project |
author |
Tan, Chun Wei |
author_sort |
Tan, Chun Wei |
title |
Model checking approach to cancer systems biology |
title_short |
Model checking approach to cancer systems biology |
title_full |
Model checking approach to cancer systems biology |
title_fullStr |
Model checking approach to cancer systems biology |
title_full_unstemmed |
Model checking approach to cancer systems biology |
title_sort |
model checking approach to cancer systems biology |
publishDate |
2015 |
url |
http://hdl.handle.net/10356/62648 |
_version_ |
1759854299973681152 |