The Calculus of Looping Sequences
|
|
- June Lyons
- 5 years ago
- Views:
Transcription
1 The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea MaggioloSchettini, Paolo Milazzo, Giovanni Pardini Dipartimento di Informatica, Università di Pisa, Italy Bertinoro June 7, 2008 Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
2 Outline of the talk 1 Introduction Cells are complex interactive systems 2 The Calculus of Looping Sequences (CLS) Definition of CLS The EGF pathway and the lac operon in CLS 3 CLS variants Stochastic CLS LCLS Spatial CLS 4 Future Work and References Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
3 Cells: complex systems of interactive components Main actors: membranes proteins DNA/RNA ions, macromolecules,... Interaction networks: metabolic pathways signaling pathways gene regulatory networks Computer Science can provide biologists with formalisms for the description of interactive systems and tools for their analysis. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
4 Outline of the talk 1 Introduction Cells are complex interactive systems 2 The Calculus of Looping Sequences (CLS) Definition of CLS The EGF pathway and the lac operon in CLS 3 CLS variants Stochastic CLS LCLS Spatial CLS 4 Future Work and References Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
5 The Calculus of Looping Sequences (CLS) We assume an alphabet E. Terms T and Sequences S of CLS are given by the following grammar: T ::= S S ::= ɛ ( ) L S T T T a S S where a is a generic element of E, and ɛ is the empty sequence. The operators are: S S : Sequencing ( ) L S : Looping (S is closed and it can rotate) T 1 T 2 : Containment (T 1 contains T 2 ) T T : Parallel composition (juxtaposition) Actually, looping and containment form a single binary operator ( S ) L T. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
6 Examples of Terms (i) (ii) (iii) ( a b c ) L ɛ ( a b c ) L ( d e ) L ɛ ( a b c ) L (f g ( d e ) L ɛ) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
7 Structural Congruence The Structural Congruence relations S and T are the least congruence relations on sequences and on terms, respectively, satisfying the following rules: S 1 (S 2 S 3 ) S (S 1 S 2 ) S 3 S ɛ S ɛ S S S T 1 T 2 T T 2 T 1 T 1 (T 2 T 3 ) T (T 1 T 2 ) T 3 T ɛ T T ( ɛ ) L ( ) L ( ) L ɛ T ɛ S1 S 2 T T S2 S 1 T We write for T. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
8 CLS Patterns Let us consider variables of three kinds: term variables (X, Y, Z,...) sequence variables ( x, ỹ, z,...) element variables (x, y, z,...) Patterns P and Sequence Patterns SP of CLS extend CLS terms and sequences with variables: P ::= SP SP ::= ɛ a ( ) L SP P P P X SP SP x x where a is a generic element of E, ɛ is the empty sequence, and x, x and X are generic element, sequence and term variables The structural congruence relation extends trivially to patterns Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
9 Rewrite Rules Pσ denotes the term obtained by replacing any variable in T with the corresponding term, sequence or element. Σ is the set of all possible instantiations σ A Rewrite Rule is a pair (P, P ), denoted P P, where: P, P are patterns variables in P are a subset of those in P A rule P P can be applied to all terms Pσ. Example: a x a b x b can be applied to a c a (producing b c b) cannot be applied to a c c a Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
10 Formal Semantics Given a set of rewrite rules R, evolution of terms is described by the transition system given by the least relation satisfying P P R Pσ ɛ Pσ P σ T T T T T T T T ( ) L ( ) L S T S T and closed under structural congruence. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
11 CLS modeling examples: the EGF pathway (1) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
12 CLS modeling examples: the EGF pathway (2) phosphorylations EGF EGFR nucleus SHC CELL MEMBRANE Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
13 CLS modeling examples: the EGF pathway (3) First steps of the EGF signaling pathway up to the binding of the signal-receptor dimer to the SHC protein The EGFR,EGF and SHC proteins are modeled as the alphabet symbols EGFR, EGF and SHC, respectively The cell is modeled as a looping sequence (representing its external membrane): EGF EGF ( EGFR EGFR EGFR EGFR ) L (SHC SHC) Rewrite rules modeling the first steps of the pathway: EGF ( EGFR x ) L ( ) L X CMPLX x X (R1) ( ) L ( ) L CMPLX x CMPLX ỹ X DIM x ỹ X (R2) ( DIM x ) L X ( DIMp x ) L X (R3) ( DIMp x ) L (SHC X ) ( DIMpSHC x ) L X (R4) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
14 CLS modeling examples: the EGFR pathway (4) A possible evolution of the system: EGF EGF ( EGFR EGFR EGFR EGFR ) L (SHC SHC) (R1) EGF ( EGFR CMPLX EGFR EGFR ) L (SHC SHC) (R1) ( EGFR CMPLX EGFR CMPLX ) L (SHC SHC) (R2) ( EGFR DIM EGFR ) L (SHC SHC) (R3) ( EGFR DIMp EGFR ) L (SHC SHC) (R4) ( EGFR DIMpSHC EGFR ) L SHC Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
15 CLS modeling examples: the lac operon (1) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
16 CLS modeling examples: the lac operon (2) Ecoli ::= ( m ) L (laci lacp laco lacz lacy laca polym) Rules for DNA transcription/translation: laci x laci x repr polym x lacp ỹ x PP ỹ x PP laco ỹ x lacp PO ỹ x PO lacz ỹ x laco PZ ỹ x PZ lacy ỹ x lacz PY ỹ betagal x PY laca x lacy PA perm x PA x laca transac polym (R1) (R2) (R3) (R4) (R5) (R6) (R7) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
17 CLS modeling examples: the lac operon (3) Ecoli ::= ( m ) L (laci lacp laco lacz lacy laca polym) Rules to describe the binding of the lac Repressor to gene o, and what happens when lactose is present in the environment of the bacterium: repr x laco ỹ x RO ỹ x RO ỹ repr x laco ỹ repr LACT RLACT RLACT repr LACT ) L ( ) L ( x (perm X ) perm x X LACT ( perm x ) L ( ) L X perm x (LACT X ) betagal LACT betagal GLU GAL (R8) (R9) (R10) (R11) (R12) (R13) (R14) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
18 Some variants of CLS Full CLS The looping operator can be applied to any term Terms such as ( a ( b ) L ) L c d are allowed CLS+ More realistic representation of the fluid nature of membranes: the looping operator can be applied to parallel compositions of sequences Can be encoded into CLS Stochastic CLS The application of a rule consumes a stochastic quantity of time LCLS (CLS with Links) Description of protein protein interactions at the domain level Spatial CLS Description of physical size and position of entities Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
19 Outline of the talk 1 Introduction Cells are complex interactive systems 2 The Calculus of Looping Sequences (CLS) Definition of CLS The EGF pathway and the lac operon in CLS 3 CLS variants Stochastic CLS LCLS Spatial CLS 4 Future Work and References Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
20 Background: the kinetics of chemical reactions Usual notation for chemical reactions: l 1 S l ρ S ρ k k 1 l 1P l γp γ where: S i, P i are molecules (reactants) l i, l i are stoichiometric coefficients k, k 1 are the kinetic constants The kinetics is described by the law of mass action: d[p i ] dt = l i k[s 1 ] l1 [S ρ ] lρ }{{} reaction rate l i k 1 [P 1 ] l 1 [Pγ ] l γ }{{} reaction rate Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
21 Background: Gillespie s simulation algorithm represents a chemical solution as a multiset of molecules computes the reaction rate a µ by multiplying the kinetic constant by the number of possible combinations of reactants Example: chemical solution with X 1 molecules S 1 and X 2 molecules S 2 reaction R 1 : S 1 + S 2 2S 1 rate a 1 = ( X 1 1 )( X2 1 ) k1 = X 1 X 2 k 1 reaction R 2 : 2S 1 S 1 + S 2 rate a 2 = ( X 1 2 ) k2 = X 1(X 1 1) 2 k 2 Given a set of reactions {R 1,... R M } and a current time t The time t + τ at which the next reaction will occur is randomly chosen with τ exponentially distributed with parameter M ν=1 a ν; The reaction R µ that has to occur at time t + τ is randomly chosen a with probability µ M. ν=1 aν At each step t is incremented by τ and the chemical solution is updated. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
22 Stochastic CLS (1) Stochastic CLS incorporates Gillespie s stochastic framework into the semantics of CLS Two main problems: What is a reactant in Stochastic CLS? A subterm of a term T is a term T ɛ such that T C[T ] for some context C A reactant is an occurence of a subterm What happens with variables? ( ) L ( ) L We consider a rule a (b X ) c X as a reaction between a molecule a on a membrane and any molecule b contained in the membrane. The semantics has to count how many times b occurs in the instantiation of X Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
23 Stochastic CLS (2) Let us assume the syntax of Full CLS... Given a finite set of stochastic rewrite rules R, the semantics of Stochastic R,T,r,b CLS is the least transition relation closed wrt and satisfying by the following inference rules: R : P L k PR R σ Σ P L σ R,P Lσ,k comb(p L,σ),1 P R σ T 1 R,T,r,b T 2 T 1 T 3 R,T,r,b binom(t,t 1,T 3) T 2 T 3 R,T,r,b T 1 T 2 T 1 (T 1 ) L R,(T 1) T L T 3,r b,1 3 (T 2 ) L T 3 R,T,r,b T 2 (T 3 ) L R,(T 3) T L T 1,r b,1 1 (T 3 ) L T 2 The transition system obtained can be easily transformed into a Continuous Time Markov Chain Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
24 A Stochastic CLS model of the lac operon (1) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
25 A Stochastic CLS model of the lac operon (2) Transcription of DNA, binding of lac Repressor to gene o, and interaction between lactose and lac Repressor: laci x 0.02 laci x Irna Irna 0.1 Irna repr polym x lacp ỹ 0.1 x PP ỹ x PP ỹ 0.01 polym x lacp ỹ x PP laco ỹ 20.0 polym Rna x lacp laco ỹ Rna 0.1 Rna betagal perm transac repr x laco ỹ 1.0 x RO ỹ x RO ỹ 0.01 repr x laco ỹ repr LACT RLACT RLACT 0.1 repr LACT (S1) (S2) (S3) (S4) (S5) (S6) (S7) (S8) (S9) (S10) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
26 A Stochastic CLS model of the lac operon (3) The behaviour of the three enzymes for lactose degradation: ( x ) L (perm X ) 0.1 ( perm x ) L X LACT ( perm x ) L X ( perm x ) L (LACT X ) (S11) (S12) betagal LACT betagal GLU GAL (S13) Degradation of all the proteins and mrna involved in the process: perm ɛ (S14) betagal transac Irna ɛ (S16) repr 0.01 ɛ (S18) Rna RLACT LACT (S20) ɛ (S15) ɛ (S17) 0.01 ɛ (S19) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
27 Simulation results (1) betagal perm perm on membrane Number of elements Time (sec) Production of enzymes in the absence of lactose ( m ) L (laci A 30 polym 100 repr) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
28 Simulation results (2) betagal perm perm on membrane Number of elements Time (sec) Production of enzymes in the presence of lactose 100 LACT ( m ) L (laci A 30 polym 100 repr) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
29 Simulation results (3) LACT (env.) LACT (inside) GLU Number of elements Time (sec) Degradation of lactose into glucose 100 LACT ( m ) L (laci A 30 polym 100 repr) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
30 A Stochastic CLS model of the Quorum Sensing (1) It is recognised that many bacteria have the ability of modulating their gene expressions according to their population density. This process is called quorum sensing. A diffusible small molecules (called autoinducers) One or more transcriptional activator proteins (R-proteins) located within the cell The autoinducer can cross freely the cellular membrane The R-protein by itself is not active without the autoinducer. The autoinducer molecule can bind to the R-protein to form an autoinducer/r-protein complex. The autoinducer/r-protein complex binds to the DNA enhancing the transcription of specific genes. These genes regulate both the production of specific behavioural traits and the production of the autoinducer and of the R-protein. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
31 A Stochastic CLS model of the Quorum Sensing (2) At low cell density, the autoinducer is synthesized at basal levels and diffuse in the environment where it is diluted. With high cell density the concentration of the autoinducer increases. Beyond a treshold the autoinducer is produced autocatalytically. The autocatalytic production results in a dramatic increase of product concentration. dna ++ LasB LasR LasI LasR 3-oxo-C12-HSL Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
32 A Stochastic CLS model of the Quorum Sensing (3) The behaviour of a single bacterium: 20 laso lasr lasi laso lasr lasi LasR (R1) laso lasr lasi 5 laso lasr lasi LasI (R2) LasI 8 LasI 3oxo (R3) 3oxo LasR R 3R 400 3oxo LasR (R4-R5) 3R laso lasr lasi RO lasr lasi (R6) 3RO lasr lasi 10 3R laso lasr lasi (R7) 3RO lasr lasi RO lasr lasi LasR (R8) 300 3RO lasr lasi 3RO lasr lasi LasI (R9) ( ) L 30 m (3oxo X ) 3oxo ( m ) L X (R10) 3oxo ( m ) L 1 ( ) L X m (3oxo X ) (R11) LasI 1 ɛ LasR 1 ɛ 3oxo 1 ɛ (R12-S14) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
33 Simulation results (1) 120 autoinducer 100 Number of elements Time (sec) Production of the autoinducer by a single bacterium Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
34 Simulation results (2) 120 autoinducer 100 Number of elements Time (sec) Production of the autoinducer by a population of five bacteria Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
35 Simulation results (3) 600 autoinducer 500 Number of elements Time (sec) Production of the autoinducer by a population of twenty bacteria Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
36 Outline of the talk 1 Introduction Cells are complex interactive systems 2 The Calculus of Looping Sequences (CLS) Definition of CLS The EGF pathway and the lac operon in CLS 3 CLS variants Stochastic CLS LCLS Spatial CLS 4 Future Work and References Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
37 Modeling proteins at the domain level To model a protein at the domain level in CLS it would be natural to use a sequence with one symbol for each domain The binding between two elements of two different sequences, cannot be expressed in CLS LCLS extends CLS with labels on basic symbols two symbols with the same label represent domains that are bound to each other example: a b 1 c d e 1 f Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
38 Syntax of LCLS Terms T and Sequences S of LCLS are given by the following grammar: T ::= S S ::= ɛ ( ) L S T T T a a n S S where a is a generic element of E, and n is a natural number. Patterns P and sequence patterns SP of LCLS are given by the following grammar: P ::= SP SP ::= ɛ a ( ) L SP P P P X a n SP SP x x x n where a is an element of E, n is a natural number and X, x and x are elements of TV, SV and X, respectively. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
39 Well formedness of LCLS terms and patterns (1) A 1 ( B1 1 B2 2) L C1 C22 C3 A 1 ( B ) L C 1 A 1 B 1 C 1 Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
40 Well formedness of LCLS terms and patterns (2) An LCLS term (or pattern) is well formed if and only if a label occurs no more than twice, and in the content of a looping sequence a label occurs either zero or two times Type system for well formedness: 1. (, ) = ɛ 2. (, ) = a 3. (, {n} ) = a n 4. (, ) = x 5. (, {n} ) = x n 6. (, ) = x 7. (, ) = X ( ) ( ) N1, N 1 = SP1 N2, N 2 = SP2 N 1 N 2 = N 1 N 2 = N 1 N 2 ( = N1 N 2 (N 1 N 2 ), (N 1 N 2 ) \ (N 1 N 2 )) = SP 1 SP 2 ( ) ( ) N1, N 1 = P1 N2, N 2 = P2 N 1 N 2 = N 1 N 2 = N 1 N 2 ( = N1 N 2 (N 1 N 2 ), (N 1 N 2 ) \ (N 1 N 2 )) = P 1 P ( ) ( ) N1, N 1 = SP N2, N 2 = P N1 N 2 = N 1 N 2 = N 1 N 2 = N 2 N 1 ( N1 N 2, N 1 \ ) ( ) L N 2 = SP P Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
41 Application of rewrite rules We would like to ensure that the application of a rewrite rule to a well formed term preserves well formedness not trivial: well formedness can be easily violated e.g. the rewrite rule a a 1 applied to ( b ) L a produces ( b ) L a 1 A compartment safe rewrite rule is such that it does not add/remove occurrences of variables it does not moves variables from one compartment (content of a looping sequence) to another one The application of a compartment safe rewrite rule preserves well formedness To apply a compartment unsafe rewrite rule we require that its patterns are CLOSED its variables are instantiated with CLOSED terms Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
42 The semantics of LCLS Given a set of compartment safe rewrite rules R CS and a set of compartemnt unsafe rewrite rules R CU, the semantics of LCLS is given by the following rules (appcs) (appcu) P 1 P 2 R CS P 1 σ ɛ σ Σ α A P 1 ασ P 2 ασ P 1 P 2 R CU P 1 σ ɛ σ Σ wf α A P 1 ασ P 2 ασ (par) (cont) T 1 T 1 L(T 1 ) L(T 2 ) = {n 1,..., n M } n 1,..., n M fresh T 1 T 2 T 1 {n 1,..., n M/n 1,..., n M } T 2 T T L(S) L(T ) = {n 1,..., n M } n 1,..., n M fresh ( S ) L T ( S ) L T { n 1,..., n M/n 1,..., n M } where α is link renaming, L(T ) the set of links occurring twice in the top level compartment of T Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
43 Main theoretical result Theorem (Subject Reduction) Given a set of well formed rewrite rules R and a well formed term T T T = T well formed Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
44 An LCLS model of the EGF pathway (1) phosphorylations EGF EGFR nucleus SHC CELL MEMBRANE Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
45 An LCLS model of the EGF pathway (2) We model the EGFR protein as the sequence R E1 R E2 R I 1 R I 2 R E1 and R E2 are two extra cellular domains R I 1 and R I 2 are two intra cellular domains The rewrite rules of the model are EGF ( R E1 x ) L X EGF 1 ( R 1 E1 x ) L X (R1) ( R 1 E1 R E2 x R 2 E1 R E2 ỹ ) L X ( R 1 E1 R 3 E2 x R 2 E1 R 3 E2 ỹ ) L X (R2) ( R 1 E2 R I 1 x ) L X ( R 1 E2 PR I 1 x ) L X (R3) ( R 1 E2 PR I 1 R I 2 x R 1 E2 PR I 1 R I 2 ỹ ) L (SHC X ) ( R 1 E2 PR I 1 R 2 I 2 x R 1 E2 PR I 1 R I 2 ỹ ) L (SHC 2 X ) (R4) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
46 An LCLS model of the EGF pathway (3) Let us write EGFR for R E1 R E2 R I 1 R I 2 A possible evolution of the system is EGF EGF ( EGFR EGFR EGFR )L (SHC SHC) (R1) (R1) (R2) (R3) (R3) (R4) EGF 1 EGF ( RE1 R 1 E2 R I 1 R I 2 EGFR EGFR )L (SHC SHC) EGF 1 EGF 2 ( RE1 R 1 E2 R I 1 R I 2 EGFR RE1 R 2 ) L E2 R I 1 R I 2 (SHC SHC) EGF 1 EGF 2 ( RE1 R 1 E2 R 3 I 1 R I 2 EGFR RE1 R 2 E2 R 3 ) L I 1 R I 2 (SHC SHC) EGF 1 EGF 2 ( RE1 R 1 E2 PR 3 I 1 R I 2 EGFR RE1 R 2 E2 R 3 ) L I 1 R I 2 (SHC SHC) EGF 1 EGF 2 ( RE1 R 1 E2 PR 3 I 1 R I 2 EGFR RE1 R 2 E2 PR 3 ) L I 1 R I 2 (SHC SHC) EGF 1 EGF 2 ( RE1 R 1 E2 PR 3 I 1 RI 4 2 EGFR RE1 R 2 E2 PR 3 ) L I 1 R I 2 (SHC 4 SHC) Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
47 Outline of the talk 1 Introduction Cells are complex interactive systems 2 The Calculus of Looping Sequences (CLS) Definition of CLS The EGF pathway and the lac operon in CLS 3 CLS variants Stochastic CLS LCLS Spatial CLS 4 Future Work and References Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
48 Spatial CLS Spatial CLS extends the CLS with space and time: elements can be associated with spheres in a 2D/3D space, and each sphere represents: the space occupied by the element the space available inside membrane elements can move autonomously during the passage of time the applicability of reactions can be constrained to the position of the elements involved Spatial CLS can be especially useful to describe biological processes where the behaviour depends on the exact position of the elements, in order to obtain faithful representation of their evolution. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
49 Syntax of Spatial CLS Terms T, branes B and sequences S of Spatial CLS are defined as: T ::= λ B ::= ( S ) d S ::= ɛ ( S ) a d B B S S ( B ) L d T T T where a is a generic element of the alphabet E, ɛ is the empty sequence, and λ is the empty term. Parameter d describes the spatial information of elements. Elements can be: positional, when d = [p, m], r non-positional, when d =, r where p is the center of the sphere, r the radius, and m denotes a movement function. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
50 Representing the movement A movement function gives new position p of the element, reached after a time interval δt from the current time t: where p = m fun (p, r, x, l, t, δt) p: current position of the element (at time t) r: radius of the element x: where the element appears: on the surface or inside a membrane l: radius of the containing membrane or Example Linear motion: m fun (p, r, x, l, t, δt) = q + vt Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
51 Example of term Term T 1 = ( a ) [(1,2),m 1 ],0.5 ( b c d ) L [(4,3),m 2 ],2 ( a ) [( 1,0),m 3 ],0.5 can be represented graphically as: Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
52 Semantics Rewrite rules are of the form [ f c ] P L k PR where k is the reaction rate parameter (like in Stochastic CLS) f c are the application constraints, which express the applicability of the rule according to the position of the elements A system evolves by performing a sequence of steps, where each step is composed of two phases: 1 at most one rewrite rule is applied, among those enable in the state 2 the elements are moved according to their movement functions Non-positional elements are assumed homogeneously distributed, thus the rate of reactions involving them are in accordance to the Law of Mass Action. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
53 Resolving space conflicts During the evolution of the system, conflicts between the space occupied by different elements may arise. In such cases, the elements are rearranged, as if they push each other. Example Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
54 Cell proliferation Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
55 A model of cell proliferation The initial state of the system is described by the following term: T = ( b ) L,50 ( m ) L [(0,0),m 1 ],10 ( n ) L (cr g1 g 2 g 3 cr g 4 g 5 ) The subterms appearing in T represent: ( ) b L,50 : the space available ( ) L m : the membrane of the cell [(0,0),m 1 ],10 ( ) L: n the nucleus cr...: the chromosomes Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
56 A model of cell proliferation The initial state of the system is described by the following term: T = ( b ) L,50 ( m ) L [(0,0),m 1 ],10 ( n ) L (cr g1 g 2 g 3 cr g 4 g 5 ) The subterms appearing in T represent: ( ) b L,50 : the space available ( ) L m : the membrane of the cell [(0,0),m 1 ],10 ( ) L: n the nucleus cr...: the chromosomes Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
57 A model of cell proliferation The initial state of the system is described by the following term: T = ( b ) L,50 ( m ) L [(0,0),m 1 ],10 ( n ) L (cr g1 g 2 g 3 cr g 4 g 5 ) The subterms appearing in T represent: ( ) b L,50 : the space available ( ) L m : the membrane of the cell [(0,0),m 1 ],10 ( ) L: n the nucleus cr...: the chromosomes Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
58 A model of cell proliferation The initial state of the system is described by the following term: T = ( b ) L,50 ( m ) L [(0,0),m 1 ],10 ( n ) L (cr g1 g 2 g 3 cr g 4 g 5 ) The subterms appearing in T represent: ( ) b L,50 : the space available ( ) L m : the membrane of the cell [(0,0),m 1 ],10 ( ) L: n the nucleus cr...: the chromosomes Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
59 A model of cell proliferation The initial state of the system is described by the following term: T = ( b ) L,50 ( m ) L [(0,0),m 1 ],10 ( n ) L (cr g1 g 2 g 3 cr g 4 g 5 ) The subterms appearing in T represent: ( ) b L,50 : the space available ( ) L m : the membrane of the cell [(0,0),m 1 ],10 ( ) L: n the nucleus cr...: the chromosomes Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
60 Rewrite rules The evolution of the system is modeled by the following rewrite rules: R 1 : [ r = 7 ] R 2 : [ r = 10 ] R 3 : [ r = 14 ] ( ) L m [p,f ],r X 0.33 ( m ) L [p,f ],10 X ( ) L m [p,f ],r X 0.25 ( m ) L [p,f ],14 X ( ) ( L (n m u ) ) L 0.5 X ( m ) ( L (ndup u ) ) L X R 4 : ( n dup ) L (cr x X ) ( n dup ) L (2cr x X ) R 5 : ( ) L 0.17 n dup (2cr x 2cr ỹ) ( ) L ( ) L n (cr x cr ỹ) n (cr x cr ỹ) R 6 : ( m ) ( L (n [(x,y),f ],r ) L ( ) ) L 1 X n Y ( ) L m [(x 5,y),f ],7 ( n ) L ( ) L X m [(x+5,y),f ],7 ( n ) L Y The rates are expressed with respect to a time unit of 1 hour. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
61 Outline of the talk 1 Introduction Cells are complex interactive systems 2 The Calculus of Looping Sequences (CLS) Definition of CLS The EGF pathway and the lac operon in CLS 3 CLS variants Stochastic CLS LCLS Spatial CLS 4 Future Work and References Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
62 Current and future work We developed a stochastic simulator based on Stochastic CLS We have defined an intermediate language for stochastic simulation of biological systems (ssmsr) high level formalisms (Stochastic CLS, π calculus, etc...) can be translated into ssmsr we plan to develop analysis and verification techniques for ssmsr We are translating Kohn s Molecular Interaction Maps (MIM) into CLS We plan to define the evolution of CLS terms by means of operators based on MIM. Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
63 References R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and G. Pardini. Spatial Calculus of Looping Sequences. Submitted. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, P. Tiberi and A. Troina. Stochastic CLS for the Modeling and Simulation of Biological Systems. Transactions on Computational Systems Biology, in press. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini and P. Milazzo. An Intermediate Language for the Stochastic Simulation of Biological Systems. Theoretical Computer Science, in press. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina. Bisimulations in Calculi Modelling Membranes. Formal Aspects of Computing, in press. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina. The Calculus of Looping Sequences for Modeling Biological Membranes. WMC8, LNCS 4860, 54 76, Springer, R. Barbuti, A. Maggiolo-Schettini and P. Milazzo. Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. ISBRA 07, LNBI 4463, , Springer, R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina. A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae, volume 72, 21 35, Roberto Barbuti (Università di Pisa) The Calculus of Looping Sequences Bertinoro June 7, / 59
Formal Methods and Systems Biology: The Calculus of Looping Sequences
Formal Methods and Systems Biology: The Calculus of Looping Sequences Paolo Milazzo Dipartimento di Informatica, Università di Pisa, Italy Verona January 22, 2008 Paolo Milazzo (Università di Pisa) Formal
More informationBisimulation Congruences in the Calculus of Looping Sequences
Bisimulation ongruences in the alculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Università di Pisa Largo B. Pontecorvo
More informationA Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of His Sixty Birthday
Fundamenta Informaticae XX 2010) 1 29 1 IOS Press A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of His Sixty Birthday Roberto Barbuti, Dipartimento di
More informationTyped Stochastic Semantics for the Calculus of Looping Sequences
Typed Stochastic Semantics for the Calculus of Looping Sequences Livio Bioglio a, Mariangiola Dezani-Ciancaglini a, Paola Giannini b, Angelo Troina a a Dipartimento di Informatica, Università di Torino
More informationA Type System for a Stochastic CLS
A Type System for a Stochastic CLS Mariangiola Dezani-Ciancaglini Paola Giannini Dipartimento di Informatica, Università di Torino Dipartimento di Informatica, Università del Piemonte Orientale dezani@di.unito.it
More informationSimulation of Kohn s Molecular Interaction Maps Through Translation into Stochastic CLS+
Simulation of Kohn s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti 1, Daniela Lepri 2, Andrea Maggiolo-Schettini 1, Paolo Milazzo 1, Giovanni Pardini 1, and Aureliano
More informationA Type System for Required/Excluded Elements in CLS
A Type System for Required/Excluded Elements in CLS Mariangiola Dezani-Ciancaglini Dipartimento di Informatica, Università di Torino dezani@di.unito.it Paola Giannini Dipartimento di Informatica, Università
More informationModelling Membranes with Brane Calculi
Modelling Membranes with Brane Calculi (and translation of Brane Calculi into CLS) 1/42 Introduction A biological cellular membrane is an closed surface that can perform various molecular functions. Membranes
More informationWarm-Up. Explain how a secondary messenger is activated, and how this affects gene expression. (LO 3.22)
Warm-Up Explain how a secondary messenger is activated, and how this affects gene expression. (LO 3.22) Yesterday s Picture The first cell on Earth (approx. 3.5 billion years ago) was simple and prokaryotic,
More informationType Disciplines for Systems Biology
Type Disciplines for Systems Biology Livio Bioglio February 6, 2013 Tesi di Dottorato Scuola di Dottorato in Scienze e Alta Tecnologia, XXV ciclo Università di Torino Dipartimento di Informatica Ph.D.
More informationModeling biological systems with delays in Bio-PEPA
Modeling biological systems with delays in Bio-PEPA Giulio Caravagna Dipartimento di Informatica, Università di Pisa, argo Pontecorvo 3, 56127 Pisa, Italy. caravagn@di.unipi.it Jane Hillston aboratory
More informationREVIEW SESSION. Wednesday, September 15 5:30 PM SHANTZ 242 E
REVIEW SESSION Wednesday, September 15 5:30 PM SHANTZ 242 E Gene Regulation Gene Regulation Gene expression can be turned on, turned off, turned up or turned down! For example, as test time approaches,
More informationTopic 4 - #14 The Lactose Operon
Topic 4 - #14 The Lactose Operon The Lactose Operon The lactose operon is an operon which is responsible for the transport and metabolism of the sugar lactose in E. coli. - Lactose is one of many organic
More informationBoolean models of gene regulatory networks. Matthew Macauley Math 4500: Mathematical Modeling Clemson University Spring 2016
Boolean models of gene regulatory networks Matthew Macauley Math 4500: Mathematical Modeling Clemson University Spring 2016 Gene expression Gene expression is a process that takes gene info and creates
More informationCHAPTER 13 PROKARYOTE GENES: E. COLI LAC OPERON
PROKARYOTE GENES: E. COLI LAC OPERON CHAPTER 13 CHAPTER 13 PROKARYOTE GENES: E. COLI LAC OPERON Figure 1. Electron micrograph of growing E. coli. Some show the constriction at the location where daughter
More informationSPA for quantitative analysis: Lecture 6 Modelling Biological Processes
1/ 223 SPA for quantitative analysis: Lecture 6 Modelling Biological Processes Jane Hillston LFCS, School of Informatics The University of Edinburgh Scotland 7th March 2013 Outline 2/ 223 1 Introduction
More informationOn the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems Roberto Barbuti Giulio Caravagna Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Università di
More information3.B.1 Gene Regulation. Gene regulation results in differential gene expression, leading to cell specialization.
3.B.1 Gene Regulation Gene regulation results in differential gene expression, leading to cell specialization. We will focus on gene regulation in prokaryotes first. Gene regulation accounts for some of
More informationSpatial P systems. 1. Dipartimento di Informatica, Università di Pisa, Italy 2. School of Science and Technology, Università di Camerino, Italy
Spatial P Systems Roberto Barbuti 1 Andrea Maggiolo-Schettini 1 Paolo Milazzo 1 Giovanni Pardini 1 Luca Tesei 2 1. Dipartimento di Informatica, Università di Pisa, Italy 2. School of Science and Technology,
More informationBiological Pathways Representation by Petri Nets and extension
Biological Pathways Representation by and extensions December 6, 2006 Biological Pathways Representation by and extension 1 The cell Pathways 2 Definitions 3 4 Biological Pathways Representation by and
More informationIntroduction. Gene expression is the combined process of :
1 To know and explain: Regulation of Bacterial Gene Expression Constitutive ( house keeping) vs. Controllable genes OPERON structure and its role in gene regulation Regulation of Eukaryotic Gene Expression
More information32 Gene regulation, continued Lecture Outline 11/21/05
32 Gene regulation, continued Lecture Outline 11/21/05 Review the operon concept Repressible operons (e.g. trp) Inducible operons (e.g. lac) Positive regulation of lac () Practice applying the operon concept
More informationName Period The Control of Gene Expression in Prokaryotes Notes
Bacterial DNA contains genes that encode for many different proteins (enzymes) so that many processes have the ability to occur -not all processes are carried out at any one time -what allows expression
More informationChapter 15 Active Reading Guide Regulation of Gene Expression
Name: AP Biology Mr. Croft Chapter 15 Active Reading Guide Regulation of Gene Expression The overview for Chapter 15 introduces the idea that while all cells of an organism have all genes in the genome,
More informationDeducing Interactions in Partially Unspecified Biological Systems
Deducing Interactions in Partially Unspecified Biological Systems P. Baldan 1 A. Bracciali 2 L. Brodo 3 R. Bruni 2 1 Università di Padova 2 Università di Pisa 3 Università di Sassari Algebraic Biology
More information56:198:582 Biological Networks Lecture 8
56:198:582 Biological Networks Lecture 8 Course organization Two complementary approaches to modeling and understanding biological networks Constraint-based modeling (Palsson) System-wide Metabolism Steady-state
More informationGENES AND CHROMOSOMES III. Lecture 5. Biology Department Concordia University. Dr. S. Azam BIOL 266/
GENES AND CHROMOSOMES III Lecture 5 BIOL 266/4 2014-15 Dr. S. Azam Biology Department Concordia University CELL NUCLEUS AND THE CONTROL OF GENE EXPRESSION OPERONS Introduction All cells in a multi-cellular
More informationComputational Modelling in Systems and Synthetic Biology
Computational Modelling in Systems and Synthetic Biology Fran Romero Dpt Computer Science and Artificial Intelligence University of Seville fran@us.es www.cs.us.es/~fran Models are Formal Statements of
More informationDevelopment Team. Regulation of gene expression in Prokaryotes: Lac Operon. Molecular Cell Biology. Department of Zoology, University of Delhi
Paper Module : 15 : 23 Development Team Principal Investigator : Prof. Neeta Sehgal Department of Zoology, University of Delhi Co-Principal Investigator : Prof. D.K. Singh Department of Zoology, University
More informationREGULATION OF GENE EXPRESSION. Bacterial Genetics Lac and Trp Operon
REGULATION OF GENE EXPRESSION Bacterial Genetics Lac and Trp Operon Levels of Metabolic Control The amount of cellular products can be controlled by regulating: Enzyme activity: alters protein function
More informationName: SBI 4U. Gene Expression Quiz. Overall Expectation:
Gene Expression Quiz Overall Expectation: - Demonstrate an understanding of concepts related to molecular genetics, and how genetic modification is applied in industry and agriculture Specific Expectation(s):
More informationRegulation of Gene Expression
Chapter 18 Regulation of Gene Expression PowerPoint Lecture Presentations for Biology Eighth Edition Neil Campbell and Jane Reece Lectures by Chris Romero, updated by Erin Barley with contributions from
More informationAP Bio Module 16: Bacterial Genetics and Operons, Student Learning Guide
Name: Period: Date: AP Bio Module 6: Bacterial Genetics and Operons, Student Learning Guide Getting started. Work in pairs (share a computer). Make sure that you log in for the first quiz so that you get
More informationControl of Gene Expression in Prokaryotes
Why? Control of Expression in Prokaryotes How do prokaryotes use operons to control gene expression? Houses usually have a light source in every room, but it would be a waste of energy to leave every light
More informationStochastic Simulation.
Stochastic Simulation. (and Gillespie s algorithm) Alberto Policriti Dipartimento di Matematica e Informatica Istituto di Genomica Applicata A. Policriti Stochastic Simulation 1/20 Quote of the day D.T.
More informationModelling gene expression control using P systems: The Lac Operon, a case study
Available online at www.sciencedirect.com BioSystems 91 (2008) 438 457 Short communication Modelling gene expression control using P systems: The Lac Operon, a case study Francisco José Romero-Campero,
More informationRegulation of Gene Expression
Chapter 18 Regulation of Gene Expression Edited by Shawn Lester PowerPoint Lecture Presentations for Biology Eighth Edition Neil Campbell and Jane Reece Lectures by Chris Romero, updated by Erin Barley
More information38050 Povo Trento (Italy), Via Sommarive 14 CAUSAL P-CALCULUS FOR BIOCHEMICAL MODELLING
UNIVERSITY OF TRENTO DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY 38050 Povo Trento (Italy), Via Sommarive 14 http://www.dit.unitn.it CAUSAL P-CALCULUS FOR BIOCHEMICAL MODELLING M. Curti, P.
More informationProkaryotic Gene Expression (Learning Objectives)
Prokaryotic Gene Expression (Learning Objectives) 1. Learn how bacteria respond to changes of metabolites in their environment: short-term and longer-term. 2. Compare and contrast transcriptional control
More informationLecture 7: Simple genetic circuits I
Lecture 7: Simple genetic circuits I Paul C Bressloff (Fall 2018) 7.1 Transcription and translation In Fig. 20 we show the two main stages in the expression of a single gene according to the central dogma.
More informationHybrid Model of gene regulatory networks, the case of the lac-operon
Hybrid Model of gene regulatory networks, the case of the lac-operon Laurent Tournier and Etienne Farcot LMC-IMAG, 51 rue des Mathématiques, 38041 Grenoble Cedex 9, France Laurent.Tournier@imag.fr, Etienne.Farcot@imag.fr
More informationAn Alternative to Gillespie s Algorithm for Simulating Chemical Reactions
An Alternative to Gillespie s Algorithm for Simulating Chemical Reactions Roberto Barbuti, Andrea Maggiolo Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Università di Pisa Largo
More informationA Probabilistic Model for Molecular Systems
Fundamenta Informaticae XX (2005) 1 14 1 IOS Press A Probabilistic Model for Molecular Systems Roberto Barbuti Stefano Cataudella Andrea Maggiolo Schettini Paolo Milazzo C Angelo Troina Dipartimento di
More informationOn the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems Roberto Barbuti Giulio Caravagna Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Università di
More informationLecture 18 June 2 nd, Gene Expression Regulation Mutations
Lecture 18 June 2 nd, 2016 Gene Expression Regulation Mutations From Gene to Protein Central Dogma Replication DNA RNA PROTEIN Transcription Translation RNA Viruses: genome is RNA Reverse Transcriptase
More informationLecture 4: Transcription networks basic concepts
Lecture 4: Transcription networks basic concepts - Activators and repressors - Input functions; Logic input functions; Multidimensional input functions - Dynamics and response time 2.1 Introduction The
More informationRegulation and signaling. Overview. Control of gene expression. Cells need to regulate the amounts of different proteins they express, depending on
Regulation and signaling Overview Cells need to regulate the amounts of different proteins they express, depending on cell development (skin vs liver cell) cell stage environmental conditions (food, temperature,
More informationUNIT 6 PART 3 *REGULATION USING OPERONS* Hillis Textbook, CH 11
UNIT 6 PART 3 *REGULATION USING OPERONS* Hillis Textbook, CH 11 REVIEW: Signals that Start and Stop Transcription and Translation BUT, HOW DO CELLS CONTROL WHICH GENES ARE EXPRESSED AND WHEN? First of
More informationCells in silico: a Holistic Approach
Cells in silico: a Holistic Approach Pierpaolo Degano Dipartimento di Informatica, Università di Pisa, Italia joint work with a lot of nice BISCA people :-) Bertinoro, 7th June 2007 SFM 2008 Bertinoro
More informationWelcome to Class 21!
Welcome to Class 21! Introductory Biochemistry! Lecture 21: Outline and Objectives l Regulation of Gene Expression in Prokaryotes! l transcriptional regulation! l principles! l lac operon! l trp attenuation!
More information2. Mathematical descriptions. (i) the master equation (ii) Langevin theory. 3. Single cell measurements
1. Why stochastic?. Mathematical descriptions (i) the master equation (ii) Langevin theory 3. Single cell measurements 4. Consequences Any chemical reaction is stochastic. k P d φ dp dt = k d P deterministic
More informationAPGRU6L2. Control of Prokaryotic (Bacterial) Genes
APGRU6L2 Control of Prokaryotic (Bacterial) Genes 2007-2008 Bacterial metabolism Bacteria need to respond quickly to changes in their environment STOP u if they have enough of a product, need to stop production
More informationLecture 4 The stochastic ingredient
Lecture 4 The stochastic ingredient Luca Bortolussi 1 Alberto Policriti 2 1 Dipartimento di Matematica ed Informatica Università degli studi di Trieste Via Valerio 12/a, 34100 Trieste. luca@dmi.units.it
More informationGene Regulation and Expression
THINK ABOUT IT Think of a library filled with how-to books. Would you ever need to use all of those books at the same time? Of course not. Now picture a tiny bacterium that contains more than 4000 genes.
More informationFormal Modeling of Biological Systems with Delays
Universita degli Studi di Pisa Dipartimento di Informatica Dottorato di Ricerca in Informatica Ph.D. Thesis Proposal Formal Modeling of Biological Systems with Delays Giulio Caravagna caravagn@di.unipi.it
More informationTHE EDIBLE OPERON David O. Freier Lynchburg College [BIOL 220W Cellular Diversity]
THE EDIBLE OPERON David O. Freier Lynchburg College [BIOL 220W Cellular Diversity] You have the following resources available to you: Short bread cookies = DNA / genetic elements Fudge Mint cookies = RNA
More information4. Why not make all enzymes all the time (even if not needed)? Enzyme synthesis uses a lot of energy.
1 C2005/F2401 '10-- Lecture 15 -- Last Edited: 11/02/10 01:58 PM Copyright 2010 Deborah Mowshowitz and Lawrence Chasin Department of Biological Sciences Columbia University New York, NY. Handouts: 15A
More informationRegulation of gene expression. Premedical - Biology
Regulation of gene expression Premedical - Biology Regulation of gene expression in prokaryotic cell Operon units system of negative feedback positive and negative regulation in eukaryotic cell - at any
More informationRegulation of Gene Expression in Bacteria and Their Viruses
11 Regulation of Gene Expression in Bacteria and Their Viruses WORKING WITH THE FIGURES 1. Compare the structure of IPTG shown in Figure 11-7 with the structure of galactose shown in Figure 11-5. Why is
More informationControl of Prokaryotic (Bacterial) Gene Expression. AP Biology
Control of Prokaryotic (Bacterial) Gene Expression Figure 18.1 How can this fish s eyes see equally well in both air and water? Aka. Quatro ojas Regulation of Gene Expression: Prokaryotes and eukaryotes
More informationControlling Gene Expression
Controlling Gene Expression Control Mechanisms Gene regulation involves turning on or off specific genes as required by the cell Determine when to make more proteins and when to stop making more Housekeeping
More informationDeducing Interactions in Partially Unspecified Biological Systems
Deducing Interactions in Partially Unspecified Biological Systems P. Baldan 1 A. Bracciali 2 L. Brodo 3 R. Bruni 2 1 Università di Padova 2 Università di Pisa 3 Università di Sassari Algebraic Biology
More informationChapter 16 Lecture. Concepts Of Genetics. Tenth Edition. Regulation of Gene Expression in Prokaryotes
Chapter 16 Lecture Concepts Of Genetics Tenth Edition Regulation of Gene Expression in Prokaryotes Chapter Contents 16.1 Prokaryotes Regulate Gene Expression in Response to Environmental Conditions 16.2
More informationGLOBEX Bioinformatics (Summer 2015) Genetic networks and gene expression data
GLOBEX Bioinformatics (Summer 2015) Genetic networks and gene expression data 1 Gene Networks Definition: A gene network is a set of molecular components, such as genes and proteins, and interactions between
More informationMembrane Computing: from biology to computation and back
2014 Isonomia Epistemologica Rivista online di Filosofia Università degli Studi di Urbino Carlo Bo Membrane Computing: from biology to computation and back Paolo Milazzo University of Pisa milazzo@di.unipi.it
More informationHybrid Calculus of Wrapped Compartments
Hybrid alculus of Wrapped ompartments Mario oppo 1, Ferruccio Damiani 1, Maurizio Drocco 1, Elena Grassi 1,2, Eva Sciacca 1, Salvatore Spinella 1, ngelo Troina 1 1 Dipartimento di Informatica, Università
More informationHow to Build a Living Cell in Software or Can we computerize a bacterium?
How to Build a Living Cell in Software or Can we computerize a bacterium? Tom Henzinger IST Austria Turing Test for E. coli Fictional ultra-high resolution video showing molecular processes inside the
More informationCHAPTER : Prokaryotic Genetics
CHAPTER 13.3 13.5: Prokaryotic Genetics 1. Most bacteria are not pathogenic. Identify several important roles they play in the ecosystem and human culture. 2. How do variations arise in bacteria considering
More informationComplete all warm up questions Focus on operon functioning we will be creating operon models on Monday
Complete all warm up questions Focus on operon functioning we will be creating operon models on Monday 1. What is the Central Dogma? 2. How does prokaryotic DNA compare to eukaryotic DNA? 3. How is DNA
More informationUNIVERSITY OF YORK. BA, BSc, and MSc Degree Examinations Department : BIOLOGY. Title of Exam: Molecular microbiology
Examination Candidate Number: Desk Number: UNIVERSITY OF YORK BA, BSc, and MSc Degree Examinations 2017-8 Department : BIOLOGY Title of Exam: Molecular microbiology Time Allowed: 1 hour 30 minutes Marking
More informationBiology. Biology. Slide 1 of 26. End Show. Copyright Pearson Prentice Hall
Biology Biology 1 of 26 Fruit fly chromosome 12-5 Gene Regulation Mouse chromosomes Fruit fly embryo Mouse embryo Adult fruit fly Adult mouse 2 of 26 Gene Regulation: An Example Gene Regulation: An Example
More informationSimulation of Chemical Reactions
Simulation of Chemical Reactions Cameron Finucane & Alejandro Ribeiro Dept. of Electrical and Systems Engineering University of Pennsylvania aribeiro@seas.upenn.edu http://www.seas.upenn.edu/users/~aribeiro/
More informationGene Network Science Diagrammatic Cell Language and Visual Cell
Gene Network Science Diagrammatic Cell Language and Visual Cell Mr. Tan Chee Meng Scientific Programmer, System Biology Group, Bioinformatics Institute Overview Introduction Why? Challenges Diagrammatic
More information13.4 Gene Regulation and Expression
13.4 Gene Regulation and Expression Lesson Objectives Describe gene regulation in prokaryotes. Explain how most eukaryotic genes are regulated. Relate gene regulation to development in multicellular organisms.
More informationUnit 3: Control and regulation Higher Biology
Unit 3: Control and regulation Higher Biology To study the roles that genes play in the control of growth and development of organisms To be able to Give some examples of features which are controlled
More informationChapter 18: Control of Gene Expression
Chapter 18: Control of Gene Expression 海洋生物研究所 曾令銘 海事大樓 426 室分機 : 5326 Differential Expression of Genes Prokaryotes and eukaryotes precisely regulate gene expression in response to environmental conditions
More informationComputational Cell Biology Lecture 4
Computational Cell Biology Lecture 4 Case Study: Basic Modeling in Gene Expression Yang Cao Department of Computer Science DNA Structure and Base Pair Gene Expression Gene is just a small part of DNA.
More informationURL: <
Citation: ngelova, Maia and en Halim, sma () Dynamic model of gene regulation for the lac operon. Journal of Physics: Conference Series, 86 (). ISSN 7-696 Published by: IOP Publishing URL: http://dx.doi.org/.88/7-696/86//7
More informationBig Idea 3: Living systems store, retrieve, transmit and respond to information essential to life processes. Tuesday, December 27, 16
Big Idea 3: Living systems store, retrieve, transmit and respond to information essential to life processes. Enduring understanding 3.B: Expression of genetic information involves cellular and molecular
More informationCo-ordination occurs in multiple layers Intracellular regulation: self-regulation Intercellular regulation: coordinated cell signalling e.g.
Gene Expression- Overview Differentiating cells Achieved through changes in gene expression All cells contain the same whole genome A typical differentiated cell only expresses ~50% of its total gene Overview
More informationGENE REGULATION AND PROBLEMS OF DEVELOPMENT
GENE REGULATION AND PROBLEMS OF DEVELOPMENT By Surinder Kaur DIET Ropar Surinder_1998@ yahoo.in Mob No 9988530775 GENE REGULATION Gene is a segment of DNA that codes for a unit of function (polypeptide,
More informationTranslation - Prokaryotes
1 Translation - Prokaryotes Shine-Dalgarno (SD) Sequence rrna 3 -GAUACCAUCCUCCUUA-5 mrna...ggagg..(5-7bp)...aug Influences: Secondary structure!! SD and AUG in unstructured region Start AUG 91% GUG 8 UUG
More informationProkaryotic Regulation
Prokaryotic Regulation Control of transcription initiation can be: Positive control increases transcription when activators bind DNA Negative control reduces transcription when repressors bind to DNA regulatory
More informationWeek 10! !
Week 10! 10-24-2013! Annotated Bibliography! Sources of papers! 3 papers! Peer-reviewed scientific literature (no review articles)! No more than 2 from:! the same author! the same journal! 2 of the 3 must
More informationProkaryotic Gene Expression (Learning Objectives)
Prokaryotic Gene Expression (Learning Objectives) 1. Learn how bacteria respond to changes of metabolites in their environment: short-term and longer-term. 2. Compare and contrast transcriptional control
More information56:198:582 Biological Networks Lecture 9
56:198:582 Biological Networks Lecture 9 The Feed-Forward Loop Network Motif Subgraphs in random networks We have discussed the simplest network motif, self-regulation, a pattern with one node We now consider
More informationAdvanced Higher Biology. Unit 1- Cells and Proteins 2c) Membrane Proteins
Advanced Higher Biology Unit 1- Cells and Proteins 2c) Membrane Proteins Membrane Structure Phospholipid bilayer Transmembrane protein Integral protein Movement of Molecules Across Membranes Phospholipid
More informationGene regulation I Biochemistry 302. Bob Kelm February 25, 2005
Gene regulation I Biochemistry 302 Bob Kelm February 25, 2005 Principles of gene regulation (cellular versus molecular level) Extracellular signals Chemical (e.g. hormones, growth factors) Environmental
More informationBacterial Genetics & Operons
Bacterial Genetics & Operons The Bacterial Genome Because bacteria have simple genomes, they are used most often in molecular genetics studies Most of what we know about bacterial genetics comes from the
More informationBi 1x Spring 2014: LacI Titration
Bi 1x Spring 2014: LacI Titration 1 Overview In this experiment, you will measure the effect of various mutated LacI repressor ribosome binding sites in an E. coli cell by measuring the expression of a
More informationChapter 6- An Introduction to Metabolism*
Chapter 6- An Introduction to Metabolism* *Lecture notes are to be used as a study guide only and do not represent the comprehensive information you will need to know for the exams. The Energy of Life
More informationthe noisy gene Biology of the Universidad Autónoma de Madrid Jan 2008 Juan F. Poyatos Spanish National Biotechnology Centre (CNB)
Biology of the the noisy gene Universidad Autónoma de Madrid Jan 2008 Juan F. Poyatos Spanish National Biotechnology Centre (CNB) day III: noisy bacteria - Regulation of noise (B. subtilis) - Intrinsic/Extrinsic
More informationMultistability in the lactose utilization network of Escherichia coli
Multistability in the lactose utilization network of Escherichia coli Lauren Nakonechny, Katherine Smith, Michael Volk, Robert Wallace Mentor: J. Ruby Abrams Agenda Motivation Intro to multistability Purpose
More informationWhen do diffusion-limited trajectories become memoryless?
When do diffusion-limited trajectories become memoryless? Maciej Dobrzyński CWI (Center for Mathematics and Computer Science) Kruislaan 413, 1098 SJ Amsterdam, The Netherlands Abstract Stochastic description
More informationBME 5742 Biosystems Modeling and Control
BME 5742 Biosystems Modeling and Control Lecture 24 Unregulated Gene Expression Model Dr. Zvi Roth (FAU) 1 The genetic material inside a cell, encoded in its DNA, governs the response of a cell to various
More informationBi 8 Lecture 11. Quantitative aspects of transcription factor binding and gene regulatory circuit design. Ellen Rothenberg 9 February 2016
Bi 8 Lecture 11 Quantitative aspects of transcription factor binding and gene regulatory circuit design Ellen Rothenberg 9 February 2016 Major take-home messages from λ phage system that apply to many
More informationThe Gene The gene; Genes Genes Allele;
Gene, genetic code and regulation of the gene expression, Regulating the Metabolism, The Lac- Operon system,catabolic repression, The Trp Operon system: regulating the biosynthesis of the tryptophan. Mitesh
More information12-5 Gene Regulation
12-5 Gene Regulation Fruit fly chromosome 12-5 Gene Regulation Mouse chromosomes Fruit fly embryo Mouse embryo Adult fruit fly Adult mouse 1 of 26 12-5 Gene Regulation Gene Regulation: An Example Gene
More informationNew Computational Methods for Systems Biology
New Computational Methods for Systems Biology François Fages, Sylvain Soliman The French National Institute for Research in Computer Science and Control INRIA Paris-Rocquencourt Constraint Programming
More informationGENETICS - CLUTCH CH.12 GENE REGULATION IN PROKARYOTES.
GEETICS - CLUTCH CH.12 GEE REGULATIO I PROKARYOTES!! www.clutchprep.com GEETICS - CLUTCH CH.12 GEE REGULATIO I PROKARYOTES COCEPT: LAC OPERO An operon is a group of genes with similar functions that are
More information