<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:LIFEWARE</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="New Results - A look-ahead simulation algorithm for DBN models of biochemical pathways"/>
    <meta name="dc.title" content="New Results - A look-ahead simulation algorithm for DBN models of biochemical pathways"/>
    <meta name="dc.creator" content="Grégory Batt"/>
    <meta name="dc.creator" content="Sucheendra Palaniappan"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2016-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="LIFEWARE"/>
    <script type="text/javascript" src="https://raweb.inria.fr/rapportsactivite/RA2016/static/MathJax/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Lifeware</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">
        <a href="./uid3.html">Overall Objectives</a>
      </div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid5.html&#10;&#9;&#9;  ">Computational Systems Biology</a></li><li><a href="uid6.html&#10;&#9;&#9;  ">Modeling of Phenotypic Heterogeneity in Cellular Processes</a></li><li><a href="uid9.html&#10;&#9;&#9;  ">Logical Paradigm for Systems Biology</a></li><li><a href="uid12.html&#10;&#9;&#9;  ">External Control of Cell Processes</a></li><li><a href="uid14.html&#10;&#9;&#9;  ">Chemical Reaction Network Theory</a></li><li><a href="uid17.html&#10;&#9;&#9;  ">Mixed Analog-Digital Computation with Biochemical Reactions</a></li><li><a href="uid19.html&#10;&#9;&#9;  ">Constraint Solving and Optimization</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid23.html&#10;&#9;&#9;  ">Preamble</a></li><li><a href="uid24.html&#10;&#9;&#9;  ">Modeling platform for systems biology</a></li><li><a href="uid25.html&#10;&#9;&#9;  ">Couplings between the cell cycle and the circadian clock</a></li><li><a href="uid27.html&#10;&#9;&#9;  ">Biosensor design and implementation in non-living protocells</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid29.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid32.html&#10;&#9;&#9;  ">BIOCHAM</a></li><li><a href="uid36.html&#10;&#9;&#9;  ">CellStar</a></li><li><a href="uid40.html&#10;&#9;&#9;  ">CLP2Zinc</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid45.html&#10;&#9;&#9;  ">Analog computation in the cell: specifications, compilation into biochemical reactions and computational complexity</a></li><li><a href="uid47.html&#10;&#9;&#9;  ">Influence systems vs reaction systems</a></li><li><a href="uid48.html&#10;&#9;&#9;  ">What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast</a></li><li><a href="uid49.html&#10;&#9;&#9;  ">The cost of cellular adaptation to stress: tradeoff between short-term and long-term adaptation to osmotic stress in yeast</a></li><li><a href="uid50.html&#10;&#9;&#9;  ">Balancing a genetic inverted pendulum</a></li><li class="tdmActPage"><a href="uid51.html&#10;&#9;&#9;  ">A look-ahead simulation algorithm for DBN models of biochemical pathways</a></li><li><a href="uid52.html&#10;&#9;&#9;  ">Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation</a></li><li><a href="uid53.html&#10;&#9;&#9;  ">Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: prediction of RevErb–α up-regulation during mitosis</a></li><li><a href="uid54.html&#10;&#9;&#9;  ">Stochastic continuous optimization backend for the constraint modelling language MiniZinc with applications to geometrical placement problems</a></li><li><a href="uid55.html&#10;&#9;&#9;  ">Mixture model CMA-ES</a></li><li><a href="uid57.html&#10;&#9;&#9;  ">Metro energy optimization through rescheduling</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid59.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid69.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid74.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid85.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid150.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid176.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentyear" href="bibliography.html">Publications of the year</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2016</a> | <a href="http://www.inria.fr/en/teams/lifeware">Presentation of the Project-Team LIFEWARE</a> | <a href="http://lifeware.inria.fr/">LIFEWARE Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="lifeware.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="lifeware.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-lifeware-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../lifeware/lifeware.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-lifeware-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid50.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid52.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      New Results</h2>
        <h3 class="titre3">A look-ahead simulation algorithm for DBN models of biochemical pathways</h3>
        <p class="participants"><span class="part">Participants</span> :
	Grégory Batt, Sucheendra Palaniappan.</p>
        <p>Dynamic Bayesian Networks (DBNs) have been proposed as an efficient abstraction formalism of biochemical models. They have been shown to approximate well the dynamics of biochemical models, while offering improved efficiency for their analysis. In <a href="./bibliography.html#lifeware-2016-bid7">[14]</a>, we compare different representations and simulation schemes on these DBNs, testing their efficiency and accuracy as abstractions of biological pathways. When generating these DBNs, many configurations are never explored by the underlying dynamics of the biological systems. This can be used to obtain sparse representations to store and analyze DBNs in a compact way. On the other hand, when simulating these DBNs, singular configurations may be encountered, that is configurations from where no transition probability is defined. This makes simulation more complex. We initially evaluate two simple strategies for dealing with singularities: first, re-sampling simulations visiting singular configurations; second filling up uniformly these singular transition probabilities. We show that both these approaches are error prone. Next, we propose a new algorithm which samples only those configurations that avoid singularities by using a look-ahead strategy. Experiments show that this approach is the most accurate while having a reasonable run time.
</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid50.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid52.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
