Sangiovanni, Mara (2014) Model Checking of Metabolic Networks: Application to Metabolic Diseases. [Tesi di dottorato]

[img]
Preview
Text
Sangiovanni_Mara_26.pdf

Download (3MB) | Preview
[error in script] [error in script]
Item Type: Tesi di dottorato
Lingua: English
Title: Model Checking of Metabolic Networks: Application to Metabolic Diseases
Creators:
CreatorsEmail
Sangiovanni, Maramara.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:
nomeemail
Cocozza, Sergiococozza@unina.it
Tutor:
nomeemail
Peron, AdrianoUNSPECIFIED
Date: 29 March 2014
Number of Pages: 119
Uncontrolled 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

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.

Actions (login required)

View Item View Item