\documentclass[slideopt,A4,handout]{beamer}

\usepackage[latin1]{inputenc}
\usepackage[francais]{babel}
\usepackage[T1]{fontenc}
\usepackage{eurosym}

\usetheme{default}

\useoutertheme{infolines}



\usepackage{eso-pic}
\usepackage{monster2e}
\usepackage{tikz}
\usepackage{layout}
\usepackage{xcolor}
\usepackage{amsmath,amssymb}
\usepackage{fancybox}
\usepackage{graphicx}
\usepackage[absolute,showboxes,overlay]{textpos}
\TPshowboxesfalse
\textblockorigin{0mm}{0mm}
\usepackage{rotating}

\definecolor{rouge2}{RGB}{230,68,57}  % red S
\definecolor{orange}{RGB}{255,156,0}


\setbeamertemplate{navigation symbols}{}
\setbeamertemplate{blocks}[rounded]
% \setbeamercolor{block title}{bg=rouge2!30}
% \setbeamercolor{block body}{bg=rouge2!20}
\setbeamercolor{block title}{bg=orange!60}
\setbeamercolor{block body}{bg=orange!40}
\setbeamercolor{alerted text}{fg=cyan}

\renewcommand{\sfdefault}{lmss}
\sffamily

\setbeamersize{text margin left=1cm,text margin right=1cm}




\begin{document}


%%%%%%%%%%%%%%%%%%%%%PREMIERE PAGE FOND INRIA

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{premiere-sc-fr}} 

\setbeamertemplate{footline}{ \hspace{5em} \textcolor{white} {
    Évaluation à mi-parcours de MARMOTE, Paris\hfill 13 novembre 2014}\hspace{2em}\null \vspace*{3pt}}


\begin{frame}

  \begin{textblock*}{7cm}(13mm,50mm)
    {\textcolor{white} {
        {\Large Évaluation T0+24 MARMOTE}\\[2mm]
        %   { \huge 2 LIGNES MAXIMUM}\\[3mm]
   	{\large MARkovian MOdeling Tools and}\\
        {\large Environments}\\
        {\phantom{A}}\\
        {\large\tt https://wiki.inria.fr/MARMOTE/Accueil}
      }
    }
  \end{textblock*}

  \vspace*{-4pt}\hspace*{5cm}\vspace*{2cm}
  \includegraphics[width=4cm]{DSC05143.jpeg}
  \begin{rotate}{90}\tiny Courtesy Laurent Chusseau\end{rotate}

\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%% 

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondorange}} 
\setbeamertemplate{footline}{
\hspace{2cm} 
\raisebox{2.5ex}
  {\textcolor{white}{Alain Jean-Marie - Le projet MARMOTE à mi-parcours}}\hfill 
  \raisebox{2.5ex}
  {\textcolor{white}{13 novembre 2014 - \insertframenumber \hspace{5mm} \null }}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%


\begin{frame}{Contenu}

\tableofcontents

\end{frame}


%%%%%%%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondorange}} 

% \setbeamertemplate{footline}{
% \hspace{2cm} 
% \raisebox{2.5ex}
%   {{EMETTEUR - NOM DE LA PRESENTATION}}\hfill 
%   \raisebox{2.5ex}
%   {{\today - \insertframenumber \hspace{5mm} \null }}}

\begin{frame}

  \begin{textblock*}{7cm}(13mm,40mm)
    {\textcolor{white} {
        {\monster 1}\\[2mm]
        { \huge Présentation}\\[3mm]
        % {\Large Sous-titre facultatif}
      }
    }
  \end{textblock*}

  \vspace*{-4pt}
\end{frame}

%%%%%%%%%%%%%%%%%%%%%


\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basorange}} 

\section{Qui sommes-nous?}

\begin{frame}{Qui sommes-nous?}

Partenaires Institutionnels et leur <<~partner heads~>>:
\begin{itemize}
\item INRIA/MAESTRO: Alain Jean-Marie, coordinateur
\item INRIA/DYOGENE (anc. TREC): Ana Bu\v{s}i\'{c}
\item INRIA/MESCAL: Bruno Gaujal
\item Univ. Versailles-St-Quentin/PRiSM: Jean-Michel Fourneau, co-coordinateur
\item Telecom SudParis/SAMOVAR: Hind Castel-Taleb
\item Univ. Paris-Est-Cr\'eteil/LACL: Nihal Pekergin
\item Univ. Paris 6/LIP6: Emmanuel Hyon
\end{itemize}

Spécialistes de la \textit{modélisation Markovienne} et de ses 
applications en télécoms, systèmes distribués, fiabilité...

Issus de la même école: vocabulaire commun
(ex: \textit{réseaux de files d'attente}), travaux communs antérieurs...
\end{frame}

\begin{frame}{Que voulons-nous faire dans MARMOTE}

Objectifs du projet:
\begin{itemize}
\item Faire avancer les méthodes de résolution pour chaînes de Markov
  \begin{itemize}
  \item échantillonage exact de la distribution stationnaire («~simulation parfaite~»)
  \item simulation Monte Carlo parallèle
  \item solutions à forme close et algorithmes de résolution de flots
  \item simulation numérique: calcul de bornes, méthodes de transformées, ...
  \end{itemize}
\item Faire avancer les outils logiciels
\item Tester le tout dans plusieurs cas d'application
\end{itemize}

\end{frame}

%%%%%%%%%%%%%%%%%%%%%
\section{Qu'avons-nous réalisé?}
%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondbleu}} 

\begin{frame}

  \begin{textblock*}{7cm}(13mm,40mm)
    {\textcolor{white} {
        {\monster 2}\\[2mm]
        { \huge Qu'avons-nous réalisé?}\\[3mm]
        % {\Large Sous-titre facultatif}
      }
    }
  \end{textblock*}
  
  \vspace*{-4pt}
\end{frame}

%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basbleu}} 

\subsection{Résultats théoriques}

\subsubsection{Échantillonage}

\begin{frame}{Résultats: échantillonage exact (WP1)}

  \begin{block}{Échantillonage exact: principe}
    Principe: simuler un ensemble de trajectoires, issues d'états
    initiaux différents, jusqu'à ce qu'elles
    \alert{couplent}. La distribution de l'état à cet instant-là est
    la distribution stationnaire.

    Technique du «~couplage depuis le passé~» de Propp-Wilson.
  \end{block}
  \begin{block}{Échantillonage exact: défis}
    Deux paramètres influent sur la complexité algorithmique:
    \begin{itemize}
    \item contrôler \alert{le nombre de trajectoires} à simuler
    \item contrôler \alert{le temps de couplage} des trajectoires
    \end{itemize}
  \end{block}

\end{frame}

\begin{frame}{Échantillonage exact (suite)}

  \begin{block}{Réalisations}
    Obtenues par C. Rovetta pendant sa première année de thèse
    \begin{itemize}
    \item un algorithme pour l'échantillonage exact dans les réseaux de 
      files d'attente \textit{fermés}
      % \footnote{Les réseaux de Jackson sont
      %   un des modèles centraux de la théorie des files d'attente.}

      annoncé comme \alert{objectif à risque plus élevé}
      car l'espace des états n'a pas de structure de type «~treillis~»

      \item le toolbox Clones (CLOsed queueing Networks Exact Sampling)
    \end{itemize}
    et déjà publiées dans deux conférences avec comité de lecture
  \end{block}

\end{frame}

\subsubsection{Simulation parallèle}

\begin{frame}{Échantillonage exact / simulation parallèle (WP2)}

  \begin{block}{Réalisations}
    \begin{itemize}
    \item un algorithme d'échantillonage exact pour les processus
      de naissance et de mort multidimensionnels avec transitions interdites
      («~treillis avec des trous~»)
    \item un calcul de borne sur le temps de couplage pour cet algorithme
    \item un algorithme de simulation temps-parall\`elle d'une
      trajectoire (\'el\'ement de base de l'\'echantillonage exact): \\
      «~Catch me if you can~».

    \item Identification d'un goulot d'étranglement dans le simulateur
      OpenMP qui pénalise la simulation parallèle

  \end{itemize}
  \end{block}

\end{frame}

\begin{frame}{Simulation parallèle (fin)}

\begin{block}{Réalisations}

  \begin{itemize}
  \item Simulation Parallèle pour certains modèles spécifiées par
    \textit{Stochastic Process Algebra} par l'approche dite du Parallel Prefix,
    conditions suffisantes d'application et méthodes de simulation

  \item Simulation Parallèle pour l'analyse de la fiabilité modélisé
    par des Dynamic Fault Trees (pas dans la proposition initiale)

  \end{itemize}
  
\end{block}

\end{frame}

% \subsubsection{xxx}

% \begin{frame}{Résultats xxx}

% \begin{block}{xxx: principe et défis}
%   bla bla pédagogique
% \end{block}

% \begin{block}{Réalisations}
%   bla bla réalisations
% \end{block}

% \end{frame}

\subsubsection{Théorie}

\begin{frame}{Théorie (WP4)}

  \begin{block}{Contexte 1: bornes stochastiques}
    Les distributions de probabilité peuvent être comparées entre elles.
    Ces relations sont les \alert{ordres stochastiques}.

    Il est parfois possible d'étudier un système aléatoire en\\
    en construisant un
    autre dont les distributions sont plus grandes/petites 
    (dans le sens de cet ordre stochastique) que celles du 
    système initial, et plus faciles à calculer.
  \end{block}
  
  \begin{block}{Réalisations}
    \begin{itemize}
      \item 
        Calcul de bornes pour des chaînes de Markov quelconques à l'aide
        de matrices de \alert{petit rang algébrique}
      \end{itemize}
    \end{block}
  
\end{frame}

\begin{frame}{Théorie (suite)}

  \begin{block}{Contexte 2: solutions à forme produit}
    Certaines classes de modèles de réseaux aléatoires ont une distribution
    stationnaire facile à calculer car à \alert{«~forme produit~»}.

    Par contre, certaines caractéristiques (constantes de normalisation,
    paramètres intervenant dans les distributions marginales, ...) 
    restent à calculer de façon efficace
  \end{block}
  
  \begin{block}{Réalisations}
  \begin{itemize}
  \item Solutions analytiques à forme close pour des réseaux de files
    d'attente avec signaux
  \item Algorithmes adaptés pour les calculs des
    distributions stationnaires
  \end{itemize}
\end{block}

\end{frame}

\subsection{Résultats des applications}

\begin{frame}{Applications: WP5.1 (modèle de cloud)}

\begin{block}{Modèle cloud: principe et défis}
  La 
  description du \alert{trafic} (arrivées de jobs, durées, ...) 
  est obtenue 
  sous forme de traces. Or:
  \begin{itemize}
  \item Faire correspondre statistiquement ces traces à des distributions
    introduit des erreurs
  \item Utiliser directement les histogrammes issus des traces 
    conduit à une explosion de la taille des chaînes de Markov
  \end{itemize}
\end{block}

% Méthodologie combinant traces, mesures et bornes pour ...

\begin{block}{Résultats}
  Algorithmes d'agrégation d'histogrammes,
  \begin{itemize}
  \item fournissant les meilleures \textit{bornes stochastiques} possibles
  \item appliquées à des histogrammes de trafic considéré comme 
    stationnaire ou stationnaire par morceaux
    % «~bursty~»
  \end{itemize}
  Analyse d'une file d'attente simple et d'un réseau de files.
\end{block}

\end{frame}

\begin{frame}{Applications: autres}

  Résultats pour les autres applications du WP5
  \begin{itemize}
  \item WP5.2: parallélisation de la simulation d'une cellule biologique

  % \item[WP5.3] ...

  \item WP5.4 (modèle de laser):
    algorithmes d'\'echantillonage de la distribution stationnaire
    d'une bande \'electronique; méthode de décomposition temporelle

  \item WP5.5 (modèles en Économie):
    preuve de la convergence d'algorithmes «~best response~» et
    «~smoothed best response~»
  \end{itemize}

  Contributions dans des thèmes connexes à MARMOTE
  \begin{itemize}
  \item
    Analyse des modèles de files d'attente avec signaux de type \textit{Restart}
    % par des résultats à forme produit

  \item
    Contrôle stochastique appliqué aux réseaux d'énergie
    \\ («~smart grids~»)
  \end{itemize}

\end{frame}

\subsection{Résultats logiciels}

\begin{frame}{Logiciel (WP3): Contexte}

  \begin{block}{Logiciel: constat}
    Pas de bibliothèque logicielle permettant d'accéder facilement
    aux résultats des modèles classiques aussi bien qu'aux algorithmes
    avancés de résolution.
  \end{block}

  \begin{block}{Logiciel: principe}
    Réaliser un environnement logiciel \alert{ouvert} reprenant les
    logiciels existants, capable d'accueillir les contributions de
    différents groupes de recherche, pour qu'il puisse se développer
    de façon \alert{contributive}
  \end{block}
  
  \begin{block}{Logiciel: défis}
    \begin{itemize}
    \item Diversité de logiciels: monolithique multifonctionnel/éclaté,
      langages de programmation divers, ...
    \item Diversité d'utilisateurs: développeur de méthodes
      («~bas niveau~»), développeur d'applications («~haut niveau~»)
    \end{itemize}
  \end{block}
  
\end{frame}

\begin{frame}{Logiciel: \'etat de l'art}

  Au d\'emarrage de MARMOTE, plusieurs logiciels d'analyse Markovienne
  d\'evelopp\'es par les membres:
  \begin{itemize}
  \item \texttt{Psi}, \texttt{Psi3} (Inria/MESCAL)
    
    échantillonage exact, ...

  \item \texttt{Xborne} (UVSQ/PRiSM)

    construction et analyse de chaînes de Markov

  \item \texttt{ERS} (Inria/MAESTRO)

    construction et analyse de chaînes de Markov
  \end{itemize}

\end{frame}

\begin{frame}{Logiciel: plan de travail}

  En parall\`ele:
  \begin{itemize}
  \item D\'evelopper un logiciel-chapeau qui reprendra toutes ces 
    fonctionnalit\'es
    \begin{itemize}
    \item d'abord en \alert{encapsulant} les applications existantes
    \item ensuite en \alert{incorporant} leur code
    \end{itemize}
  \item Poursuivre le d\'eveloppement ind\'ependant de \texttt{Psi3} et
    \texttt{Xborne}
  \end{itemize}

\end{frame}

\begin{frame}{Logiciel: \texttt{Psi3}}

  \begin{block}{Réalisations}
    \begin{itemize}
    \item Ajout dans \texttt{Psi3} d'un noyau de simulation parall\`elle
      «~multithreadée~» .

    \item Extension de la biblioth\`eque de mod\`eles dans \texttt{Psi3}:
      \begin{itemize}
      \item r\'eseaux de Jackson avec buffers infinis, 
      \item marches al\'eatoires dans un r\'eseau avec transitions interdites
      \end{itemize}

    \end{itemize}
  \end{block}

\end{frame}

\begin{frame}{Logiciel: \texttt{MARMOTE}}

  \begin{block}{R\'ealisations}
    \begin{itemize}
    \item Définition de l'architecture du logiciel MARMOTE
    \item Études de cas autour des \textit{scientific workflow systems}
    \item Implémentation des objets de base à partir du logiciel ERS
    \item Interfaçage avec le logiciel \texttt{Xborne} (UVSQ/PRiSM)
    \end{itemize}
  \end{block}
  
\end{frame}

\begin{frame}{Logiciel: \texttt{MARMOTE} (suite)}

  \begin{block}{Organisation générale}
    \begin{itemize}
    \item Hiérarchie de modèles Markoviens

      \texttt{On-Off} \alert{is a} 
      \texttt{Homogeneous Birth-Death} \alert{is a} 
      \texttt{General Birth-Death} \alert{is a} 
      \texttt{Quasi-Birth-Death} \alert{is a} 
      \texttt{Continuous-Time Markov Chain}

    \item Familles de métriques

      Distribution: stationnaire, transitoire, de temps d'atteinte, etc.

    \item Pour chaque modèle et chaque métrique, des méthodes de résolution
      (calcul exact, approché, bornes) adaptées.

      \alert{$\implies$} les rendre accessibles par une API 

    \end{itemize}
  \end{block}

\end{frame}

\begin{frame}{Logiciel \texttt{MARMOTE} (fin): exemple de code}

\begin{block}{Comparaison de calculs de la distribution stationnaire}
  \small
  \footnotesize\tt
  \textcolor{cyan}{// specific methods for F81\footnote{\footnotesize
      Felsenstein 81 est un modèle utilisé en bio-informatique}}\\
  Felsenstein81* c1 = new Felsenstein81($\ldots$);\\
  Distribution* d1 = c1-->stationaryDistribution();\\
  Distribution* d2 = c1-->simulateChain($\ldots$)-->getDistribution();\\
  \textcolor{cyan}{// generic methods for MCs}\\
  MarkovChain* c2 = static\_cast<MarkovChain*>(c1);\\
  Distribution* d3 = c2-->stationaryDistribution\_GaussSeidel();\\
  Distribution* d4 = c2-->stationaryDistribution\_PowerMethod();\\
%  Distribution* d5 = c2-->stationaryDistribution\_Xborne\_LowerBound();\\
  Distribution* d5 = c2-->stationaryDistribution\_Xborne\_LowBound();\\
  Distribution* d6 = c2-->replicateSamples\_Psi3($\ldots$);\\
  Distribution* d7 = c2-->simulateChain($\ldots$)-->getDistribution();\\
  Distribution* d8 = c2-->simulateChain2($\ldots$)-->getDistribution();\\
  \textcolor{cyan}{// comparison}\\
  cout~<\!<~"Distance L1(d1,d2) = "~<\!<~d1-->distanceL1(d2)~<<~endl;\\
\end{block}

\end{frame}

\begin{frame}{Logiciel: autres modules}

  \begin{block}{R\'ealisations}
    Nouveaux modules
    \begin{itemize}
    \item Logiciel d'analyse d'une file soumis à un flux mesuré par une trace (bientôt disponible, sous matlab)

    \item Logiciel de résolution de réseaux de files d'attente modélisant des restart (en liaison avec Free Univ. Berlin) 

    \item Toolbox Clones (voir supra)
    \end{itemize}
    destinés à être intégrés à MARMOTE
  \end{block}

\end{frame}


\subsection{Publications}

\begin{frame}{Publications}

  Quantitativement:
  \begin{itemize}
  \item 3 articles dans des revues internationales
    (\textit{Queueing Systems}, \textit{Stochastic Models} 
    + SI \textit{Performance Evaluation})
  \item $\sim$15 dans des conférences internationales avec comité de lecture
    dont PERFORMANCE, MASCOTS, QEST, EPEW, VALUETOOLS, CDC
  \end{itemize}

  Qualitativement:
  \begin{itemize}
  \item L'article de F.~Ait Salaht, H.~Castel, J.-M.~Fourneau
    et N.~Pekergin, «A bounding histogram approach for
    network performance analysis», a obtenu un des trois best paper
    award de la conférence IEEE HPCC 2013, Chine.
  \end{itemize}
\end{frame}

%%%%%%%%%%%%%%%%%%%%% 
\section{Comment avons-nous travaillé?}
%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondvert}} 

\begin{frame}

\begin{textblock*}{7cm}(13mm,40mm)
  {\textcolor{white} {
      {\monster 4}\\[1mm]
      {\huge Comment l'avons-nous fait?}\\[2mm]
    }
  }
\end{textblock*}

\vspace*{-4pt}
\end{frame}

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basvert}} 

\begin{frame}{Comment}

  Nous avons recruté:
  \begin{itemize}
  \item Participation de Farah Ait Salaht, doctorante UVSQ
   puis recrutement comme Post-Doctorante (TSP/SAMOVAR)
  \item Participation de Pierre Coucheney (MCF, UVSQ/PRiSM; T0+12)
  \item Recrutement de Christelle Rovetta, Doctorante (Inria/DYOGENE; T0+11)
  \item Recrutement d'Issam Rabhi, Ingénieur WP3 (Inria/MAESTRO; T0+11)
  \item Recrutement de Marion Dalle et Arnaud Panayotis, stagiaires
    (Inria/MESCAL) et deux autres stagiaires hors % financement
    MARMOTE
  \end{itemize}
  $\implies$ 16\% des ETP à T0+24 \\
  $\implies$ 30\% supplémentaires déjà engagés sur 2015

\end{frame}

\begin{frame}{Comment (suite)}

  Nous avons organisé des groupes de travail:
  \begin{itemize}
  \item Groupes de travail pré-existants: 
    contrôle optimal stochastique (LIP6, Inria/MAESTRO),
    ...

  \item WP2/WP5.x (réseaux, biologie, stochastic model checking):
    Groupe de travail UPEC/LACL, UVSQ/PRiSM, TSP/SAMOVAR

  \item WP1/WP4: Groupe de lecture hebdomadaire; Inria/DYOGENE,
    LIP6, TSP/SAMOVAR

  \item WP4/WP5.5: Groupe de travail sur le Contrôle Stochastique
    avec financement du GDR RO (Recherche Opérationnelle); 
    Paris, Inria/MAESTRO, Inria/MESCAL

  \end{itemize}
\end{frame}

\begin{frame}{Comment (suite)}

  Groupes de travail, suite:
  \begin{itemize}
  \item WP5.4: Mise en place d'un groupe de travail sur le modèle de laser;
    Inria/MAESTRO

  \item WP5.5: Mise en place d'un groupe de travail sur des mod\`eles
    de «~développement durable~» en Économie;
    LIP6, Inria/MAESTRO, EconomiX
  \end{itemize}

  \bigskip

  Réunions plénières: janvier 2013, Octobre 2014, Juillet 2014.

\end{frame}

\begin{frame}{Comment (fin)}

  Nous avons réajusté le programme de travail
  \begin{itemize}
  \item WP2/WP5.3: étude des Dynamic Fault Trees

  \item WP5.2: Suite au d\'epart des contacts biologie, changement de 
    cible vers la mod\'elisation de r\'eactions (bio)chimiques
  \end{itemize}

\end{frame}


%%%%%%%%%%%%%%%%%%%%%
\section{Qu'allons-nous faire?}
%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondviolet}} 

\begin{frame}

\begin{textblock*}{7cm}(13mm,40mm)
  {\textcolor{white} {
      {\monster 5}\\[1mm]
      {\huge Qu'allons-nous faire?}\\[2mm]
    }
  }
\end{textblock*}

\vspace*{-4pt}
\end{frame}

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basviolet}} 

\subsection{Intensifier l'ingéniérie logicielle}

\begin{frame}{Planning futur: accélérer le développement logiciel}

% Accélérer sur le développement logiciel: 

Recrutements:
\begin{itemize}
\item Ingénieur développement acté (PSI3, Inria/MESCAL)
\item Post-Doctorant algorithmicien en cours (UVSQ/PRiSM)
\item Ingénieur parallélisme en cours (UVSQ/PRiSM)
\item Post-Doctorant/Ingénieur «~stochastic model checking~»
  en cours (UPEC/LACL)
\end{itemize}

\end{frame}

\begin{frame}{Planning futur: logiciel}

Replanification de l'ingeniérie:
  \begin{itemize}
  \item concaténer les deux ingénieurs WP3 INRIA/MAESTRO,
  \item mettre en place un GdT entre les ingénieurs de développement
    % du projet
    % Inria/MAESTRO, Inria/MESCAL, UVSQ/PRiSM et TSP/SAMOVAR
  \item donner des séances de formation pour les contributeurs et
    utilisateurs de MARMOTE
  \item sortir une version 0.$\beta$ dans les premières semaines de 2015
  \item déposer le logiciel
  \item développer les connexions avec le workflow management:
    plan d'expérience, visualisation de données, ...
  \end{itemize}

\end{frame}

\subsection{Développer les applications}

\begin{frame}{Planning futur: applications}

Développer les applications:
\begin{itemize}
\item Développer l'application WP5.4 (Laser) dans le logiciel MARMOTE
\item Développer les méthodes du contrôle Markovien dans le logiciel MARMOTE
\item Poursuivre l'application «~réseaux~» (WP5.1):
  développer des bornes pour le dimensionnement d'un cloud, et valider
  par des tests sur des plateformes réelles
  
  $\implies$ le post-doc a été recruté au 1/11/14
% \item Démarrer xxx
% \item Démarrer yyy

\item Réorienter WP5.2 vers la mod\'elisation de r\'eactions (bio)chimiques:

  $\implies$ recrutement d'un doctorant financé par le Labex CHARMMMAT

\end{itemize}

\end{frame}

\begin{frame}{Planning futur: applications (suite)}

  \begin{itemize}
    \item Développer de nouveaux «~use case~»
      à la frontière de MARMOTE:
      \begin{itemize}
      \item modèle de gestion de l'énergie dans le cloud
      \item modèles de gestion de l'énergie en télécoms: 
        utilisation de \texttt{Xborne} et méthodes numériques
        pour les «~Quasi-Birth-Death Processes~»
      \item modèle de contrôle de consommation d'électricité
        dans une \textit{smart grid}:
        méthodes numériques pour
        Processus de Décision Markoviens
      \end{itemize}

      $\implies$ une façon d'intéresser d'autres collègues à MARMOTE 

\end{itemize}

\end{frame}

\subsection{Communiquer}

\begin{frame}{Planning futur: communication}

Commencer à diffuser le projet:
\begin{itemize}
\item 
  Cette année en juin: communication bien reçue à l'Atelier en Évaluation
  de Performances, Sophia-Antipolis \\
  $\implies$ à poursuivre

  Communiquer dans les conférences nationales: ex: ROADEF, 
  Algotel, MOSIM, MSR, Journées des GDR...


\item Communiquer à l'international
  (théorie et applications): soumettre à 
  SIGMETRICS, PERFORMANCE, MASCOTS, QEST, EPEW, CDC, VALUETOOLS, ...

\item Publier en revue (temps de cycle plus long)

\end{itemize}

\end{frame}

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{derniere-sc-fr}} 
\setbeamertemplate{footline}{}

\end{document}


