Modelling biological systems allows us to understand how their components interact and give rise to complex behaviour. Initially, biology relied on mathematical models based on systems of differential equations whose solution describes the concentration of the molecules in time. Recently, spurred by the metaphor of “cells as computation†by Regev and Shapiro, the scientific community adapted concurrent languages to describe biological systems. This led to the creation of computational models which are executable and not simply solvable. Executable models offer some advantages over systems of differential equations, such as allowing the modeller to capture the causality relations among the events that constitute the dynamics of the model evolution. However, these new approaches introduce new issues; for example executing a model is more computationally intensive than solving a system of differential equations, especially if the model has to be executed several times because of statistical constraints. In this thesis we focus on reducing the execution time of biological models by applying static analysis techniques like control flow analysis and abstract interpretation.
Optimizing the Execution of Biological Models / Larcher, Roberto. - (2011), pp. 1-178.
Optimizing the Execution of Biological Models
Larcher, Roberto
2011-01-01
Abstract
Modelling biological systems allows us to understand how their components interact and give rise to complex behaviour. Initially, biology relied on mathematical models based on systems of differential equations whose solution describes the concentration of the molecules in time. Recently, spurred by the metaphor of “cells as computation†by Regev and Shapiro, the scientific community adapted concurrent languages to describe biological systems. This led to the creation of computational models which are executable and not simply solvable. Executable models offer some advantages over systems of differential equations, such as allowing the modeller to capture the causality relations among the events that constitute the dynamics of the model evolution. However, these new approaches introduce new issues; for example executing a model is more computationally intensive than solving a system of differential equations, especially if the model has to be executed several times because of statistical constraints. In this thesis we focus on reducing the execution time of biological models by applying static analysis techniques like control flow analysis and abstract interpretation.File | Dimensione | Formato | |
---|---|---|---|
thesis.pdf
accesso aperto
Tipologia:
Tesi di dottorato (Doctoral Thesis)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
3 MB
Formato
Adobe PDF
|
3 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione