BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Parameter Search and Robustness Analysis from Temporal Logic Speci
 fications in Biochemical Reaction Networks - Aurélien Rizk
DTSTART:20110317T100000Z
DTEND:20110317T110000Z
UID:TALK30258@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Finding mathematical models satisfying a specification built f
 rom the formalization of biological experiments is a common task of the mo
 deler. We show that the formalization of biological temporal properties of
  systems\, as observed in experiments\, in temporal logics specifications 
 enable the transposition of programming concepts and tools\, like model-ch
 ecking\, to the analysis of living processes at the cellular level. Also a
 s temporal logics allow one to express both qualitative (e.g. some protein
  is eventually produced) and quantitative (e.g. a concentration exceeds 10
 ) information they are well suited to the increasingly quantitative\, yet 
 incomplete\, uncertain and imprecise information now accumulated in the fi
 eld of quantitative systems biology. We define a continuous degree of sati
 sfaction of temporal logic formula and show how it can be used as a fitnes
 s function for  continuous optimization methods to provide a parameter sea
 rch procedure for biochemical reaction networks with respect to temporal s
 pecifications. Then we describe how we can use such a satisfaction measure
  for the robustness analysis of biological models. Finally we apply these 
 methods for the analysis of a cell cycle model\, on a coupled model of the
  cell cycle and the circadian clock to search for optimal injections sched
 ule of anticancer drugs\, and on a synthetic biology system to find kineti
 c parameter values that make a given temporal specification robust in a po
 pulation of cells despite variability.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR