Sangiovanni, Mara (2014) Model Checking of Metabolic Networks: Application to Metabolic Diseases. [Tesi di dottorato]
Preview |
Text
Sangiovanni_Mara_26.pdf Download (3MB) | Preview |
| Item Type: | Tesi di dottorato |
|---|---|
| Resource language: | English |
| Title: | Model Checking of Metabolic Networks: Application to Metabolic Diseases |
| Creators: | Creators Email Sangiovanni, Mara mara.sangiovanni@unina.it |
| Date: | 29 March 2014 |
| Number of Pages: | 119 |
| Institution: | Università degli Studi di Napoli Federico II |
| Department: | Medicina Molecolare e Biotecnologie Mediche |
| Scuola di dottorato: | Biotecnologie |
| Dottorato: | Biologia computazionale e bioinformatica |
| Ciclo di dottorato: | 26 |
| Coordinatore del Corso di dottorato: | nome email Cocozza, Sergio cocozza@unina.it |
| Tutor: | nome email Peron, Adriano UNSPECIFIED |
| Date: | 29 March 2014 |
| Number of Pages: | 119 |
| Keywords: | Model Checking; Systems Biology; Genome-scale Metabolic Networks; |
| Settori scientifico-disciplinari del MIUR: | Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Date Deposited: | 07 Apr 2014 13:29 |
| Last Modified: | 26 Jan 2015 12:21 |
| URI: | http://www.fedoa.unina.it/id/eprint/9785 |
Collection description
The prominent Model Checking technology is used to build executable models of Metabolic Networks. These models are verified or simulated to extract relevant information on the dynamics of the underlying biological system. The proposed methodology is tested on a genome-scale metabolic network model of the human hepatocyte to investigate on a mendelian disease called Primary Hyperoxaluria type I.
Downloads
Downloads per month over past year
Actions (login required)
 |
View Item |
