Sangiovanni, Mara
(2014)
Model Checking of Metabolic Networks: Application to Metabolic Diseases.
[Tesi di dottorato]
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 |
[error in script]
[error in script]
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 per month over past year
Actions (login required)
|
Modifica documento |