Sangiovanni, Mara (2014) Model Checking of Metabolic Networks: Application to Metabolic Diseases. [Tesi di dottorato]
Anteprima |
Testo
Sangiovanni_Mara_26.pdf Download (3MB) | Anteprima |
| Tipologia del documento: | Tesi di dottorato |
|---|---|
| Lingua: | English |
| Titolo: | Model Checking of Metabolic Networks: Application to Metabolic Diseases |
| Autori: | Autore Email Sangiovanni, Mara mara.sangiovanni@unina.it |
| Data: | 29 Marzo 2014 |
| Numero di pagine: | 119 |
| Istituzione: | Università degli Studi di Napoli Federico II |
| Dipartimento: | 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 [non definito] |
| Data: | 29 Marzo 2014 |
| Numero di pagine: | 119 |
| Parole chiave: | Model Checking; Systems Biology; Genome-scale Metabolic Networks; |
| Settori scientifico-disciplinari del MIUR: | Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Depositato il: | 07 Apr 2014 13:29 |
| Ultima modifica: | 26 Gen 2015 12:21 |
| URI: | http://www.fedoa.unina.it/id/eprint/9785 |
Abstract
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)
 |
Modifica documento |
