

{"id":136,"date":"2014-12-22T11:37:43","date_gmt":"2014-12-22T11:37:43","guid":{"rendered":"https:\/\/compsysbio.inria.fr\/?page_id=136"},"modified":"2019-03-22T16:01:09","modified_gmt":"2019-03-22T15:01:09","slug":"blackboard-teaching-and-computer-practicals","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/compsysbio2019\/blackboard-teaching-and-computer-practicals\/","title":{"rendered":"Blackboard &#038; Computer practicals"},"content":{"rendered":"<p><\/p>\n<div style=\"text-align: justify;\">\n<h4 style=\"text-align: left;\">Blackboard teaching and Computer practicals<\/h4>\n<h5><\/h5>\n<\/div>\n<div style=\"text-align: justify;\">\n<div class=\"\">\n<h5 style=\"text-align: left;\"><strong>Qualitative dynamical modeling of (multi-) cellular networks<\/strong><\/h5>\n<h5 style=\"text-align: left;\"><strong><a href=\"http:\/\/compbio.igc.gulbenkian.pt\/nmd\/node\/23\" target=\"_blank\" rel=\"noopener\">Claudine Chaouiya<\/a><br \/>\n<\/strong><em>Gulbenkian Institute, Lisbon<br \/>\n&amp; Institut de Math\u00e9matiques de Marseille<br \/>\n<\/em><\/h5>\n<div style=\"text-align: justify;\">\n<p>We will start with the basics of the logical formalism to model and analyze regulatory\/signaling networks. We will discuss a variety of computational methods that enable the analysis of rather large networks. The software GINsim (<a href=\"http:\/\/ginsim.org\/\">http:\/\/ginsim.org<\/a>) will be used to build and analyze a simple logical model, illustrating the concepts introduced during the course. We will then introduce model composition and\u00a0a cellular automata framework\u00a0for the logical modeling of\u00a0multi-cellular systems. In particular, we will focus on pattern formation in hexagonal grids, defining and simulating logical models using the software EpiLog (<a href=\"http:\/\/epilog-tool.org\/\">http:\/\/epilog-tool.org\/<\/a>).<\/p>\n<p>Students need to have <span style=\"color: #ff0000;\">GINsim<\/span> and <span style=\"color: #ff0000;\">EpiLog<\/span> installed on their laptop, with a JAVA version 1.7 or higher. Files with dependencies should be downloaded from:<br \/>\n<a href=\"http:\/\/ginsim.org\/sites\/default\/files\/GINsim-3.0.0b-with-deps.jar\">http:\/\/ginsim.org\/sites\/default\/files\/GINsim-3.0.0b-with-deps.jar<\/a><br \/>\n<a href=\"http:\/\/epilog-tool.org\/sites\/default\/files\/EpiLog-v1.1.1.jar\">http:\/\/epilog-tool.org\/sites\/default\/files\/EpiLog-v1.1.1.jar<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n<div style=\"text-align: justify;\">\n<hr \/>\n<\/div>\n<div style=\"text-align: justify;\">\n<h5><\/h5>\n<h5 style=\"text-align: left;\"><strong>Dynamic models integrating metabolism and gene expression<\/strong><\/h5>\n<h5 style=\"text-align: left;\"><strong><a href=\"https:\/\/team.inria.fr\/ibis\/\" target=\"_blank\" rel=\"noopener\">Hidde de Jong<\/a><br \/>\n<\/strong><em>INRIA Grenoble &#8211; Rh\u00f4ne-Alpes<\/em><\/h5>\n<p>We will step-by-step build quantitative ODE models of a metabolic network integrating regulation on both the metabolic and gene expression level, and investigate the effect of these layers of regulation on the networks dynamics. The course will be structured around the case of carbon catabolite repression in bacteria, using the simple models described in Kremling et al. (2015). All simulations will be carried out by means of <span style=\"color: #ff0000;\">Matlab<\/span> (no toolboxes needed), using code provided by the instructor.<\/p>\n<p>Kremling A, Geiselmann J, Ropers D, de Jong H (2015). Understanding carbon catabolite repression in <em>Escherichia coli<\/em> using quantitative models. <em>Trends Microbiol.<\/em>, 23:99-109<\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<div>\n<hr \/>\n<\/div>\n<div>\n<div>\n<h5><\/h5>\n<h5><strong>Resource Balance Analysis<\/strong><\/h5>\n<h5><strong><a href=\"http:\/\/genome.jouy.inra.fr\/~agoelzer\/\" target=\"_blank\" rel=\"noopener\">Anne Goelzer<\/a><br \/>\n<\/strong><em>INRA Jouy en Josas<\/em><\/h5>\n<p>After a brief recall on constraint-based modeling, we will study the resource balance analysis (RBA) framework. We will illustrate the capability of prediction of RBA on a core-model of <em>Bacillus subtilis<\/em>: ribosome abundance, hierarchy of carbon and nitrogen source, cellular configurations maximizing the production of a compound of interest, etc. All simulations will be carried out by means of <span style=\"color: #ff0000;\">Matlab<\/span> (release 2016 or later) and having either <span style=\"color: #ff0000;\">Cplex<\/span> version 12.4.0.0 (preferred) or the optimization toolbox for solving linear programming optimization problems.<\/p>\n<p>The RBA code using Cplex or the Matlab optimization toolbox can be found <a href=\"http:\/\/project.inria.fr\/compsysbio2019\/files\/2019\/03\/RBA_CompSysBio_test.zip\">here<\/a>. Please test it before the course by following <a href=\"http:\/\/project.inria.fr\/compsysbio2019\/files\/2019\/03\/rba_test_tuto.pdf\">these instructions<\/a>.<br \/>\n<a href=\"https:\/\/www.ibm.com\/analytics\/cplex-optimizer\">https:\/\/www.ibm.com\/analytics\/cplex-optimizer<\/a><\/p>\n<\/div>\n<div>\n<hr \/>\n<\/div>\n<div><\/div>\n<div><\/div>\n<h5><strong>Stochastic modeling, simulation and analysis<br \/>\n<\/strong><\/h5>\n<h5><strong><a href=\"https:\/\/www.bsse.ethz.ch\/ctsb\" target=\"_blank\" rel=\"noopener\">Mustafa Khammash<\/a><br \/>\n<\/strong><em>ETHZ, Basel<br \/>\n<\/em><\/h5>\n<p>The cellular environment is\u00a0abuzz with noise. A key source of this noise is the randomness that\u00a0characterizes the motion of cellular constituents at the molecular level. Cellular\u00a0noise not only results in random fluctuations (over time)\u00a0within individual\u00a0cells, but it is also a main source of phenotypic variability among clonal cell\u00a0populations. This course is concerned with the computational\u00a0methods for modeling, simulation, and analysis of stochasticity in\u00a0living\u00a0cells.<\/p>\n<p>The course topics include: introduction to stochastic gene expression; deterministic\u00a0<em>vs<\/em>. stochastic models; the stochastic chemical kinetics framework; the chemical master equation; moment computations; the linear noise approximation; Monte Carlo simulations; Gillespie&#8217;s\u00a0Stochastic Simulation Algorithm (SSA) and its variants. Exercises will require\u00a0<span style=\"color: #ff0000;\">Matlab<\/span> or <span style=\"color: #ff0000;\">R<\/span>.<\/p>\n<\/div>\n<div>\n<hr \/>\n<\/div>\n<h5><\/h5>\n<h5><strong>Enzyme economy in metabolic models<\/strong><\/h5>\n<h5><strong><a href=\"http:\/\/genome.jouy.inra.fr\/~wliebermeis\/index_en.html\" target=\"_blank\" rel=\"noopener\">Wolfram Liebermeister<\/a><br \/>\n<\/strong><em>INRA Jouy en Josas<br \/>\n<\/em><\/h5>\n<p>In this blackboard course, I will address an economic aspect of microbial metabolism: the protein cost associated with metabolic fluxes. I show how this cost can be approximated based on enzyme kinetics and on the assumption of minimal enzyme investments, and we will discuss how enzyme costs per unit flux, once they are known, can be used to predict metabolic fluxes and how simplified cost functions for Flux Balance Analysis can be derived. By considering a partitioning of protein resources between ribosomes and metabolic enzymes, predictions about enzyme cost can be translated into cellular growth rates. At the end of the course, we study constraint-based models that consider a fine-grained partitioning of the protein budget into individual enzymes. Such models predict metabolic strategies and protein investments solely from metabolic network structure, from physical and physiological constraints (such as limited cell space, protein composition, and presumable catalytic rates of enzymes), and from an assumed drive for fast growth.<\/p>\n<p>Prerequisites: very basic understanding of cell biology, enzyme kinetics, and mathematical optimality problems.<\/p>\n<p>Noor E., Flamholz A., Bar-Even A., Davidi D., Milo R., Liebermeister W. (2016). <a href=\"https:\/\/journals.plos.org\/ploscompbiol\/article?id=10.1371\/journal.pcbi.1005167https:\/\/journals.plos.org\/ploscompbiol\/article?id=10.1371\/journal.pcbi.1005167\">The protein cost of metabolic fluxes: prediction from enzymatic rate laws and cost minimization<\/a>. <em>PLoS Comput. Biol.<\/em> 12: e1005167.<br \/>\nWortel M.T., Noor E., Ferris M., Bruggeman F.J., Liebermeister W. (2018). <a href=\"https:\/\/journals.plos.org\/ploscompbiol\/article?id=10.1371\/journal.pcbi.1006010\">Metabolic enzyme cost explains variable trade-offs between microbial growth rate and yield<\/a>. <em>PLoS Comput. Biol.<\/em> 14: e1006010.<\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<hr \/>\n<\/div>\n<h5><\/h5>\n<h5><strong>Simulation of intracellular mechanics<\/strong><\/h5>\n<h5><strong><a href=\"http:\/\/www.cytosim.org\/\" target=\"_blank\" rel=\"noopener\">Fran\u00e7ois N\u00e9d\u00e9lec<\/a><br \/>\n<\/strong><em>EMBL Heidelberg<br \/>\n<\/em><\/h5>\n<div class=\"\">\n<p>In this practical session, we will introduce basic methods to simulate systems containing mechanics and chemical reactions. We will in particular discuss how to extend Gillespie&#8217;s method when some of the reactions are affected by force, which is the case for example for the unbinding of a molecular bond under force, or for a molecular motor stepping along a filament. We will also discuss Brownian motion and consider simple problems of mechanical equilibrium, in which for example the position of a bead is constrained by a molecular link. The objective of the practical will be for the students to implement these methods and to write a simulation in Java of a bead being pulled by a molecular motor.<\/p>\n<p>We will use the <span style=\"color: #ff0000;\">Processing <\/span> software to be installed from <a class=\"\" href=\"https:\/\/processing.org\/download\/\">https:\/\/processing.org\/download\/<\/a><\/p>\n<\/div>\n<div>\n<hr \/>\n<\/div>\n<h5><\/h5>\n<h5><strong>Optimally learning dynamical models from data<br \/>\n<\/strong><\/h5>\n<h5><strong><a href=\"https:\/\/research.pasteur.fr\/en\/member\/jakob-ruess\/\" target=\"_blank\" rel=\"noopener\">Jakob Ruess<\/a><br \/>\n<\/strong><em>INRIA Saclay &#8211; Ile-de-France<br \/>\n&amp; <\/em><em>Pasteur Institute, Paris<\/em><\/h5>\n<p>In this blackboard course, we will focus on the identification of parameters of biochemical reaction network models (ODEs or stochastic models) from experimental data. Using a simple model of gene expression as case study, we will discuss how the amount of information about model parameters contained in different types of experimental data (e.g. population averages vs. single cell data) can be mathematically quantified. Subsequently, we will investigate how experiments can be optimally designed to maximize this information and how well chosen measurement times and\/or perturbations of the system can help us to obtain precise estimates of parameter values.<\/p>\n<p>Prerequisites: simple mathematical and statistical concepts such as (random) variables, probability distributions and ordinary differential equations.<\/p>\n<hr \/>\n<p><!--<\/div>\n\n\n\n\n<h5 style=\"text-align: left;\"><strong>Dynamic modeling with ODEs<\/strong><\/h5>\n\n\n\n\n<div style=\"text-align: justify;\">\n\n\n<h5 style=\"text-align: left;\"><strong><a href=\"https:\/\/www2.hu-berlin.de\/biologie\/theorybp\/index.php\" target=\"_blank\">Edda KLIPP<\/a>\n<\/strong><em>Humboldt University, Berlin<\/em><\/h5>\n\n\n&nbsp;\n\n&nbsp;\n\n\n\n<hr \/>\n\n\n\n\n\n<div style=\"text-align: justify;\">\n\n\n<h3><strong>Modeling, fitting and controlling biological systems: the toggle switch example<\/strong><\/h3>\n\n\n\n\n<h4><strong>Gregory Batt<\/strong> <em>INRIA, Paris<\/em><\/h4>\n\n\nIn this course, our ambition is to demonstrate on a simple but realistic problem the model-based approach employed in quantitative biology. As a running example, we will use the toggle switch, a synthetic genetic network built in <em>E. coli<\/em>. It is one of the most extensively-studied system. Yet interesting quantitative questions are still open.\n\n\n<ul>\n \t\n\n<li>In the first practical session, we will draft an ordinary differential equation model of the system, find realistic values for the parameters and analyze its behavior using numerical simulation.<\/li>\n\n\n \t\n\n<li>In the second practical session, we will consider (simulated) noisy experimental data and use optimization tools to fit the model to the data.<\/li>\n\n\n \t\n\n<li>In the last practical session, we will extend our model with inducers and solve <em>in silico<\/em> simple control problems.<\/li>\n\n\n<\/ul>\n\n\n<b><span style=\"color: #ff0000;\">Important note<\/span>:<\/b> We will use <span style=\"color: #ff0000;\"><strong>Matlab<\/strong><\/span> for all computations. Therefore, it is expected that participants will come with the installed program. No toolboxes are needed. Student versions are available at 35\u20ac. If you encounter any issues with this matter, please contact me (<a class=\"moz-txt-link-abbreviated\" href=\"mailto:gregory.batt@inria.fr\">gregory.batt@inria.fr<\/a>) and we will find a solution.\n\n\n\n<hr \/>\n\n\n\n\n\n<h3><strong>Modeling gene expression: stochasticity and spatial dynamics<\/strong><\/h3>\n\n\n\n\n<h4><strong>Hugues Berry <\/strong>&amp;<strong> Fran\u00e7ois N\u00e9delec<\/strong> <em>INRIA, Lyon &amp; EMBL, Heidelberg<\/em><\/h4>\n\n\nThis hands-on session is an introduction to the modeling of the dynamics of stochastic gene expression. As a toy model, the linear \"central dogma\" model will be considered (one gene-&gt;one mRNA-&gt;one protein). After a brief overview of the theoretical analysis of this system (mass action laws, methods of moments), we will simulate the stochastic dynamics of the system using Gillespie's algorithm, that accounts for stochasticity due to low copy numbers. In a second stage, we will simulate spatially explicit dynamics using Individual-based modeling, that also accounts for diffusion-based stochasticity and is expected to converge to Gillespie's simulations only for infinite diffusion coefficients (in three dimensions). All programming will be done in <a title=\"Scilab\" href=\"http:\/\/www.scilab.org\/en\/download\/5.5.1\" target=\"_blank\"><strong>Scilab<\/strong><\/a>, but note that for time constraints reason, the organisers will provide most of the necessary code.\n\n\n\n<hr \/>\n\n\n\n\n\n<h3><strong>Towards integrated models of cellular processes: metabolism, gene expression, signaling<\/strong><\/h3>\n\n\n\n\n<h4><strong>Hidde de Jong<\/strong> <em>INRIA, Grenoble<\/em><\/h4>\n\n\nWe will discuss what are integrated models of the cell and why they are necessary. We will review three approaches that have been used to construct integrated models of the cell:<\/div>\n\n\n\n\n<div>\n\n\n<ul>\n \t\n\n<li>flux balance models,<\/li>\n\n\n \t\n\n<li>kinetic models,<\/li>\n\n\n \t\n\n<li>resource allocation models.<\/li>\n\n\n<\/ul>\n\n\nWe will finish with open questions and perspectives.<\/div>\n\n\n\n\n\n<hr \/>\n\n\n\n\n\n<h3><strong>Qualitative dynamical modeling of cellular networks<\/strong><\/h3>\n\n\n\n\n<h4><strong>Denis Thieffry <\/strong><em>Ecole Normale Sup\u00e9rieure, Paris<\/em><\/h4>\n\n\n\n\n<p style=\"text-align: justify;\">This course will introduce the Boolean and multilevel logical formalism, along with different formal methods enabling the modeling of rather large signaling\/regulatory networks.<\/p>\n\n\n\n\n\n<ul>\n \t\n\n<li style=\"text-align: justify;\">The first class will be devoted to an overview of the basics of the logical framework, along with a presentation of the main variations regarding model definition and updating policies.<\/li>\n\n\n \t\n\n<li style=\"text-align: justify;\">The second class will be devoted to handling the software <a title=\"GINsim download\" href=\"http:\/\/ginsim.org\/sites\/default\/files\/ginsim-dev\/GINsim-2.9.3-SNAPSHOT-jar-with-dependencies.jar\" target=\"_blank\"><strong>GINsim <\/strong><\/a>(version 2.9.3, to be downloaded from <a href=\"http:\/\/ginsim.org\">http:\/\/ginsim.org<\/a>) to define and analyze a relatively simple model. Note that to run GINsim on your laptop, you need <span style=\"text-decoration: underline;\">a recent version of the Java Virtual Machine <\/span>(1.6 or 1.7).<\/li>\n\n\n \t\n\n<li style=\"text-align: justify;\">The third and last class will be devoted to the handling of a more complex model, and to the use of advanced algorithms enabling the simulation of large networks (computation of stable states, model reduction, state transition graph compression).<\/li>\n\n\n<\/ul>\n\n\nStudents should read the <a title=\"GINsim tutorial\" href=\"http:\/\/project.inria.fr\/compsysbio2017\/files\/2015\/03\/Tutorial_GINsim_p53.pdf\" target=\"_blank\"><strong>GINsim tutorial<\/strong><\/a> and at least one of the articles listed below before the class:\n\n\n<ol>\n \t\n\n<li>Faur\u00e9 A, Naldi A, Chaouiya C, Thieffry D (2006). Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22: e124-31.<\/li>\n\n\n \t\n\n<li>B\u00e9renguier D, Chaouiya C, Monteiro PT, Naldi A, Remy E, Thieffry D, Tichit L (2013). Dynamical modeling and analysis of large cellular regulatory networks. Chaos 23: 025114.<\/li>\n\n\n \t\n\n<li>Grieco L, Calzone L, Bernard-Pierrot I, Radvanyi F, Kahn-Perl\u00e8s B, Thieffry D (2013). Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Computational Biology 9:\u00a0e1003286.<\/li>\n\n\n \t\n\n<li>Abou-Jaoud\u00e9 W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D (2015). Model checking to assess T-helper cell plasticity. Frontiers in Bioengineering and Biotechnology 2: 86.<\/li>\n\n\n<\/ol>\n\n\n...--><\/p>","protected":false},"excerpt":{"rendered":"<p>Blackboard teaching and Computer practicals Qualitative dynamical modeling of (multi-) cellular networks Claudine Chaouiya Gulbenkian Institute, Lisbon &amp; Institut de Math\u00e9matiques de Marseille We will start with the basics of the logical formalism to model and analyze regulatory\/signaling networks. We will discuss a variety of computational methods that enable the\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/compsysbio2019\/blackboard-teaching-and-computer-practicals\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":935,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-136","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/pages\/136","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/users\/935"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/comments?post=136"}],"version-history":[{"count":56,"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/pages\/136\/revisions"}],"predecessor-version":[{"id":726,"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/pages\/136\/revisions\/726"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/compsysbio2019\/wp-json\/wp\/v2\/media?parent=136"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}