Computing Publications

Publications Home » A Ticking Clock: Performance Anal...

A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra

Jeremy T. Bradley

Conference or Workshop Paper
EPEW'08, 5th European Performance Evaluation Workshop
September, 2008
Lecture Notes in Computer Science
Volume 5261
pp.79–94
Springer Verlag
DOI 10.1007/978-3-540-87412-6_7
Abstract

We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock by which to regulate their behaviour. We consider two distinct stochastic models of the Circadian rhythm – one unbounded and the other bounded. We consider a fluid approximation of the models, and, by conversion to a set of ordinary differential equations, we are able to reproduce the correct rhythm. We show that with a bounded model, the clock phase can be affected by modifying the ability to manufacture some proteins.

Keywords
Fluid and ODE analysis
Performance Modelling and Analysis
Process Algebra
AESOP
Computational Biology
PDF of full publication (202 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (262 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.