Optimizing the Execution of Biological Models

Larcher, Roberto (2011) Optimizing the Execution of Biological Models. PhD thesis, University of Trento.

PDF - Doctoral Thesis
Available under License Creative Commons Attribution Non-commercial.



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.

Item Type:Doctoral Thesis (PhD)
Doctoral School:Information and Communication Technology
Subjects:Area 02 - Scienze fisiche
Repository Staff approval on:28 Apr 2011 11:30

Repository Staff Only: item control page