Modelos Formales en Bioinformática
|
|
- Lesley Barker
- 6 years ago
- Views:
Transcription
1 1 / 51 Modelos Formales en Bioinformática Javier Campos, Jorge Júlvez University of Zaragoza
2 2 / 51 Outline 1 Systems Biology 2 Population Dynamics Example 3 Formal Models 4 Stochasticity
3 3 / 51 Outline 1 Systems Biology 2 Population Dynamics Example 3 Formal Models 4 Stochasticity
4 4 / 51 Formal Models in Bioinformatics What is systems biology? Systems biology is the study of all the elements in a biological system (all genes, mrnas, proteins, etc) and their relationships one to another in response to perturbations. Systems approaches attempt to study the behaviour of all the elements in a system and relate these behaviours to the systems or emergent properties.
5 5 / 51 Formal Models in Bioinformatics Bioinformatics Basics 3$4$.54*6"7/813"8$/81
6 6 / 51 Formal Models in Bioinformatics Systems Biology: Interaction in Networks Systems Biology: Interaction in Networks
7 7 / 51 Formal Models in Bioinformatics What is systems biology?...systematic study of complex interactions in biological systems, thus using a new perspective (integration instead of reduction) to study them... one of the goals of systems biology is to discover new emergent properties (Wikipedia) Systems biology is the study of an organism, viewed as an integrated and interacting network of genes, proteins and biochemical reactions... systems biologists focus on all the components and the interactions among them, all as part of one system (Institute for Systems Biology, Washington) To understand complex biological systems requires the integration of experimental and computational research in other words a systems biology approach (Kitano, 2002)
8 Systems Biology Population Dynamics Example Formal Models Stochasticity 4)+56*071 4)+56*071 Formal Models in Bioinformatics! :)+"(6'$/1 Networks! 8).)1*)&-'"96.1 Gene regulation )1*)&-'"96.1 1*)&-'"96.1! <*6+)$.=>! <*6+)$.=>*6+)$.1$. 4)+56*071! ;$&."''$.&11 Metabolic Pathway! :)+"(6'$/1 "(6'$/1 (6'$/1!?) Signalling! <*6+)$.=>*6+)$.1$.+)*"/96.1 Protein-protein interaction!"#$!%&$'()*+,(*-.)'%"/%-01 8 / 51
9 9 / 51 Formal Models in Bioinformatics
10 Formal Models in Bioinformatics Metabolic Pathway 6:;<==/"%)>;"98%4*&=+44'9=;"+67"89= / 51
11 11 / 51 ist perspective: Consider a spherical cow with negligible Systems Biology is a multidisciplinar field Which Even is the E. volume coli isof not a cow? that spherical!! A chemist perspective: Dissolve the cow in H 2 SO 4, weight the result and measure the volume. Sometimes it is important not to destroy the cow.
12 11 / 51 ist perspective: Consider a spherical cow with negligible Systems Biology is a multidisciplinar field Which Even is the E. volume coli isof not a cow? that spherical!! A chemist perspective: Dissolve the cow in H 2 SO 4, weight the result and measure the volume. Sometimes it is important not to destroy the cow. An engineering perspective: Immerse the cow in a tank of water and measure the volume. Some cows cannot swim. Water pressure might change volume.
13 12 / 51 Systems Biology is a multidisciplinar field physicist perspective: Consider a spherical cow with negligible ass Which is theeven volume E. coli of aiscow? not that spherical!! A mathematician perspective: Cut the cow into pieces and sum up the pieces. The total might not be equal to the sum of its parts emergent properties.
14 12 / 51 Systems Biology is a multidisciplinar field physicist perspective: Consider a spherical cow with negligible ass Which is theeven volume E. coli of aiscow? not that spherical!! A mathematician perspective: Cut the cow into pieces and sum up the pieces. The total might not be equal to the sum of its parts emergent properties. A physicist perspective: Consider a spherical cow with negligible mass... Even E. coli is not that spherical
15 13 / 51 Outline 1 Systems Biology 2 Population Dynamics Example 3 Formal Models 4 Stochasticity
16 14 / 51 Systems Biology Population Dynamics Example Formal Models Stochasticity tical immunology delling a population Deterministic birth process Formal Models in Bioinformatics thematics to model the time evolution of a population Mathematics to model the time evolution of a population
17 15 / 51 Systems Biology Population Dynamics Example Formal Models Stochasticity Theoretical immunology Modelling a population First attemt at combining mathematics and biology Formal Models in Bioinformatics From penguins to rabbits Mathematics to model the time evolution of a population From penguins to rabbits..
18 16 / 51 Modelling the time evolution of a population Early attempts to make use of mathematics in biology Leonardo de Pisa or Fibonacci (1202) At month 0 there is a pair of rabbits (one female and one male). Every pair of rabbits (one female and one male) can mate at the age of one month. The female rabbit always produces a new pair of rabbits (one female and one male) every month from the second month on. As there is no death, all rabbits survive. What is the number of pairs of rabbits in month n?
19 First attemt at combining mathematics and biology Systems Biology Population Dynamics Example Formal Models Stochasticity 17 / 51 om penguins to rabbits Modelling the time evolution of a population Rabbits population
20 Modelling the time evolution of a population Leonardo de Pisa or Fibonacci (1202) At month 0 there is a pair of rabbits (one female and one male). Every pair of rabbits (one female and one male) can mate at the age of one month. The female rabbit always produces a new pair of rabbits (one female and one male) every month from the second month on. As there is no death, all rabbits survive. The number of pairs in month n, R n, satisfies: R 0 = 1 R 1 = 1 R 2 = = 2 R 3 = = 3 R 4 = = 5 R n+1 = R n + R n 1 R 5 = = 8 18 / 51
21 19 / 51 Modelling the time evolution of a population Deterministic modelling Let N(t) be the population of those penguins at time t. N(t) is the number of individuals in the population at time t. The change in the number of penguins in a small time interval, from t to t + t, is given by: N(t + ) = N(t) + births deaths + migration This equation is a conservation equation for the number of individuals of the population. The form of the various terms on the right-hand-side requires essential feedback from biologists.
22 20 / 51 Modelling the time evolution of a population Deterministic birth process Let us assume that: There are no death events in the population. There are only birth events in the population. The birth rate (number of births per unit of time), b, is the same for all individuals of the population. We have: N(t + t) = N(t) + births
23 21 / 51 Modelling the time evolution of a population Deterministic birth process Change in the population is due to birth events. The births in the time interval [t, t + t] due to a single individual is b t.
24 21 / 51 Modelling the time evolution of a population Deterministic birth process Change in the population is due to birth events. The births in the time interval [t, t + t] due to a single individual is b t. The births in the time interval [t, t + t] due to all individuals is N(t)b t.
25 21 / 51 Modelling the time evolution of a population Deterministic birth process Change in the population is due to birth events. The births in the time interval [t, t + t] due to a single individual is b t. The births in the time interval [t, t + t] due to all individuals is N(t)b t. N(t + t) N(t) N(t + t) = N(t)+N(t)b t = = bn(t) t
26 21 / 51 Modelling the time evolution of a population Deterministic birth process Change in the population is due to birth events. The births in the time interval [t, t + t] due to a single individual is b t. The births in the time interval [t, t + t] due to all individuals is N(t)b t. N(t + t) N(t) N(t + t) = N(t)+N(t)b t = = bn(t) t For a very small time interval, t 0, N(t + t) N(t) lim = dn(t) = bn(t) t 0 t dt This equation can be easily solved by integration.
27 22 / 51 Modelling the time evolution of a population Deterministic birth process N(t): Number of individuals at time t dn(t) = bn(t) dt If the population at time t = t 0 is given by N 0, we have: N(t) = N 0 e b(t t 0) In a deterministic birth process the population size is predicted at time t with absolute certainty, once the initial size N 0 and birth rate b are given. The population size N(t) and time t are both continuous variables (both take real values) and not discrete (take integer values).
28 22 / 51 Modelling the time evolution of a population Deterministic birth process N(t): Number of individuals at time t dn(t) = bn(t) dt If the population at time t = t 0 is given by N 0, we have: N(t) = N 0 e b(t t 0) In a deterministic birth process the population size is predicted at time t with absolute certainty, once the initial size N 0 and birth rate b are given. The population size N(t) and time t are both continuous variables (both take real values) and not discrete (take integer values). Is this a good mathematical population growth model?
29 23 / 51 Modelling the time evolution of a population Stochastic birth process Let X t be the dicrete random variable that describes the number of individuals of the population at time t. The stochastic process that describes the population satisfies: X t {1, 2,...} and t [0, + ) Denote by p n (t) the probability that at time t the size of the population is n, i.e., the probability that at time t there are n individuals in the population: p n (t) = Prob(X t = n)
30 24 / 51 Modelling the time evolution of a population Stochastic birth process Consider a small time interval [t, t + t] How is X t+ t related to X We have the following rules: There are no death events in the population. There are birth events in the population: the probability that a birth takes place in t is b t. The probability of more than one birth in a time interval t is negligible (no twin births allowed).
31 a population Systems Biology Population Dynamics Example Formal Models Stochasticity tic birth process tic Modelling birth process the time II evolution of a population Stochastic birth process n 1 n n +1 The probability that a population of size n 1 increases to The probability n in thethat timeainterval population (t, t + of t) sizeis n(n 1 1)b t. increases to n in the time interval (t, Thet + probability t) is b that t a population (n 1). of size n increases to The probability n + 1 inthat the time a population interval (t, oft size + t) n increases is nb t. to n + 1 in the time interval (t, If at t + time t) t the is b population t n. has n individuals, the probability that no birth event takes place in the time interval If at time t the population has n individuals, the probability that no birth (t, t + t) is 1 nb t. event takes place in the time interval (t, t + t) is 1 b t n. Evolution equation for p n (t): 25 / 51
32 a population Systems Biology Population Dynamics Example Formal Models Stochasticity tic birth process tic Modelling birth process the time II evolution of a population Stochastic birth process n 1 n n +1 The probability that a population of size n 1 increases to The probability n in thethat timeainterval population (t, t + of t) sizeis n(n 1 1)b t. increases to n in the time interval (t, Thet + probability t) is b that t a population (n 1). of size n increases to The probability n + 1 inthat the time a population interval (t, oft size + t) n increases is nb t. to n + 1 in the time interval (t, If at t + time t) t the is b population t n. has n individuals, the probability that no birth event takes place in the time interval If at time t the population has n individuals, the probability that no birth (t, t + t) is 1 nb t. event takes Evolution place in equation the time for interval p (t, t + t) is 1 b t n. n (t): Evolution equation for p n (t): p n (t + t) = (n 1)b tp n 1 (t) + (1 nb t)p n (t) 25 / 51
33 26 / 51 Modelling the time evolution of a population Theoretical immunology Immunology T cell T cell
34 Theoretical immunology Immunology Modelling the time evolution of a population Cell division Cell division Birth Birth event event: At time t there are n cells. At time t there are n cells. During the time interval t there is a single birth event. During the time interval t there is a single birth event. At time t + t there are n + 1 cells. At time t + t there are n + 1 cells. 27 / 51
35 Theoretical immunology Immunology Modelling the time evolution of a population Cell death Cell death Death event: Death event At time t there are n cells. At time t there are n cells. During the time interval t there is a single death event. During the time interval t there is a single death event. At time t + t there are n 1 cells. At time t + t there are n 1 cells. 28 / 51
36 29 / 51 Theoretical immunology Immunology Modelling the time evolution of a population Cell-cell interactions lead to events Cell-cell interactions lead to events
37 30 / 51 Theoretical immunology Immunology Modelling the time evolution of a population T cell and tumour cell T cell and Tumour cell
38 31 / 51 Outline 1 Systems Biology 2 Population Dynamics Example 3 Formal Models 4 Stochasticity
39 32 / 51 Modelling in systems biology!"#$%&#'()*+*,"'' Modelling: Design and construction of models of existing biological! -*.%++)/,0'.%#),/'1/.'2*/#$3425*/'*6'&*.%+#'*6'%7)#5/,' systems, which explain observed properties and 8)*+*,)21+'#"#$%	':;)2;'%7<+1)/'*8#%3=%.'<3*<%35%#'1/.' predict the <3%.)2$'$;%'3%#<*/#%'$*'%7<%3)&%/$1+')/$%3=%/5*/#' response to experimental interventions. wetlab experiments natural biosystem wetlab experiments observed behaviour predicted behaviour formalizing understanding model (knowledge) model-based experiment design.1=).>,)+8%3$?834/%+>12>4@' (-C'D/$3*' AB'
40 <&3(,%$($./+0".&")&+&("#$%&"7$*&0($:&& 33 / 51 Modelling in systems biology Model:!"#$%& Formal representation of the real world. Simplified abstract view of the complex reality $,*$-$./+0".&")&/1$&*$+%&2"*%#& $#&+5-/*+6/&73$2&")&/1$&6"(,%$8&*$+%3/9:&
41 34 / 51 Modelling in systems biology Why model? A model can generate new insights A model can make testable predictions E.g., predict the effect of drugs on an organism E.g., predict the effect on an inhibitor on a pathway A model can test conditions that may be difficult to study in the laboratory A model can rule out particular explanations for an experimental observation A model can help you identify what s right and wrong with your hypotheses
42 35 / 51 Modelling in systems biology Textbook view of the cell and reality!"#$%&&'()*"+(&,($-"(."//(012(3"0/*$4 Three D EM image of a pancreatic Beta cell Campbell, Reece & Mitchell (1998) Biology, 5 th Edition
43 36 / 51 Modelling in systems biology In silico humans - spatial & temporal scales In silico humans-spatial & temporal scales 1 m person 1 mm electrical length scale of cardiac tissue 1 mm cardiac sarcomere spacing 1 nm pore diameter in a membrane protein Range = s (70 yrs) human lifetime 10 6 s (10 days) protein turnover 10 3 s (1 hour) digest food 1 s heart beat 1 ms ion channel HH gating 1 ms Brownian motion Range = Requires a hierarchy of inter-related models gene reg. networks pathway models stochastic models ODEs PDEs (continuum models)
44 37 / 51 Modelling in systems biology Levels of abstraction!"#"$%&'(&)*%+,-./'0&!"#$%&#' +%./0%#' ()*$#' +,-' Adrianantoandro et al. Mol Sys Bio #43564$*",+7*,80"$5-.589& :;<&=0+,'& 12&
45 38 / 51 Modelling in systems biology Models must be validated by experimental data: Simulations must be accurate representations of the real world.!"#$%&'!"#$%&',-).%-/%#' 01*%-#$21*314' ()*%+' 53)+)4362+' #"#$%&' 92+3*2/)1' 5%:293);-'.-%*36/)1' 71)81'.-).%-/%#' ;171)81'.-).%-/%#' ()*%+',-).%-/%#'
46 39 / 51 Formal Models in Bioinformatics A Framework for Modelling Define all the components of the system Systematically perturb and monitor components of the system Reconcile the experimentally observed responses with those predicted by the model Design and perform new perturbation experiments to distinguish between multiple or competing model hypotheses. (Ideker, Galitski & Hood, 2001)
47 40 / 51 Modelling in systems biology Models should be:!"#$%& Readable. Unambiguous. Analysable. Executable. 0".&")&/1$&*$+%&2"*%#& /&73$2&")&/1$&6"(,%$8&*$+%3/9:&
48 40 / 51 Modelling in systems biology Models should be:!"#$%& Readable. Unambiguous. Analysable. Executable. 0".&")&/1$&*$+%&2"*%#& Suggestions: Occam s razor: Don t overcomplicate things. /&73$2&")&/1$&6"(,%$8&*$+%3/9:& Einstein: Everything should be made as simple as possible, but not simpler.
49 41 / 51 Modelling in systems biology Modelling Regimes Randomness State Space Deterministic Stochastic Discrete Molecular Dynamics Stochastic Simulation Algorithms Continuous Ordinary Differential Equation Stochastic Differential Equation
50 42 / 51 Modelling in systems biology Modelling Regimes Discrete and stochastic: Small numbers of molecules. Exact description via Stochastic Simulation Algorithm (SSA) - Gillespie. Large computational time.
51 42 / 51 Modelling in systems biology Modelling Regimes Discrete and stochastic: Small numbers of molecules. Exact description via Stochastic Simulation Algorithm (SSA) - Gillespie. Large computational time. Continuous and stochastic: A bridge connecting discrete and continuous models. Described by SDEs Chemical Langevin Equation.
52 42 / 51 Modelling in systems biology Modelling Regimes Discrete and stochastic: Small numbers of molecules. Exact description via Stochastic Simulation Algorithm (SSA) - Gillespie. Large computational time. Continuous and stochastic: A bridge connecting discrete and continuous models. Described by SDEs Chemical Langevin Equation. Continuous and deterministic: Law of Mass Action. The Reaction Rate equations. Described by ordinary differential equations. Not valid if molecular populations of some critical reactant species are small.
53 43 / 51 Outline 1 Systems Biology 2 Population Dynamics Example 3 Formal Models 4 Stochasticity
54 44 / 51 Modelling in systems biology Biological evidence of noise Stochasticity is evident in all biological processes the proliferation of both noise and noise reduction systems is a hallmark of organismal evolution Federoff et al.(2002). Transcription in higher eukaryotes occurs with a relatively low frequency in biologic time and is regulated in a probabilistic manner Hume (2000). Gene regulation is a noisy business Mcadams et al. (1999). Initiation of gene transcription is a discrete process in which individual protein-coding genes in an off state can be stochastically switched on, resulting in sporadic pulses of mrna production Sano It is essential to study individual cells and to measure the cell to cell variations in biological response, rather than averaging over cell populations Zatorsky, Rosenfeld et al
55 45 / 51 Modelling in systems biology Origin of Stochasticity Intrinsic noise due to small numbers of molecules (e.g. mrna, DNA loci, TFs). Uncertainty of knowing when a reaction occurs and which reaction it is. Relative statistical uncertainty is inversely proportional to the square root of the number of molecules. Applies equally well to studying channel behaviour via the concept of channel molecules. Extrinsic noise due to (external) environmental effects (extrinsic factors are: stage in cell cycle, number of RNAP or ribosomes, cellular environment).
56 Modelling formalisms Markov chains Based on the concept of state of the system Solution techniques: Enumerative Transient and steady-state analysis Exact and approximate analysis Drawbacks: Low abstraction level Model size equals number of states of the system Only in very particular cases aggregation techniques exist 46 / 51
57 47 / 51 Modelling formalisms Queueing networks High abstraction level The number of states characterizing the system grows exponentially on the model size. Solution techniques: Enumerative (based on Markov chains) Reduction/transformation-based Structurally based (product-form solution, exact) Transient and steady-state analysis Exact, approximate and bounds Drawbacks: Lack of synchronization primitive Extensions exist but destroying analysis possibilities
58 Modelling formalisms Stochastic Petri nets Abstraction level similar to queueing networks With synchronization primitive SPN =Petri nets+ timing interpretation=queueing networks+ synchronizations Wide range of qualitative (logical properties) analysis techniques: Enumerative (based on Markov chains) Reduction/transformation-based Structurally based Petri nets as a formal modelling paradigm a conceptual framework to obtain specific formalisms based on common concepts and principles at different life-cycle phases 48 / 51
59 49 / 51 Modelling formalisms Stochastic Petri nets (cont.) Analysis techniques: Exact: mainly enumerative (based on Markov chains) Bounding techniques (structurally based) Approximation techniques (reduction/transformation) Drawbacks: Lack of a product-form solution for efficient exact analysis in most cases
60 50 / 51 Contents of the Course 1 Discrete and Continuous Markov chains 2 Birth and Death Processes 3 Stochastic Simulation 4 Hidden Markov Chains 5 Stochastic Petri nets Course info:
61 Acknowledgments Much of the material in the course is based on the following courses: Deterministic models in mathematical biology, Magic Lecture 1 Carmen Molina-París, Department of Applied Mathematics, School of Mathematics, University of Leeds Una Introducción a la Biología de Sistemas Raúl Guantes (UAM), Juan F. Poyatos (CNB) A conceptual framework for BioModel Engineering (Systems Biology, Synthetic Biology) Rainer Breitling, Groningen, NL; David Gilbert, Brunel, UK; Monika Heiner, Cottbus, DE A Petri Net Perspective on Systems and Synthetic Biology Monika Heiner, Brandenburg University of Technology Cottbus, DE Dept. of CS Systems Biology: Stochastic models and Simulation Kevin Burrage, Institute for Molecular Bioscience, The University of Queensland, Australia. 51 / 51
From cell biology to Petri nets. Rainer Breitling, Groningen, NL David Gilbert, London, UK Monika Heiner, Cottbus, DE
From cell biology to Petri nets Rainer Breitling, Groningen, NL David Gilbert, London, UK Monika Heiner, Cottbus, DE Biology = Concentrations Breitling / 2 The simplest chemical reaction A B irreversible,
More informationFrom Petri Nets to Differential Equations An Integrative Approach for Biochemical Network Analysis
From Petri Nets to Differential Equations An Integrative Approach for Biochemical Network Analysis David Gilbert drg@brc.dcs.gla.ac.uk Bioinformatics Research Centre, University of Glasgow and Monika Heiner
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 informationCybergenetics: Control theory for living cells
Department of Biosystems Science and Engineering, ETH-Zürich Cybergenetics: Control theory for living cells Corentin Briat Joint work with Ankit Gupta and Mustafa Khammash Introduction Overview Cybergenetics:
More informationLecture 1 Modeling in Biology: an introduction
Lecture 1 in Biology: an introduction 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 informationMA 777: Topics in Mathematical Biology
MA 777: Topics in Mathematical Biology David Murrugarra Department of Mathematics, University of Kentucky http://www.math.uky.edu/~dmu228/ma777/ Spring 2018 David Murrugarra (University of Kentucky) Lecture
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 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 informationBasic modeling approaches for biological systems. Mahesh Bule
Basic modeling approaches for biological systems Mahesh Bule The hierarchy of life from atoms to living organisms Modeling biological processes often requires accounting for action and feedback involving
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 informationIntroduction to Bioinformatics
Systems biology Introduction to Bioinformatics Systems biology: modeling biological p Study of whole biological systems p Wholeness : Organization of dynamic interactions Different behaviour of the individual
More informationIntroduction Biology before Systems Biology: Reductionism Reduce the study from the whole organism to inner most details like protein or the DNA.
Systems Biology-Models and Approaches Introduction Biology before Systems Biology: Reductionism Reduce the study from the whole organism to inner most details like protein or the DNA. Taxonomy Study external
More informationA Structured Approach Part IV. Model Checking in Systems and Synthetic Biology
A Structured Approach Part IV Model Checking in Systems and Synthetic Biology Robin Donaldson Bioinformatics Research Centre University of Glasgow, Glasgow, UK Model Checking - ISMB08 1 Outline Introduction
More informationIntroduction. Dagmar Iber Jörg Stelling. CSB Deterministic, SS 2015, 1.
Introduction Dagmar Iber Jörg Stelling joerg.stelling@bsse.ethz.ch CSB Deterministic, SS 2015, 1 Origins of Systems Biology On this assumption of the passage of blood, made as a basis for argument, and
More informationANALYSIS OF BIOLOGICAL NETWORKS USING HYBRID SYSTEMS THEORY. Nael H. El-Farra, Adiwinata Gani & Panagiotis D. Christofides
ANALYSIS OF BIOLOGICAL NETWORKS USING HYBRID SYSTEMS THEORY Nael H El-Farra, Adiwinata Gani & Panagiotis D Christofides Department of Chemical Engineering University of California, Los Angeles 2003 AIChE
More informationModeling and Systems Analysis of Gene Regulatory Networks
Modeling and Systems Analysis of Gene Regulatory Networks Mustafa Khammash Center for Control Dynamical-Systems and Computations University of California, Santa Barbara Outline Deterministic A case study:
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 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 informationIntroduction to the Study of Life
1 Introduction to the Study of Life Bio 103 Lecture GMU Dr. Largen 2 Outline Biology is the science of life The process of science Evolution, unity and diversity Core principles of biology 3 The Science
More informationModelling Biochemical Pathways with Stochastic Process Algebra
Modelling Biochemical Pathways with Stochastic Process Algebra Jane Hillston. LFCS, University of Edinburgh 13th April 2007 The PEPA project The PEPA project started in Edinburgh in 1991. The PEPA project
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 informationBIOLOGY 111. CHAPTER 1: An Introduction to the Science of Life
BIOLOGY 111 CHAPTER 1: An Introduction to the Science of Life An Introduction to the Science of Life: Chapter Learning Outcomes 1.1) Describe the properties of life common to all living things. (Module
More informationStochastic Simulation of Biochemical Reactions
1 / 75 Stochastic Simulation of Biochemical Reactions Jorge Júlvez University of Zaragoza 2 / 75 Outline 1 Biochemical Kinetics 2 Reaction Rate Equation 3 Chemical Master Equation 4 Stochastic Simulation
More informationIV121: Computer science applications in biology
IV121: Computer science applications in biology Quantitative Models in Biology David Šafránek March 5, 2012 Obsah Continuous mass action Stochastic mass action Beyond elementary reaction kinetics What
More informationbiological networks Claudine Chaouiya SBML Extention L3F meeting August
Campus de Luminy - Marseille - France Petri nets and qualitative modelling of biological networks Claudine Chaouiya chaouiya@igc.gulbenkian.pt chaouiya@tagc.univ-mrs.fr SML Extention L3F meeting 1-13 ugust
More informationLectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno. Biocybernetics
Lectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno Norbert Wiener 26.11.1894-18.03.1964 Biocybernetics Lecture outline Cybernetics Cybernetic systems Feedback
More informationAnalog Electronics Mimic Genetic Biochemical Reactions in Living Cells
Analog Electronics Mimic Genetic Biochemical Reactions in Living Cells Dr. Ramez Daniel Laboratory of Synthetic Biology & Bioelectronics (LSB 2 ) Biomedical Engineering, Technion May 9, 2016 Cytomorphic
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 informationUpdated: 10/11/2018 Page 1 of 5
A. Academic Division: Health Sciences B. Discipline: Biology C. Course Number and Title: BIOL1230 Biology I MASTER SYLLABUS 2018-2019 D. Course Coordinator: Justin Tickhill Assistant Dean: Melinda Roepke,
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 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 informationStochastic simulations
Stochastic simulations Application to molecular networks Literature overview Noise in genetic networks Origins How to measure and distinguish between the two types of noise (intrinsic vs extrinsic)? What
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 informationPrinciples of Synthetic Biology: Midterm Exam
Principles of Synthetic Biology: Midterm Exam October 28, 2010 1 Conceptual Simple Circuits 1.1 Consider the plots in figure 1. Identify all critical points with an x. Put a circle around the x for each
More informationComputer Simulation and Applications in Life Sciences. Dr. Michael Emmerich & Dr. Andre Deutz LIACS
Computer Simulation and Applications in Life Sciences Dr. Michael Emmerich & Dr. Andre Deutz LIACS Part 0: Course Preliminaries Course Preliminaries The course consists of 13 lectures + exercises Exercises
More informationCellular Systems Biology or Biological Network Analysis
Cellular Systems Biology or Biological Network Analysis Joel S. Bader Department of Biomedical Engineering Johns Hopkins University (c) 2012 December 4, 2012 1 Preface Cells are systems. Standard engineering
More informationComputational Genomics. Systems biology. Putting it together: Data integration using graphical models
02-710 Computational Genomics Systems biology Putting it together: Data integration using graphical models High throughput data So far in this class we discussed several different types of high throughput
More informationLecture: Computational Systems Biology Universität des Saarlandes, SS Introduction. Dr. Jürgen Pahle
Lecture: Computational Systems Biology Universität des Saarlandes, SS 2012 01 Introduction Dr. Jürgen Pahle 24.4.2012 Who am I? Dr. Jürgen Pahle 2009-2012 Manchester Interdisciplinary Biocentre, The University
More informationWhat is Systems Biology
What is Systems Biology 2 CBS, Department of Systems Biology 3 CBS, Department of Systems Biology Data integration In the Big Data era Combine different types of data, describing different things or the
More informationTowards a framework for multi-level modelling in Computational Biology
Towards a framework for multi-level modelling in Computational Biology Sara Montagna sara.montagna@unibo.it Alma Mater Studiorum Università di Bologna PhD in Electronics, Computer Science and Telecommunications
More informationIntroduction to Bioinformatics
CSCI8980: Applied Machine Learning in Computational Biology Introduction to Bioinformatics Rui Kuang Department of Computer Science and Engineering University of Minnesota kuang@cs.umn.edu History of Bioinformatics
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 informationBiochemical Reactions and Logic Computation
Biochemical Reactions and Logic Computation Biochemical Reactions and Biology Complex behaviors of a living organism originate from systems of biochemical reactions Jie-Hong Roland Jiang (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 informationBIO 111: Biological Diversity and Evolution
BIO 111: Biological Diversity and Evolution Varsha 2017 Ullasa Kodandaramaiah & Hema Somanathan School of Biology Ullasa Kodandaramaiah Assistant Professor, School of Biology, IISER- Thiruvananthapuram
More informationBasic Synthetic Biology circuits
Basic Synthetic Biology circuits Note: these practices were obtained from the Computer Modelling Practicals lecture by Vincent Rouilly and Geoff Baldwin at Imperial College s course of Introduction to
More informationarxiv: v2 [q-bio.qm] 12 Jan 2017
Approximation and inference methods for stochastic biochemical kinetics - a tutorial review arxiv:1608.06582v2 [q-bio.qm] 12 Jan 2017 David Schnoerr 1,2,3, Guido Sanguinetti 2,3, and Ramon Grima 1,3,*
More informationBerg Tymoczko Stryer Biochemistry Sixth Edition Chapter 1:
Berg Tymoczko Stryer Biochemistry Sixth Edition Chapter 1: Biochemistry: An Evolving Science Tips on note taking... Remember copies of my lectures are available on my webpage If you forget to print them
More informationBoulder 07: Modelling Stochastic Gene Expression
Boulder 7: Modelling Stochastic Gene Expression Peter Swain, Physiology, McGill University swain@cnd.mcgill.ca The whys and wherefores of stochasticity A system evolves stochastically if its dynamics is
More informationIntroduction To Mathematical Modeling
CHAPTER 1 Introduction To Mathematical Modeling In his book The Possible and the Actual, published by the University of Washington Press as a part of the Jessie and John Danz Lectures, Françis Jacob 1920-2013),
More informationLecture 4: Importance of Noise and Fluctuations
Lecture 4: Importance of Noise and Fluctuations Jordi Soriano Fradera Dept. Física de la Matèria Condensada, Universitat de Barcelona UB Institute of Complex Systems September 2016 1. Noise in biological
More informationSTOCHASTIC MODELING OF BIOCHEMICAL REACTIONS
STOCHASTIC MODELING OF BIOCHEMICAL REACTIONS Abhyudai Singh and João Pedro Hespanha* Department of Electrical and Computer Engineering University of California, Santa Barbara, CA 93101. Abstract The most
More informationBrief contents. Chapter 1 Virus Dynamics 33. Chapter 2 Physics and Biology 52. Randomness in Biology. Chapter 3 Discrete Randomness 59
Brief contents I First Steps Chapter 1 Virus Dynamics 33 Chapter 2 Physics and Biology 52 II Randomness in Biology Chapter 3 Discrete Randomness 59 Chapter 4 Some Useful Discrete Distributions 96 Chapter
More informationCase study: spider mimicry
Pounce rate (% of trials in which spider jumped on fly) Case study: spider mimicry Control group (untreated flies) Experimental group (wing markings masked) Pounce rate (% of trials in which spider jumped
More informationIntroduction to Scientific Modeling Stephanie Forrest Dept. of Computer Science Univ. of New Mexico Albuquerque, NM
Introduction to Scientific Modeling Stephanie Forrest Dept. of Computer Science Univ. of New Mexico Albuquerque, NM August, 20112 http://cs.unm.edu/~forrest forrest@cs.unm.edu " Introduction" The three
More informationBiological networks CS449 BIOINFORMATICS
CS449 BIOINFORMATICS Biological networks Programming today is a race between software engineers striving to build bigger and better idiot-proof programs, and the Universe trying to produce bigger and better
More informationComputing, Communication and Control
Computing, Communication and Control The view from Systems Biology Arthur Lander, Center for Complex Biological Systems Systems Biology A philosophical shift in biological and biomedical research Acknowledges
More informationTypes of biological networks. I. Intra-cellurar networks
Types of biological networks I. Intra-cellurar networks 1 Some intra-cellular networks: 1. Metabolic networks 2. Transcriptional regulation networks 3. Cell signalling networks 4. Protein-protein interaction
More informationFUNDAMENTALS of SYSTEMS BIOLOGY From Synthetic Circuits to Whole-cell Models
FUNDAMENTALS of SYSTEMS BIOLOGY From Synthetic Circuits to Whole-cell Models Markus W. Covert Stanford University 0 CRC Press Taylor & Francis Group Boca Raton London New York Contents /... Preface, xi
More information02/02/ Living things are organized. Analyze the functional inter-relationship of cell structures. Learning Outcome B1
Analyze the functional inter-relationship of cell structures Learning Outcome B1 Describe the following cell structures and their functions: Cell membrane Cell wall Chloroplast Cytoskeleton Cytoplasm Golgi
More informationSC55 Anatomy and Physiology Course #: SC-55 Grade Level: 10-12
Course #: SC-55 Grade Level: 10-12 Course Name: Anatomy and Physiology Level of Difficulty: High Prerequisites: 1 year Biology # of Credits: 1 Strand 1: Inquiry Process s 1: 2: 3: 4: Science as inquiry
More informationIntroduction. ECE/CS/BioEn 6760 Modeling and Analysis of Biological Networks. Adventures in Synthetic Biology. Synthetic Biology.
Introduction ECE/CS/BioEn 6760 Modeling and Analysis of Biological Networks Chris J. Myers Lecture 17: Genetic Circuit Design Electrical engineering principles can be applied to understand the behavior
More informationBIO 111: Biological Diversity and Evolution
BIO 111: Biological Diversity and Evolution Varsha 2018 Ullasa Kodandaramaiah & Hema Somanathan School of Biology MODULE: BRIDGE COURSE Ullasa Kodandaramaiah Assistant Professor, School of Biology, IISER-
More informationCells and the Stuff They re Made of. Indiana University P575 1
Cells and the Stuff They re Made of Indiana University P575 1 Goal: Establish hierarchy of spatial and temporal scales, and governing processes at each scale of cellular function: o Where does emergent
More informationProteomics. Yeast two hybrid. Proteomics - PAGE techniques. Data obtained. What is it?
Proteomics What is it? Reveal protein interactions Protein profiling in a sample Yeast two hybrid screening High throughput 2D PAGE Automatic analysis of 2D Page Yeast two hybrid Use two mating strains
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 informationTest Bank for Biology 7th edition by Neil Campbell and Jane Reece
Test Bank for Biology 7th edition by Neil Campbell and Jane Reece Link download full: https://digitalcontentmarket.org/download/test-bank-for-biology-7th-edition-bycampbell-and-reece/ Chapter 1: Exploring
More informationBiomolecular Feedback Systems
Biomolecular Feedback Systems Domitilla Del Vecchio MIT Richard M. Murray Caltech Version 1.0b, September 14, 2014 c 2014 by Princeton University Press All rights reserved. This is the electronic edition
More informationNext Generation Science Standards Life Science Performance Expectations
A Correlation of Essentials of Human Anatomy and Physiology 12 th Edition, 2018 To the Life Science Performance Expectations HS-LS1 From Molecules to Organisms: Structures and Processes HS-LS1-1. Construct
More informationDiscrete and Indiscrete Models of Biological Networks
Discrete and Indiscrete Models of Biological Networks Winfried Just Ohio University November 17, 2010 Who are we? What are we doing here? Who are we? What are we doing here? A population of interacting
More informationBioinformatics 2. Yeast two hybrid. Proteomics. Proteomics
GENOME Bioinformatics 2 Proteomics protein-gene PROTEOME protein-protein METABOLISM Slide from http://www.nd.edu/~networks/ Citrate Cycle Bio-chemical reactions What is it? Proteomics Reveal protein Protein
More informationIntroduction to stochastic multiscale modelling of tumour growth
Introduction to stochastic multiscale modelling of tumour growth Tomás Alarcón ICREA & Centre de Recerca Matemàtica T. Alarcón (ICREA & CRM, Barcelona, Spain) Lecture 1 CIMPA, Santiago de Cuba, June 2016
More informationTrends in Scientific Investigation
Trends in Scientific Investigation 20 th Century Genomics Reductionism 20 th Century Biomedical Sciences Genes Proteins Cell Organ Organism 21 st Century Genomics Proteomics Molecular biophysics Bioinformatics
More informationNetworks in systems biology
Networks in systems biology Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4500, Spring 2017 M. Macauley (Clemson) Networks in systems
More informationActivation of a receptor. Assembly of the complex
Activation of a receptor ligand inactive, monomeric active, dimeric When activated by growth factor binding, the growth factor receptor tyrosine kinase phosphorylates the neighboring receptor. Assembly
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 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 informationAN INTRODUCTION TO DISCRETE-EVENT SIMULATION
AN INTRODUCTION TO DISCRETE-EVENT SIMULATION Peter W. Glynn 1 Peter J. Haas 2 1 Dept. of Management Science and Engineering Stanford University 2 IBM Almaden Research Center San Jose, CA CAVEAT: WE ARE
More informationL3.1: Circuits: Introduction to Transcription Networks. Cellular Design Principles Prof. Jenna Rickus
L3.1: Circuits: Introduction to Transcription Networks Cellular Design Principles Prof. Jenna Rickus In this lecture Cognitive problem of the Cell Introduce transcription networks Key processing network
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 information10/4/ :31 PM Approved (Changed Course) BIO 10 Course Outline as of Summer 2017
10/4/2018 12:31 PM Approved (Changed Course) BIO 10 Course Outline as of Summer 2017 CATALOG INFORMATION Dept and Nbr: BIO 10 Title: INTRO PRIN BIOLOGY Full Title: Introduction to Principles of Biology
More informationUNIVERSITY OF CALIFORNIA SANTA BARBARA DEPARTMENT OF CHEMICAL ENGINEERING. CHE 154: Engineering Approaches to Systems Biology Spring Quarter 2004
UNIVERSITY OF CALIFORNIA SANTA BARBARA DEPARTMENT OF CHEMICAL ENGINEERING CHE 154: Engineering Approaches to Systems Biology Spring Quarter 2004 Lecture: Tue/Thu 9:30-10:45am Engr-II Room 3301 Instructor
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 informationStochastic dynamics of small gene regulation networks. Lev Tsimring BioCircuits Institute University of California, San Diego
Stochastic dynamics of small gene regulation networks Lev Tsimring BioCircuits Institute University of California, San Diego Nizhni Novgorod, June, 2011 Central dogma Activator Gene mrna Protein Repressor
More informationChapter 1 Biology: Exploring Life
Chapter 1 Biology: Exploring Life PowerPoint Lectures for Campbell Biology: Concepts & Connections, Seventh Edition Reece, Taylor, Simon, and Dickey Lecture by Edward J. Zalisko Figure 1.0_1 Chapter 1:
More informationA Simple Protein Synthesis Model
A Simple Protein Synthesis Model James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 3, 213 Outline A Simple Protein Synthesis Model
More informationProblem Set 5. 1 Waiting times for chemical reactions (8 points)
Problem Set 5 1 Waiting times for chemical reactions (8 points) In the previous assignment, we saw that for a chemical reaction occurring at rate r, the distribution of waiting times τ between reaction
More informationComputational Methods in Systems and Synthetic Biology
Computational Methods in Systems and Synthetic Biology François Fages EPI Contraintes, Inria Paris-Rocquencourt, France 1 / 62 Need for Abstractions in Systems Biology Models are built in Systems Biology
More informationScience Textbook and Instructional Materials Correlation to the 2010 Biology Standards of Learning and Curriculum Framework. Publisher Information
Publisher Information Copyright date 2013 Contact Carol Kornfeind Phone# 847-486-2065 E-mail carol.kornfeind@pearson.com Biology 1 of 12 Virginia Department of Education Text Miller Levine Biology, Virginia
More information1 Introduction. Maria Luisa Guerriero. Jane Hillston
Time-Series Analysis of Circadian Clocks: Quantifying the Effect of Stochasticity on the Distribution of Phase, Period and Amplitude of Circadian Oscillations Maria Luisa Guerriero Centre for Systems Biology
More information86 Part 4 SUMMARY INTRODUCTION
86 Part 4 Chapter # AN INTEGRATION OF THE DESCRIPTIONS OF GENE NETWORKS AND THEIR MODELS PRESENTED IN SIGMOID (CELLERATOR) AND GENENET Podkolodny N.L. *1, 2, Podkolodnaya N.N. 1, Miginsky D.S. 1, Poplavsky
More informationBIOLOGY 10/11/2014. An Introduction to Metabolism. Outline. Overview: The Energy of Life
8 An Introduction to Metabolism CAMPBELL BIOLOGY TENTH EDITION Reece Urry Cain Wasserman Minorsky Jackson Outline I. Forms of Energy II. Laws of Thermodynamics III. Energy and metabolism IV. ATP V. Enzymes
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 informationCONTROL OF STOCHASTIC GENE EXPRESSION BY A NONLINEAR BIOLOGICAL OSCILLATOR
PHYSCON 27, Florence, Italy, 7 9 July, 27 CONTROL OF STOCHASTIC GENE EXPRESSION BY A NONLINEAR BIOLOGICAL OSCILLATOR Federica Colombo Division of Genetics and Cell Biology San Raffaele Scientific Institute
More informationCS-E5880 Modeling biological networks Gene regulatory networks
CS-E5880 Modeling biological networks Gene regulatory networks Jukka Intosalmi (based on slides by Harri Lähdesmäki) Department of Computer Science Aalto University January 12, 2018 Outline Modeling gene
More informationColored extrinsic fluctuations and stochastic gene expression: Supplementary information
Colored extrinsic fluctuations and stochastic gene expression: Supplementary information Vahid Shahrezaei, Julien F. Ollivier, and Peter S. Swain Stochastic simulation algorithm with continuous and discontinuous
More informationIntroduction to ecosystem modelling (continued)
NGEN02 Ecosystem Modelling 2015 Introduction to ecosystem modelling (continued) Uses of models in science and research System dynamics modelling The modelling process Recommended reading: Smith & Smith
More informationModeling Cellular Networks
06_4774 12/7/06 3:02 PM Page 151 CHAPTER 6 Modeling Cellular Networks Tae Jun Lee, Dennis Tu, Chee Meng Tan, and Lingchong You 6.1 Introduction Systems-level understanding of cellular dynamics is important
More informationIntrinsic Noise in Nonlinear Gene Regulation Inference
Intrinsic Noise in Nonlinear Gene Regulation Inference Chao Du Department of Statistics, University of Virginia Joint Work with Wing H. Wong, Department of Statistics, Stanford University Transcription
More informationMathematical Models of Biological Systems
Mathematical Models of Biological Systems CH924 November 25, 2012 Course outline Syllabus: Week 6: Stability of first-order autonomous differential equation, genetic switch/clock, introduction to enzyme
More information