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.
Model Checking of Metabolic Networks: Application to Metabolic Diseases
2014
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Sangiovanni_Mara_26.pdf
accesso solo da BNCF e BNCR
Tipologia:
Altro materiale allegato
Licenza:
Tutti i diritti riservati
Dimensione
3.61 MB
Formato
Adobe PDF
|
3.61 MB | Adobe PDF |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14242/341798
Il codice NBN di questa tesi è
URN:NBN:IT:BNCF-341798