130 likes | 264 Views
Lambda Switch. A Quantitative Analysis Group C: Simon Janssen Leroy de Leeuw Yuriy Savelyev Frenkel Smeijers. Overview. Research Questions Biological Model SpiCO Model SPiM Model SpiCO vs. SPiM Conclusions. Research Questions.
E N D
Lambda Switch A Quantitative Analysis Group C: Simon Janssen Leroy de Leeuw Yuriy Savelyev Frenkel Smeijers
Overview • Research Questions • Biological Model • SpiCO Model • SPiM Model • SpiCO vs. SPiM • Conclusions
Research Questions • What is a λ switch and can we reproduce the switch in SpiCO? • How does SpiCO compare to SPiM?
Biological Model • Two pathways of λinfected Escherichia coli bacterium: lysogeny and lytic growth
SpiCO Model • Numbers taken from experiments and literature • Includes cooperation, negative feedback, self inhibition • No external event no induction no lytic growth
SpiCO Model 'cro' : object( with() profile('monomer' sum( send(channels#croDimerize sync 'dimer') receive(channels#croDimerize sync 0) ) ) profile('dimer' new(c:rates() sum( sequence( send(channels#proDock bind(c)) receive(c return(op)) send(op specCro) 'bound'(op) ) sequence( receive(channels#croDimerBreak sync) parallel( 'monomer' 'monomer' ) ) ) ) ) profile('bound'(op) send(op unbind 'dimer‘ ) ) ) ) )
SpiCO Model Bindings of RNAP on PRM and PR
SPiM Model • External event triggered
π-calculus Lots of numbers and text No documentation π-calculus Graphical output Documentation SpiCO vs. SPiM
Conclusions • The lysogeny state is very stable and usually needs an external event to change to the lytic growth • SpiCO is still under development no documentation, no nice output • We are among the very first external users of SpiCO