<?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:CQFD</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Overall Objectives - Presentation"/>
    <meta name="dc.title" content="Overall Objectives - Presentation"/>
    <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="CQFD"/>
    <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 Cqfd</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li class="tdmActPage"><a href="./uid3.html">Presentation</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid8.html&#10;&#9;&#9;  ">Introduction</a></li><li><a href="uid9.html&#10;&#9;&#9;  ">Main research topics</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid18.html&#10;&#9;&#9;  ">Dependability and safety</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid20.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid22.html&#10;&#9;&#9;  ">Package divclust</a></li><li><a href="uid26.html&#10;&#9;&#9;  ">Package ClustGeo</a></li><li><a href="uid30.html&#10;&#9;&#9;  ">PCAmixdata</a></li><li><a href="uid34.html&#10;&#9;&#9;  ">QuantifQuantile</a></li><li><a href="uid38.html&#10;&#9;&#9;  ">biips</a></li><li><a href="uid42.html&#10;&#9;&#9;  ">VCN: Software for analysis of VCN</a></li><li><a href="uid45.html&#10;&#9;&#9;  ">EMGView: Software for visualisation and time-frequency analysis of bio signals</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid49.html&#10;&#9;&#9;  ">Computable approximations for continuous-time Markov decision processes on Borel spaces based on empirical measures</a></li><li><a href="uid50.html&#10;&#9;&#9;  ">Decentralized Proportional Load Balancing</a></li><li><a href="uid51.html&#10;&#9;&#9;  ">Constrained and Unconstrained Optimal Discounted Control of Piecewise Deterministic Markov Processes</a></li><li><a href="uid52.html&#10;&#9;&#9;  ">Approximate Kalman-Bucy filter for continuous-time semi-Markov jump linear systems</a></li><li><a href="uid53.html&#10;&#9;&#9;  ">Investigation of asymmetry in E. coli growth rate</a></li><li><a href="uid54.html&#10;&#9;&#9;  ">Impulsive Control for Continuous-Time Markov Decision Processes: A Linear Programming Approach</a></li><li><a href="uid55.html&#10;&#9;&#9;  ">Conditions for the Solvability of the Linear Programming Formulation for Constrained Discounted Markov Decision Processes</a></li><li><a href="uid56.html&#10;&#9;&#9;  ">Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models</a></li><li><a href="uid57.html&#10;&#9;&#9;  ">A comparison of fitness-case sampling methods for genetic programming</a></li><li><a href="uid58.html&#10;&#9;&#9;  ">Prediction of Expected Performance for a Genetic Programming Classifier</a></li><li><a href="uid59.html&#10;&#9;&#9;  ">Evolving Genetic Programming Classifiers with Novelty Search</a></li><li><a href="uid60.html&#10;&#9;&#9;  ">Regularity and Matching Pursuit Feature Extraction for the Detection of Epileptic Seizures</a></li><li><a href="uid61.html&#10;&#9;&#9;  ">Probabilistic safety analysis of the collision between a space debris and a satellite with an island particle algorithm</a></li><li><a href="uid62.html&#10;&#9;&#9;  ">Particle association measures and multiple target tracking </a></li><li><a href="uid63.html&#10;&#9;&#9;  ">Exponential mixing properties for time inhomogeneous diffusion processes with killing </a></li><li><a href="uid64.html&#10;&#9;&#9;  ">On particle Gibbs Markov chain Monte Carlo models</a></li><li><a href="uid65.html&#10;&#9;&#9;  ">Sequential Monte Carlo with Highly Informative Observations </a></li><li><a href="uid66.html&#10;&#9;&#9;  ">A duality formula for Feynman-Kac path particle models</a></li><li><a href="uid67.html&#10;&#9;&#9;  ">Non-Asymptotic Analysis of Adaptive and Annealed Feynman-Kac Particle Models</a></li><li><a href="uid68.html&#10;&#9;&#9;  ">Uniform stability of a particle approximation of the optimal filter derivative</a></li><li><a href="uid69.html&#10;&#9;&#9;  ">Combining clustering of variables and feature selection using random forests: the CoV/VSURF procedure</a></li><li><a href="uid70.html&#10;&#9;&#9;  ">An innovative approach combining animal performances, nutritional value and sensory quality of meat</a></li><li><a href="uid71.html&#10;&#9;&#9;  ">BIG-SIR: a Sliced Inverse Regression approach for massive data</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid73.html&#10;&#9;&#9;  ">Bilateral Contracts with Industry</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid75.html&#10;&#9;&#9;  ">Regional Initiatives</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid81.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid90.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid101.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid104.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid123.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</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>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</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/cqfd">Presentation of the Project-Team CQFD</a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="cqfd.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="cqfd.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-cqfd-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../cqfd/cqfd.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-cqfd-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="./uid1.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="./uid8.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: 
      Overall Objectives</h2>
        <h3 class="titre3">Presentation</h3>
        <p>The core component of our scientific agenda focuses on the development of statistical and probabilistic methods for the modeling and the optimization of complex systems. These systems require mathematical representations which are in essence dynamic and stochastic with discrete and/or continuous variables. This increasing complexity poses genuine scientific challenges that can be addressed through complementary approaches and methodologies:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid4"> </a>Modeling: design and analysis of realistic and tractable models for such complex real-life systems and various probabilistic phenomena;</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid5"> </a>Estimation: developing theoretical and computational procedures in order to estimate and evaluate the parameters and the performance of the system;</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid6"> </a>Optimization: developing theoretical and numerical control tools to optimize the performance of complex systems such as computer systems and communication networks.</p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid1.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="./uid8.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>
