

{"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":"2017-03-18T12:15:31","modified_gmt":"2017-03-18T11:15:31","slug":"blackboard-teaching-and-computer-practicals","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/compsysbio2017\/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 style=\"text-align: left;\"><strong>Basics in modeling and model calibration: the toggle switch example <\/strong><\/h5>\n<h5 style=\"text-align: left;\"><strong><a href=\"http:\/\/contraintes.inria.fr\/~batt\/home.html\" target=\"_blank\">Gregory BATT<\/a><br \/>\n<\/strong><em>INRIA Saclay &#8211; Ile-de-France<br \/>\nand <\/em><em>Pasteur Institute, Paris<\/em><\/h5>\n<p>&nbsp;<\/p>\n<p>In this course, we will develop and calibrate models using the most commonly encountered formalism: ordinary-differential equations. By means of an example, we will see how to go from data to a fully calibrated models. More specifically, we will draft a model of the system, find realistic estimates for parameter values, propose experiments to be performed on this system to characterize its behavior, fit the model to the (simulated) data and analyze its dynamics.<\/p>\n<p>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. The target audience of this course is mostly biologists that are searching for a practical introduction to modeling. Researchers willing to get more familiar with the use of global optimization tools might be interested as well.<\/p>\n<p><b><span style=\"color: #ff0000;\">Important note<\/span>:<\/b> We will use <span style=\"color: #ff0000;\">Matlab<\/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.<\/p>\n<p>&nbsp;<\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<hr \/>\n<h5 style=\"text-align: left;\"><strong><span class=\"\">Bacterial fitness maximisation and phenotypic diversification strategies<\/span><\/strong><\/h5>\n<h5 style=\"text-align: left;\"><strong><a href=\"http:\/\/bruggemanlab.nl\/\" target=\"_blank\">Frank BRUGGEMAN<\/a><br \/>\n<\/strong><em>Free University, Amsterdam<\/em><\/h5>\n<p>&nbsp;<\/p>\n<p><span class=\"\">Microorganisms often encounter dynamic conditions such as varying levels and types of stresses and nutrients. <\/span><span class=\"\">Evolutionarily-successful microorganisms accumulate most offspring across those varying environmental states. <\/span><span class=\"\">Different adaptation and survival strategies can maximise fitness of microorganisms in dynamic conditions. <\/span><span class=\"\">The net fitness value of a strategy is dependent on the exact environmental dynamics, the fitness costs and benefits of the used molecular circuitry, and the fitness costs and benefits of phenotypic stochasticity.<\/span><\/p>\n<p><span class=\"\">I will introduce a framework that can address and compare the fitness of adaptation and survival strategies in dynamic environments. I will illustrate its usage by comparing different adaptation strategies, which have been experimentally shown to be used by microorganisms. I will introduce and analyze various experimentally-observed phenomena, including bet-hedging, stochastic phenotype switching, phenotypic diversification, responsive adaptation and stochastic adaptation, using this theory. My blackboard teaching will therefore introduce you to a theoretical framework for the evaluation, interpretation and comparison of microbial adaptation and survival strategies on the basis of their evolutionarily potential, i.e. fitness.<\/span><\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n<div class=\"\">\n<h5 style=\"text-align: left;\"><strong>Qualitative dynamical modelling 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\">Claudine CHAOUIYA<\/a><br \/>\n<\/strong><em>Gulbenkian Institute, Lisbon<\/em><\/h5>\n<p>&nbsp;<\/p>\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<b> <\/b>(<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 consider model composition to account for multi-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-2.9.4-with-deps.jar\">http:\/\/ginsim.org\/sites\/default\/files\/GINsim-2.9.4-with-deps.jar<\/a><br \/>\n<a href=\"http:\/\/epilog-tool.org\/sites\/default\/files\/Epilog-0.4-SNAPSHOT-jar-with-dependencies.jar\">http:\/\/epilog-tool.org\/sites\/default\/files\/Epilog-0.4-SNAPSHOT-jar-with-dependencies.jar<\/a><\/p>\n<p>&nbsp;<\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<hr \/>\n<\/div>\n<h5 style=\"text-align: justify;\"><strong>Modeling of stochastic gene expression<\/strong><\/h5>\n<h5 style=\"text-align: justify;\"><strong><a href=\"https:\/\/team.inria.fr\/ibis\/\">Eugenio CINQUEMANI<\/a><\/strong><br \/>\n<em>INRIA, Grenoble<\/em><\/h5>\n<p>&nbsp;<\/p>\n<\/div>\n<\/div>\n<div style=\"text-align: justify;\">\n<p>This hands-on session is an introduction to the modeling of the dynamics of stochastic gene expression. As a toy model, the linear \u00ab central dogma \u00bb 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\u2019s algorithm, that accounts for stochasticity due to low copy numbers and compare the simulation results with analytical solutions. Extensions of this analysis will be considered depending on time.<\/p>\n<p>Students need to have <span style=\"color: #ff0000;\">Matlab <\/span>installed on their laptop.<\/p>\n<p><!-- StochKit is a freely available software for stochastic biochemical reaction network simulation to be downloaded from <a href=\"https:\/\/cse.cs.ucsb.edu\/stochkit\">https:\/\/cse.cs.ucsb.edu\/stochkit<\/a>\n--><\/p>\n<p>&nbsp;<\/p>\n<\/div>\n<div style=\"text-align: justify;\">\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\">Hidde DE JONG<\/a><br \/>\n<\/strong><em>INRIA, Grenoble<\/em><\/h5>\n<p>&nbsp;<\/p>\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\u00a0 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(2):99-109<\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n<\/div>\n<h5 style=\"text-align: left;\"><strong>Scalable mechanistic modeling of cellular signal transduction<\/strong><\/h5>\n<div style=\"text-align: justify;\">\n<h5 style=\"text-align: left;\"><strong><a href=\"https:\/\/www2.hu-berlin.de\/biologie\/theorybp\/index.php\" target=\"_blank\">Markus KRANTZ<\/a><br \/>\n<\/strong><em>Humboldt University, Berlin<br \/>\n<\/em><\/h5>\n<p>&nbsp;<\/p>\n<p>Signal transduction networks are challenging targets for modeling, especially at larger scale. This is due to the internal states carried by the signaling components, which encode and transmit the information through the network. Dealing with these states leads to scalability problems at two distinct level: First in model formulation, and second in model execution.<\/p>\n<p>In this session, we will look at scalable methods to define and execute models of signal transduction networks. I will start with discussing different methods for modeling signal transduction, and discuss their potential and limitations. Thereafter, I will introduce rxncon, the reaction-contingency language. We will cover how to use rxncon to formalize signal transduction, and how to convert the rxncon network into executable models. Finally, we will have a hands-on session, trying out model creation and analysis from a small rxncon network.<\/p>\n<p>Students need <span style=\"color: #ff0000;\">rxncon<\/span>, <span style=\"color: #ff0000;\">cytoscape<\/span>, <span style=\"color: #ff0000;\">BoolNet<\/span> and <span style=\"color: #ff0000;\">NFsim <span style=\"color: #000000;\">installed on their laptop<\/span><\/span>. Please see the <a href=\"http:\/\/project.inria.fr\/compsysbio2017\/files\/2017\/03\/rxncon-installation-CompSysBio.pdf\"><strong>complete installation guide<\/strong><\/a>, including dependencies (<span style=\"color: #ff0000;\">python<\/span>, <span style=\"color: #ff0000;\">R<\/span>, <span style=\"color: #ff0000;\">perl<\/span>).<\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n<\/div>\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 Basics in modeling and model calibration: the toggle switch example Gregory BATT INRIA Saclay &#8211; Ile-de-France and Pasteur Institute, Paris &nbsp; In this course, we will develop and calibrate models using the most commonly encountered formalism: ordinary-differential equations. By means of an example, we will\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/compsysbio2017\/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\/compsysbio2017\/wp-json\/wp\/v2\/pages\/136","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/users\/935"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/comments?post=136"}],"version-history":[{"count":28,"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/pages\/136\/revisions"}],"predecessor-version":[{"id":523,"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/pages\/136\/revisions\/523"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/compsysbio2017\/wp-json\/wp\/v2\/media?parent=136"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}