X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/780af29c5ee962663f9c719bdef45858256839ee..78cd1e6fef0e2664357da1584c958f06b0820a88:/demandeInscription/synthese.tex?ds=sidebyside

diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex
index 96cee35..03c44f7 100755
--- a/demandeInscription/synthese.tex
+++ b/demandeInscription/synthese.tex
@@ -27,7 +27,7 @@
 \input{symboles.sty}
 
 
-\geometry{hmargin=1cm, vmargin=1.5cm }
+\geometry{hmargin=1.5cm, vmargin=1.5cm }
 
 
 \newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}
@@ -82,7 +82,7 @@
 \begin{document}
 \renewcommand{\refname}{ }
 
-\title{MÃ©moire de synthÃ¨se des activitÃ©s de recherche et d'encadrement.}
+\title{MÃ©moire de synthÃ¨se des activitÃ©s de recherche et d'encadrement}
 \author{Jean-Fran\c{c}ois {\sc Couchot}}
 
 
@@ -94,29 +94,29 @@
 
 \subsection{Contacts}
 \begin{itemize}
-\item \textbf{web~:} \url{http://members.femto-st.fr/jf-couchot/}
-\item \textbf{courrier~:} 
+\item \textbf{web:} \url{http://members.femto-st.fr/jf-couchot/}
+\item \textbf{courrier:} 
 %\begin{minipage}[t]{10cm} 
 FEMTO-ST, dpt DISC, IUT BM, 19 rue du marÃ©chal Juin, 90000 Belfort
 %\end{minipage}
-\item \textbf{mail~:} \url{couchot@femto-st.fr}
-\item\textbf {tel~:}       (+33) (0)3 84 58 77 38
-\item\textbf {gsm~:} (+33) (0)6 76 06 68 94 
+\item \textbf{mail:} \url{couchot@femto-st.fr}
+\item\textbf {tel:}       (+33) (0)3 84 58 77 38
+\item\textbf {gsm:} (+33) (0)6 76 06 68 94 
 \end{itemize}
 
 \subsection{DiplÃ´mes universitaires}
 \begin{itemize}
-\item{\bf{91~:}} BaccalaurÃ©at sÃ©rie C mention AB, BesanÃ§on.
-\item{\bf{95~:}} MaÃ®trise de mathÃ©matiques pures, UniversitÃ© de
+\item{\bf{91:}} BaccalaurÃ©at sÃ©rie C mention AB, BesanÃ§on.
+\item{\bf{95:}} MaÃ®trise de mathÃ©matiques pures, UniversitÃ© de
   Franche-ComtÃ© (UFC).
-\item{\bf{96~:}} 
+\item{\bf{96:}} 
 CAPES de mathÃ©matiques, IUFM d'Auvergne.
-\item{\bf{02~:}} 
+\item{\bf{02:}} 
 MaÃ®trise d'informatique, mention B (UFC). 
-\item{\bf{02~:}}
+\item{\bf{02:}}
  DEA Informatique, option {\em GÃ©nie Logiciel} (UFC). Stage intitulÃ© {\em AtteignabilitÃ© d'Ã©tats et spÃ©cifications
-logico-ensemblistes}. Major de Promotion, mention TB. 
-\item{\bf{avril 06~:}}
+logico-ensemblistes}. Major de promotion, mention TB. 
+\item{\bf{avril 06:}}
  Doctorat en  informatique au Laboratoire d'Informatique 
 de l'UniversitÃ© de Franche ComtÃ© (devenu dÃ©partement DISC de FEMTO-ST), 
 sur la {\em vÃ©rification d'invariants par superposition}, 
@@ -126,39 +126,41 @@ mention trÃ¨s honorable.
 
 \subsection{Fonctions et expÃ©riences professionnelles}
 \begin{itemize}
-\item{\bf{95-00~:}} Enseignant en mathÃ©matiques dans le secondaire,
+\item{\bf{95-00:}} Enseignant en mathÃ©matiques dans le secondaire,
   successivement Ã  Aurillac(15), Beaune(21), Belfort(90) et 
   MontbÃ©liard(25).  
-\item{\bf{sept. 00-06~:}} PrCe $71^{Ã¨me}$ section, UnitÃ© de Formation
+\item{\bf{sept. 00-06:}} PrCe $71^{Ã¨me}$ section, UnitÃ© de Formation
   et de Recherche (UFR) Sciences du 
   Langage de l'Homme et de la SociÃ©tÃ© (SLHS) Ã  l'UFC. 
-\item{\bf{sept. 06-07~:}} Post-doctorant INRIA (projet ProVal) sur le
+\item{\bf{sept. 06-07:}} Post-doctorant INRIA (projet ProVal) sur le
   thÃ¨me de l'intÃ©gration de preuves interactives dans des preuves
   automatiques (et vice-versa). %pour la vÃ©rification de programmes C embarquÃ©s.
-\item{\bf{sept. 07-08~:}} PrCe $71^{Ã¨me}$ section, UFR SLHS Ã  l'UFC. 
-\item{\bf{sept. 08-\ldots~:}} MaÃ®tre de ConfÃ©rences $27^{Ã¨me}$ section, IUT de Belfort-MontbÃ©liard (IUT BM), au dÃ©partement d'informatique (UFC). 
-\item{\bf{sept. 11-14\ldots~:}} \'Elu au Conseil d'Institut de l'IUT BM. 
+\item{\bf{sept. 07-08:}} PrCe $71^{Ã¨me}$ section, UFR SLHS Ã  l'UFC. 
+\item{\bf{sept. 08-\ldots:}} MaÃ®tre de ConfÃ©rences $27^{Ã¨me}$ section, IUT de Belfort-MontbÃ©liard (IUT BM), au dÃ©partement d'informatique (UFC). 
+\item{\bf{nov. 10- nov. 14:}} \'Elu au Conseil d'Institut de l'IUT BM. 
  \end{itemize}
 
 
-\newpage
-\section{Nom et type de l'Ã©quipe de recherche.}
+%\newpage
+\section{Nom et type de l'Ã©quipe de recherche}
 
 Je suis membre de l'Ã©quipe Algorithmique NumÃ©rique DistribuÃ©e (AND) du 
 DÃ©partement d'Informatique des SystÃ¨mes Complexes (DISC)
 du laboratoire FEMTO-ST. 
 Je relÃ¨ve de l'Ã©cole doctorale 37 Sciences Pour l'IngÃ©nieur et Microtechniques (SPIM) de l'UFC.
+Mon directeur de recherche pour cette HDR est Pr. J. {\sc Bahi} 
+du dÃ©partement DISC. Son avis, ainsi que celui du directeur de l'Ã©quipe (Pr. R. {\sc Couturier}, du directeur de l'Ã©cole doctorale (PR. P. {\sc Lutz}) 
+et du directeur du dÃ©partement (Pr. O. {\sc Kouchnarenko}) sont donnÃ©s en annexes. 
 
 
+% \subsection{Avis du directeur de l'Ã©quipe}\label{sec:avis:directeur:equipe}
 
-\subsection{Avis du directeur de l'Ã©quipe}\label{sec:avis:directeur:equipe}
+% \subsection{Avis du directeur de recherche}\label{sec:avis:directeur:recherhce}
 
-\subsection{Avis du directeur de recherche}\label{sec:avis:directeur:recherhce}
+% \subsection{Avis du directeur de l'Ã©cole doctorale}\label{sec:avis:directeur:spim}
 
-\subsection{Avis du directeur de l'Ã©cole doctorale}\label{sec:avis:directeur:spim}
 
 
-\newpage
 \section{RÃ©sumÃ© de la thÃ©matique de la thÃ¨se d'universitÃ©}
 On considÃ¨re en entrÃ©e de la dÃ©marche une description
 mathÃ©matique d'un programme: par exemple une fonction enrichie avec  
@@ -179,7 +181,7 @@ pendant mon doctorat et le post-doctorat qui a suivi Ã  l'INRIA.
 
 Durant mon travail de thÃ¨se intitulÃ©e 
 {\em vÃ©rification d'invariants par superposition}, 
-j'ai proposÃ© diffÃ©rentes traductions en logique Ã©quationnelle\cite{cdgr03:ij,cddg+04:ip,cg04:np} 
+j'ai proposÃ© diffÃ©rentes traductions en logique Ã©quationnelle~\cite{cdgr03:ij,cddg+04:ip,cg04:np,couchot04:onp} 
 des obligations de preuve,  
 dans l'objectif de faire converger
 le plus rapidement possible un prouveur par superposition qui les dÃ©charge.
@@ -197,14 +199,14 @@ mutuelle~\cite{CGK05} dÃ©finis Ã  l'aide de spÃ©cifications ensemblistes B~\cite
  
 
 \begin{thebibliography}{9}
-\bibitem[CGK05]{CGK05}
+\bibitem{CGK05}
 Jean-Fran\c{c}ois Couchot, Alain Giorgetti, and Nikolai Kosmatov.
 \newblock A uniform deductive approach for parameterized protocol safety.
 \newblock In David~F. Redmiles, Thomas Ellman, and Andrea Zisman, editors, {\em
   ASE}, pages 364--367. ACM, 2005.
 
 
-\bibitem[CDD{\etalchar{+}}04]{cddg+04:ip}
+\bibitem{cddg+04:ip}
 Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, D.~D\'eharbe, Alain Giorgetti,
   and S.~Ranise.
 \newblock Proving and debugging set-based specifications.
@@ -212,29 +214,39 @@ Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, D.~D\'eharbe, Alain Giorgetti,
   volume~95 of {\em ENTCS, Electronic Notes in Theoretical Computer Science},
   pages 189--208, Campina Grande, Brazil, May 2004.
 
-\bibitem[CDGR03]{cdgr03:ij}
+\bibitem{cdgr03:ij}
 Jean-Fran\c{c}ois Couchot, D.~D\'eharbe, Alain Giorgetti, and S.~Ranise.
 \newblock Scalable automated proving and debugging of set-based specifications.
 \newblock {\em Journal of the Brazilian Computer Society (JBCS)}, 9(2):17--36,
   November 2003.
 \newblock ISSN 0104-6500.
 
-\bibitem[CG04]{cg04:np}
+\bibitem{cg04:np}
 Jean-Fran\c{c}ois Couchot and Alain Giorgetti.
 \newblock Analyse d'atteignabilit\'e d\'eductive.
 \newblock In Jacques Julliand, editor, {\em Congr\`es Approches Formelles dans
   l'Assistance au D\'eveloppement de Logiciels, AFADL'04}, pages 269--283,
   Besan\c{c}on, France, June 2004.
 
-\bibitem[CDGR04]{cdgr04:onp}
+\bibitem{cdgr04:onp}
 Jean-Fran\c{c}ois Couchot, D.~D\'eharbe, Alain Giorgetti, and S.~Ranise.
-\newblock {B}arvey~: {V}\'erification automatique de consistance de machines
+\newblock {B}arvey: {V}\'erification automatique de consistance de machines
   abstraites {B}.
 \newblock In Jacques Julliand, editor, {\em AFADL'04, Approches Formelles dans
-  l'Assistance au D\'eveloppement de Logiciels,}, pages 369--372, Besan\c{c}on,
+  l'Assistance au D\'eveloppement de Logiciels,} pages 369--372, Besan\c{c}on,
   France, June 2004.
 \newblock Session outils.
 
+
+\bibitem{couchot04:onp}
+Jean-Fran\c{c}ois Couchot.
+\newblock V\'erification d'invariant par superposition.
+\newblock In {\em {MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs
+  {STIC}}, Calais, France, October 2004.
+\newblock Actes en ligne sur { t
+  http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}.
+
+
 \end{thebibliography}
 
 
@@ -251,17 +263,19 @@ Jean-Fran\c{c}ois Couchot, D.~D\'eharbe, Alain Giorgetti, and S.~Ranise.
 
 
 
-\newpage
+%\newpage
 \section{ExposÃ© des recherches rÃ©alisÃ©es au cours de la pÃ©riode postdoctorale}
 
 Entre avril 2006 et aujourd'hui, les recherches rÃ©alisÃ©es ont concernÃ© plusieurs domaines synthÃ©tisÃ©s ci-aprÃ¨s. Le premier travail (Sec.~\ref{sub:verif}) 
-est une suite directe des travaux de thÃ¨se. Suivent six sections
-(de la Sec.~\ref{sub:sdd} Ã  la Sec.~\ref{sub:hash}) sur les systÃ¨mes 
-dynamiques discrets et leurs applications, thÃ©matique 
+est une suite directe des travaux de thÃ¨se. 
+Le second concerne les systÃ¨mes dynamiques discrets 
+et leurs applications (Sec.~\ref{sub:sdd}), thÃ©matique 
 pour laquelle j'ai Ã©tÃ© recrutÃ© dans l'Ã©quipe AND du dÃ©partement
-DISC. Enfin la section~\ref{sub:gen} prÃ©sente comment j'ai rÃ©investi le 
-domaine de la bio-informatique Ã  l'aide de compÃ©tences connexes.
-Ces travaux ont Ã©tÃ© valorisÃ©es par des publications dont les rÃ©fÃ©rences sont donnÃ©es.
+DISC. Enfin la section~\ref{sec:appl}
+prÃ©sente comment j'ai appliquÃ© ces compÃ©tences thÃ©oriques et pratiques
+en bio-informatique  et  dans les rÃ©seaux de capteurs.
+Ces travaux ont Ã©tÃ© valorisÃ©s par des publications dont les rÃ©fÃ©rences sont donnÃ©es Ã  la section~\ref{sec:publi} et synthÃ©tisÃ©es Ã  la figure~\ref{fig:bilan}
+en fin de document.
 
 \subsection{VÃ©rification de programmes par 
   preuve automatique}\label{sub:verif}
@@ -292,16 +306,19 @@ de 5000 lignes de Code C annotÃ© fourni par Dassault aviation.
 
 
 
-
-\subsection{Convergence de systÃ¨mes  dynamiques discrets}\label{sub:sdd}
-
+\subsection{Les SystÃ¨mes dynamiques discrets (SDD)}\label{sub:sdd}
 Un systÃ¨me dynamique discret (SDD) est une fonction $f$ 
 du $n$-cube ($\{0,1\}^n$) dans lui mÃªme et un mode opÃ©ratoire
 (parallÃ¨le, unaire, gÃ©nÃ©ralisÃ©) qui peut Ãªtre itÃ©rÃ© 
-en synchrone ou en asynchrone.
+en synchrone ou en asynchrone. Cette section prÃ©sente un ensemble 
+de mes contributions dans cette thÃ©matique. 
+
+
+\subsubsection{Convergence de systÃ¨mes  dynamiques discrets}
+
 %Ils ont Ã©tÃ© Ã©tudiÃ©s Ã  de maintes reprises ~\cite{Rob95,Bah00,bcv02}.
 Pour chacun de ces modes, il existe des critÃ¨res  (suffisants) de convergence
-globale ou locale, souvent basÃ©s sur le fait que  $f$ est  
+globale ou locale, souvent basÃ©s sur le fait que  $f$ 
 est un opÃ©rateur contractant dans un espace.
 
 Les modes  asynchrones ont une dynamique avec plus de libertÃ© 
@@ -312,30 +329,32 @@ sont coÃ»teux en temps et/ou que les temps de communication sont Ã©levÃ©s,
 ces modes peuvent prÃ©senter une convergence plus rapide que le cas synchrone.  
 
 J'ai formalisÃ© le mode des 
-\emph{itÃ©rations mixes} (introduit par Pr. J. M.  Bahi en 2005 notamment)
+\emph{itÃ©rations mixtes} (introduit par Pr. J. M.  Bahi en 2005 notamment)
 qui combine synchronisme et asynchronisme.
 Intuitivement, les n{\oe}uds qui pourraient engendrer des cycles dans 
 les itÃ©rations asynchrones sont regroupÃ©s dans une mÃªme classe. 
-Les noeuds Ã  l'intÃ©rieur celle-ci seront itÃ©rÃ©s de maniÃ¨re 
+Les noeuds Ã  l'intÃ©rieur de celle-ci seront itÃ©rÃ©s de maniÃ¨re 
 synchrone et les itÃ©rations asynchrones sont conservÃ©es entre les groupes. 
 Pour gommer les  diffÃ©rences entre les n{\oe}uds d'une mÃªme classe
 lorsqu'ils  sont vus depuis des n{\oe}uds extÃ©rieurs, j'ai dÃ©fini le 
-mode des \emph{itÃ©rations mixes avec dÃ©lais uniformes}.
+mode des \emph{itÃ©rations mixtes avec dÃ©lais uniformes}.
 J'ai pu ainsi Ã©noncer puis dÃ©montrer un thÃ©orÃ¨me 
 Ã©tablissant que pour des conditions classiques de convergence des itÃ©rations
-synchrones d'une fonction $f$, les itÃ©rations mixes Ã  dÃ©lai uniforme
+synchrones d'une fonction $f$, les itÃ©rations mixtes Ã  dÃ©lai uniforme
 convergent aussi vers le mÃªme point fixe.
 Ceci a Ã©tÃ© synthÃ©tisÃ© dans~\cite{BCVC10:ir}. 
 
 
-L'Ã©tude de convergence de SDDs est simple Ã  vÃ©rifier 
-pratiquement pour le mode synchrone. 
-C'est beaucoup plus complexe lorsqu'on traite des itÃ©rations asynchrones 
-et mixes prenant de plus en compte les dÃ©lais. 
+L'Ã©tude de convergence de SDDs de modÃ¨les de petite taille 
+est simple Ã  vÃ©rifier pratiquement pour le mode synchrone parallÃ¨le: 
+l'espace d'intÃ©rÃªt est fini.  
+C'est beaucoup plus complexe lorsqu'on traite des itÃ©rations
+unaires, voire gÃ©nÃ©ralisÃ©es
+asynchrones et mixtes prenant de plus en compte les dÃ©lais. 
 Des mÃ©thodes de simulation basÃ©es sur des stratÃ©gies et des dÃ©lais gÃ©nÃ©rÃ©s alÃ©atoirement avaient dÃ©jÃ  Ã©tÃ© prÃ©sentÃ©es.
 Cependant, comme ces implantations ne sont pas exhaustives, elles ne sont intÃ©ressantes que lorsqu'elles fournissent un contre-exemple. 
 Lorsqu'elles exhibent une convergence,  
-cela ne permet que donner une intuition de convergence, pas  une preuve.
+cela ne permet que de donner une intuition de convergence, pas  une preuve.
 Autant que je sache, aucune dÃ©marche de preuve formelle automatique 
 de convergence n'avait jamais Ã©tÃ© Ã©tablie. 
 
@@ -356,11 +375,11 @@ ont aussi Ã©tÃ© fournies.
 Ceci a Ã©tÃ© synthÃ©tisÃ© dans~\cite{Cou10:ir}
 
 
-\subsection{Construction de fonctions chaotiques}
+\subsubsection{Construction de fonctions chaotiques}
 Je me suis intÃ©ressÃ© ensuite Ã  l'Ã©tude du problÃ¨me dual 
 de l'Ã©tude de divergence d'un SDD.
 Le Pr. C. Guyeux de l'Ã©quipe AND a proposÃ© dans sa thÃ¨se en 2010
-une caractÃ©risation des fonctions $f$ de $\{0,1\}^n$ dans lui mÃªme 
+une caractÃ©risation des fonctions $f$ de $\{0,1\}^n$ dans lui-mÃªme 
 dont les itÃ©rations sont chaotiques selon Devanney pour un  mode donnÃ©: 
 il est nÃ©cessaire et suffisant que son graphe des itÃ©rations soit
 fortement connexe.  
@@ -380,26 +399,21 @@ qui permettent d'obtenir des graphes d'itÃ©rations fortement connexes.
 Ce thÃ©orÃ¨me a aussi Ã©tÃ© prouvÃ© dans~\cite{bcgr11:ip}
 et des instanciations effectives 
 ont Ã©tÃ© produites. 
-Une troisiÃ¨me mÃ©thode~\cite{chgw+14:onp} s'appuie sur les codes 
+Une troisiÃ¨me mÃ©thode~\cite{chgw+14:oip,chgw+14:onp} s'appuie sur les codes 
 de Gray, ou de maniÃ¨re Ã©quivalente sur les cycles hamiltoniens du graphe des
 itÃ©rations.
-% : un cycle qui visite chaque n{\oe}ud exactement une fois est un  
-% \emph{cycle hamiltonien}.
-%La dÃ©marche consiste Ã  enlever du graphe un de ses cycles hamiltoniens dont 
-%la dÃ©marche de gÃ©nÃ©ration est un problÃ¨me connu. 
-
 Ces mÃ©thodes ont permis d'Ã©tendre Ã  l'infini la classe des fonctions 
 dont les itÃ©rations sont chaotiques.
 
 
-\subsection{Apprentissage par rÃ©seaux neuronaux}
+\subsubsection{Apprentissage par rÃ©seaux neuronaux}
 Nous disposons grÃ¢ce aux travaux prÃ©sentÃ©s Ã  la section prÃ©cÃ©dente d'un grand
 nombre de fonctions dont les itÃ©rations sont chaotiques.
 Nous avons entrepris d'Ã©tudier ces itÃ©rations et plus particuliÃ¨rement leur 
 apprentissage par un rÃ©seau de neurones. 
 J'ai notamment pu contribuer Ã  montrer pratiquement qu'il
 est trÃ¨s difficile (voir impossible) de les prÃ©dire 
-Ã  l'aide de tels outils d'intelligence artificielle~\cite{bcgs12:ij}.
+Ã  l'aide d'outils d'intelligence artificielle~\cite{bcgs12:ij}.
 
 
 Nous nous sommes attaquÃ©s parallÃ¨lement 
@@ -414,25 +428,37 @@ que le rÃ©gime est extrÃªmement turbulent, donc difficile Ã  prÃ©voir.
 Nous avons souhaitÃ© 
 continuer nos expÃ©riences d'apprentissage Ã  l'aide 
 de rÃ©seau de neurones dans ce contexte.
- Il est apparu comme judicieux de mÃ©moriser les configurations
+La figure~\ref{fig:mems}, issue de~\cite{cds13:ij}, montre 
+que notre approche a pu apprendre ce rÃ©gime turbulent. 
+Il est apparu comme intÃ©ressant de mÃ©moriser les configurations
 reprÃ©sentant l'Ã©tat des actionneurs Ã  l'aide de nombres binaires.
 De plus les codes de Gray (dont deux mots adjacents ne diffÃ¨rent que d'un 
 bit) se sont prÃ©sentÃ©s comme une des maniÃ¨res de mÃ©moriser les sorties du 
 rÃ©seau de neurones comme un seul nombre binaire.
-Quand on sait que trouver un chemin hamiltonien (comme Ã©tudiÃ© dans la partie prÃ©cÃ©dente) dans un
+Or trouver un chemin hamiltonien 
+(comme Ã©tudiÃ© dans la partie prÃ©cÃ©dente) dans un
 $n$-cube revient Ã  trouver un code 
 de Gray dans un mot de $n$-bits. Les compÃ©tences acquises lors du travail 
 sur les chemins hamiltoniens ont ainsi pu Ãªtre rÃ©utilisÃ©es et approfondies.
-Les rÃ©sultats pratiques quant Ã  l'utilisation de ces codes ce sont cependant 
+Les rÃ©sultats pratiques quant Ã  l'utilisation de ces codes se sont cependant 
 rÃ©vÃ©lÃ©s comme moins pertinents que l'utilisation de $n$ sorties.
 Ceci a Ã©tÃ© valorisÃ© dans les publications~\cite{cds12:ip,cds13:ij}.
 
-\subsection{GÃ©nÃ©ration de nombres pseudo-alÃ©atoires}
+\begin{figure}
+\begin{center}
+\includegraphics[scale=0.5]{test.pdf}
+\end{center}
+\caption{PrÃ©diction d'une force issue d'un flux d'air
+  le long d'un vÃ©hicule avec injecteurs}\label{fig:mems}
+\end{figure}
+
+
+\subsubsection{GÃ©nÃ©ration de nombres pseudo-alÃ©atoires}
 Au commencement de ce travail, notre Ã©quipe disposait d'un gÃ©nÃ©rateur de nombres 
 pseudo-alÃ©atoires (PRNG) 
 basÃ© sur une seule fonction dont nous avions prouvÃ© la chaoticitÃ© 
 des itÃ©rations, Ã  savoir la nÃ©gation boolÃ©enne vectorielle. Cependant pour 
-rÃ©ussir les tests statistiques dÃ©diÃ©es aux PRNGs, il Ã©tait nÃ©cessaire d'itÃ©rer 
+rÃ©ussir les tests statistiques dÃ©diÃ©s aux PRNGs, il Ã©tait nÃ©cessaire d'itÃ©rer 
 un grand nombre (arbitraire) de fois cette fonction entre deux 
 sorties. 
 
@@ -456,32 +482,36 @@ des fonctions avec une telle caractÃ©ristique~\cite{chgw+14:oip}.
 De plus, je me suis attachÃ© Ã  montrer l'importance 
 de l'Ã©quilibrage du chemin hamiltonien Ã  enlever. 
 
-Les gÃ©nÃ©rateurs produits ont d'abord Ã©tÃ© Ã©valuÃ©s avec succÃ¨s
-ont confirmÃ© la qualitÃ© de 
-ceux-ci~\cite{bcgw11:ip,chgw+14:onp,chgw+14:oip} en se confrontant Ã  
+ 
+Les qualitÃ©s statistiques des gÃ©nÃ©rateurs produits  
+ont Ã©tÃ© Ã©valuÃ©s avec succÃ¨s~\cite{bcgw11:ip,chgw+14:onp,chgw+14:oip}
+ en se confrontant Ã  
 des batteries de tests telles que Die-Hard, NIST, TestU01.
 
 Plus rÃ©cemment, nous avons entrepris de trouver des bornes du temps d'arrÃªt
 d'obtention d'une distribution uniforme d'un gÃ©nÃ©rateur 
 construit en enlevant un chemin hamiltonien Ã©quilibrÃ© dans un $n$-cube. Le travail 
-en collaboration avec Pr. P.-C. Heam du DISC
-est en cours de soumission
-dans un  international.
+en collaboration avec Pr. P.-C. Heam, Pr. C. Guyeux du DISC et Pr. S. Contassot
+du LORIA est en cours de soumission~\cite{cgh16:onp}
+dans un  journal international.
 
-Enfin j'ai Ã©tÃ© sollicitÃ© pour encadrer une thÃ¨se sur l'implantation 
+Enfin je co-encadre une thÃ¨se sur l'implantation 
 de gÃ©nÃ©rateurs de nombre pseudo-alÃ©atoires Ã  bases d'itÃ©rations 
 chaotiques sur des circuits logiques 
 programmables. J'ai commencÃ© ce travail en encadrant une Ã©tude exhaustive 
 de toutes les instances d'implantations de cette classe.
 Ce travail complet thÃ©orique et pratique est terminÃ© aujourd'hui et 
-est en cours de soumission dans un journal international.
-
+est en cours de soumission~\cite{bgco16:onp} dans un journal international.
+18 PRNGs de 4 familles (xorshift, LFSR, TGFSR, and LCG) ont Ã©tÃ© 
+implantÃ©s sur  FPGA et ont pu Ãªtre ainsi comparÃ©s pratiquement sur 
+la mÃªme plate-forme. Une boite de post-processing implantant les itÃ©rations
+chaotiques a Ã©tÃ© dÃ©ployÃ©e et a permis d'amÃ©liorer les rÃ©sultats statistiques.
+Ceci a Ã©tÃ© valorisÃ© par la publication~\cite{BCG16:ip}.
 
 
 
 
-
-\subsection{Masquage d'information}\label{sub:ih}
+\subsubsection{Masquage d'information}\label{sub:ih}
 
 La propriÃ©tÃ© de transitivitÃ© des fonctions chaotiques implique que l'on peut 
 atteindre tout point depuis le voisinage de n'importe quel point.
@@ -506,121 +536,185 @@ pertinente les fonctions Ã  itÃ©rer soit pour garantir une robustesse
 Ã©levÃ©e~\cite{bcfg12b:ip,bcfg+13:ip} soit pour masquer l'information dans le mÃ©dia 
 et Ãªtre le moins dÃ©tectable possible~\cite{bcfg12a:ip}. 
 
-D'autre mÃ©thodes de watermarking ont Ã©tÃ© investies 
+D'autre mÃ©thodes de watermarking ont Ã©tÃ© investies, 
 particuliÃ¨rement celles basÃ©es sur la Quantization Index Modulation (QIM), mÃ©thodes 
 Ã©tant supposÃ©es comme les plus robustes. Mes principales contributions 
-sur ce travail --en collaboration avec Dr R. Darzy de l'UniversitÃ© Antonine au Liban
-et en co-encadrant le stage de M2 de Ahmad Bittar--,
+sur ce travail --en collaboration avec Dr R. Darazy de l'UniversitÃ© Antonine au Liban
+et en co-encadrant le stage de M2 de Ahmad Bitar--,
 ont Ã©tÃ© 
 d'intÃ©grer ceci Ã  du marquage de document PDF puis de 
 prÃ©senter ce problÃ¨me comme un problÃ¨me d'optimisation. 
 GrÃ¢ce Ã  une telle prÃ©sentation nous avons pu trouver les paramÃ¨tre optimaux
 des mÃ©thodes QIM assurant Ã  la fois robustesse et indÃ©tectabilitÃ©.
-Le travail est en cours de soumission dans un  international.
+Ce travail a Ã©tÃ© acceptÃ© dans un  journal international~\cite{bdcc15:onp}.
 
 Lorsque l'objectif visÃ© est l'indÃ©tectabilitÃ©, on parle de \emph{stÃ©ganographie}.
 Ce domaine a Ã©tÃ© adressÃ© en critiquant notamment les scÃ©narios usuels d'Ã©valuation
 des algorithmes de stÃ©ganographie. J'ai proposÃ© un cadre complÃ©mentaire permettant 
-d'Ã©valuer ces schÃ©mas de masquage~\cite{fccg15:ip}.
-Ceci se rÃ©alise en co-encadrant le doctorat de Y. Fadil.
+d'Ã©valuer ces schÃ©mas de masquage~\cite{fccg15:ip,accfg15:ip}.
+Ceci se rÃ©alise en co-encadrant le doctorat de Y. Fadil. Nous avons de plus dans celui-ci
+proposÃ© d'exprimer les fonctions de distorsion comme des mÃ©thodes de calcul de gradient 
+ou de matrice Hessienne. Ceci a donnÃ© lieu Ã  la publication~\cite{ccfg16:ip}.  
 
 J'ai de plus participÃ© Ã  l'Ã©laboration de l'algorithme STABYLO~\cite{ccg15:ij}
 qui est un schÃ©ma de
 stÃ©ganographie basÃ© sur l'enfouissement de l'information dans les contours 
-prÃ©sents dans une image. 
-Ce travail est en collaboration avec Pr. R. Couturier.
+prÃ©sents dans une image et illustrÃ© Ã  la figure~\ref{fig:STABYLO}.
+Ce travail est en collaboration avec Pr C. Guyeux et Pr. R. Couturier.
 Mes contributions ont principalement Ã©tÃ© la formalisation de l'algorithme et 
 son Ã©tude de complexitÃ©. GrÃ¢ce a l'optimisation de cette derniÃ¨re,
 nous avons  pu montrer 
 que cet algorithme prÃ©sente un excellent compromis entre sÃ©curitÃ©
-fournie et complexitÃ©.  
+fournie et complexitÃ© algorithmique.
+
+
+
+\begin{figure}[h]
+  \begin{center}
+    \subfigure[Support]{
+      \includegraphics[scale=0.17]{lena512}
+    }
+    \subfigure[Message]{
+      \begin{minipage}[b]{0.33\linewidth}
+        \begin{flushleft}
+          \begin{scriptsize}
+            The skies they were ashen and sober;\linebreak
+            $\qquad$ The leaves they were crisped and sereâ\linebreak
+            $\qquad$ The leaves they were withering and sere;\linebreak
+            It was night in the lonesome October\linebreak
+            $\qquad$ Of my most immemorial year;\linebreak
+            It was hard by the dim lake of Auber,\linebreak
+            $\qquad$ In the misty mid region of Weirâ\linebreak
+            It was down by the dank tarn of Auber,\linebreak
+            $\qquad$ In the ghoul-haunted woodland of Weir.
+          \end{scriptsize}
+        \end{flushleft}
+      \end{minipage}
+    }
+    \subfigure[Contours]{
+      \includegraphics[scale=0.17]{edge7}
+    }
+    \subfigure[Image avec msg.]{
+      \includegraphics[scale=0.17]{lena7}
+    }
+
+  \end{center}
+  \caption{Embarquement d'un message dans une image selon STABYLO}\label{fig:STABYLO}
+\end{figure}
+
+Enfin, les mÃ©thodes d'apprentissage ont largement progressÃ© cette derniÃ¨re dÃ©cennie, 
+particuliÃ¨rement grÃ¢ce aux implantations efficaces de deep-learning. Dans un travail en collaboration
+avec Pr R. Couturier, Pr. C. Guyeux et Dr. M. Salomon, nous avons voulu Ã©tudier la 
+faisabilitÃ© d'utiliser du deep-learning Ã  base de convolutions comme outil de stÃ©ganalyse.
+Ceci a donnÃ© lieu Ã  l'encadrement d'un stagiaire en M2, D. Fache, et 
+un rapport technique~\cite{CCGS16:ir}. Lorsque la clef d'embarquement est 
+la mÃªme pour toutes les images, nous avons exhibÃ© une architecture de rÃ©seau 
+deep learning Ã  base de convolutions qui amÃ©liore de maniÃ¨re significative tous les rÃ©sultats connus en 
+stÃ©ganalyse. La figure~\ref{fig:deep} montre que la dÃ©tection est valide Ã  95\% 
+(respectivement Ã  80\%) lorsque le taux d'embarquement est de 0,4 bit par pixel (resp. 0.1)
+tandis que les meilleurs rÃ©sultats connus sont de l'ordre de 85\% (resp. 70\%).
+Cependant, ceci ne s'applique pas aux cas oÃ¹ les clefs sont distinctes.
+
+
+\begin{figure}[h]
+\centering
+\subfigure[][WOW, $\alpha=0.4$~bpp]{%
+\label{fig:accuracy_WOW_0.4}%
+%\label{fig:ex3-a}%
+\includegraphics[scale=0.39]{Training_wow_04.pdf}
+}%
+\hspace{4pt}%
+\subfigure[][WOW, $\alpha=0.1$~bpp]{%
+\label{fig:accuracy_WOW_0.1}%
+\includegraphics[scale=0.39]{Training_wow_01.pdf}
+}
+\caption{StÃ©ganalyse de WOW avec diffÃ©rents ratios d'embarquement}\label{fig:deep}
+\end{figure}
+
 
-\subsection{Les fonctions de hachage}\label{sub:hash}
+
+
+
+
+\subsubsection{Les fonctions de hachage}\label{sub:hash}
 Une fonction qui calcule une empreinte servant Ã  identifier rapidement toute 
-donnÃ©e fournie en entrÃ©e est une fonction de hachage. On utilse ce genre
+donnÃ©e fournie en entrÃ©e est une fonction de hachage. On utilise ce genre
 de fonctions dÃ¨s qu'on veut comparer des Ã©lÃ©ments de grande taille car il 
 suffit de comparer leurs empreintes (gÃ©nÃ©ralement de taille plus rÃ©duite).  
 Une telle fonction doit induire de grandes variations dans l'empreinte 
-lorsque l'entrÃ©e varie mÃªme trÃ¨s peu. C'est l'effet avalanche. Cet 
+lorsque l'entrÃ©e varie mÃªme trÃ¨s peu. C'est l'effet avalanche. Cette 
 condition fait penser Ã  la forte sensibilitÃ© aux conditions initiales
 d'une fonction chaotique.
 
-Fort de nos compÃ©tences sur les fonctions dont les itÃ©rations sont 
+Forts de nos compÃ©tences sur les fonctions dont les itÃ©rations sont 
 chaotiques, nous avons proposÃ© de nouvelles fonctions de hachage.
 Celles-ci combinent des outils classiques utilisÃ©s dans les
 fonctions de hachage 
 usuelles et des itÃ©rations de systÃ¨mes dynamiques discrets Ã©tudiÃ©s 
-au prÃ©allable.
+au prÃ©alable.
 Nous avons prouvÃ© que ces fonctions sont rÃ©sistantes Ã  la 
-seconde prÃ©image. Leur complexitÃ©, polynomiale en la taille 
+seconde prÃ©-image. Leur complexitÃ©, polynomiale en la taille 
 du message et la taille de l'empreinte, a Ã©tÃ© Ã©valuÃ©e et correspond
-Ã  ce qu'on attend d'une telle fonction.
+Ã  ce que l'on attend d'une telle fonction.
 Nous avons de plus vÃ©rifiÃ© statistiquement le critÃ¨re d'avalanche.
 Ces rÃ©sultats ont Ã©tÃ© valorisÃ©s dans les publications~\cite{bcg11:ip,bcg12:ij}.
 
 
+\subsection{Applications Ã  d'autres sujets}\label{sec:appl}
 
-
-\subsection{Application Ã  la gÃ©nomique}\label{sub:gen}
+\subsubsection{GÃ©nomique}\label{sub:gen}
 
 Ayant acquis des compÃ©tences sur certaines structures de mathÃ©matiques 
-discrÃ¨tes (particuliÃ¨rement thÃ©orie des graphe, 
-relation d'Ã©quivalence,\ldots), j'ai pu contribuer en bio-informatique
+discrÃ¨tes (particuliÃ¨rement thÃ©orie des graphes, 
+relations d'Ã©quivalence,\ldots), j'ai pu contribuer en bio-informatique
 en les rÃ©appliquant notamment.
 
-Une de mes premiÃ¨re piste de travail a Ã©tÃ© de proposer une mÃ©thode automatique 
+Une de mes premiÃ¨res pistes de travail a Ã©tÃ© de proposer une mÃ©thode automatique 
 de construction d'un ensemble de gÃ¨nes communs (nommÃ©s core-gÃ©nome) 
 Ã  une famille de gÃ©nomes.
 La mÃ©thode s'appuie sur la construction du graphe de  similaritÃ©
 entre les gÃ¨nes quotientÃ© selon une relation d'Ã©quivalence pour en
-rÃ©duire sa taille. Chaque gÃ¨nes est assimilÃ© Ã  son reprÃ©sentant de
+rÃ©duire sa taille. Chaque gÃ¨ne est assimilÃ© Ã  son reprÃ©sentant de
 classe dans chaque gÃ©nome. Le core-gÃ©nome se dÃ©duit comme  l'intersection 
-de tous les gÃ©nome. Ceci a donnÃ© lieu aux 
+de tous les gÃ©nomes. Ceci a donnÃ© lieu aux 
 publications~\cite{acgs13:onp,akgcs+14:oip,acgm+14:ij}.
 
 L'approche prÃ©cÃ©dente souffrait de n'engendrer que des core-gÃ©nomes de (trop)
-petits cardinaux. J'ai contribuÃ© notamment 
+petit cardinal. J'ai contribuÃ© notamment 
 Ã  l'amÃ©lioration de la mÃ©thode en proposant une Ã©tape d'optimisation issue 
 d'une adaptation discrÃ¨te la mÃ©thode d'essaims particulaires~\cite{aagp+15:ip}.
+D'autres travaux (dont la premiÃ¨re Ã©tape est cette construction de 
+core-gÃ©nome) ont Ã©tÃ© ensuite rÃ©alisÃ©s, principalement dans le but de 
+construire des arbres phylogÃ©nÃ©tiques de qualitÃ©~\cite{agcs+15:ip,aangc+15:ip,aagc+15:ip}.
+%Une synthÃ¨se de ces arbres a Ã©tÃ© rÃ©alisÃ©e et est prÃ©sentÃ©e Ã  
+%l'adresse~\url{http://meso.univ-fcomte.fr/peg/phylo}.
 
-Tout ces travaux ont Ã©tÃ© rÃ©alisÃ©s en collaboration avec M. Salomon et en co-encadrant 
-le doctorat de B. Alkindy.
 
+Tous ces travaux ont Ã©tÃ© rÃ©alisÃ©s en collaboration avec Dr. M. Salomon et en co-encadrant 
+le doctorat de B. Alkindy, soutenu en dÃ©cembre 2015.
 
+\subsubsection{RÃ©seaux de capteurs}\label{sub:optim}
 
-\newpage
-\section{Perspectives de recherche}
+J'ai abordÃ© avec Dr. A. Mostefaoui la thÃ©matique des rÃ©seaux de capteurs multimÃ©dia:
+ce contexte scientifique 
+a la particularitÃ© d'avoir des donnÃ©es volumineuses et qui requiÃ¨rent un traitement
+coÃ»teux en Ã©nergie. L'enjeu consiste Ã  optimiser la dÃ©pense Ã©nergÃ©tique en fonction de la qualitÃ© 
+attendue. 
+Dans le cadre d'un projet soutenu par la rÃ©gion de Franche-ComtÃ©, \og capteurs multimÃ©dias collaboratifs: une approche
+intÃ©grÃ©e de la sÃ©curitÃ© et de la robustesse\fg{}, nous encadrons la doctorante 
+N. Khernane sur ce sujet depuis novembre 2015.
+Nous avons proposÃ© un nouvel algorithme complÃ¨tement distribuÃ© permettant d'optimiser 
+la durÃ©e de vie d'un tel rÃ©seau de capteurs en fonction d'une qualitÃ© visuelle attendue.
+Ce premier travail a Ã©tÃ© valorisÃ© par une publication en confÃ©rence internationale~\cite{kcm16:ip}.
 
 
 
+%\newpage
+\section{Perspectives de recherche}
+Les trois sections suivantes prÃ©sentent quelques perspectives de recherche 
+autour de la thÃ©matique des systÃ¨mes dynamiques discrets. 
+
 
-\subsection{Les codes de Gray}
-L'utilisation des codes de Gray dans une dÃ©marche d'apprentissage 
-(d'Ã©coulement d'air ou  de fonctions chaotiques) ne s'est pas rÃ©vÃ©lÃ©e comme 
-concluante. Dans chacun des cas, la distance de Hamming entre deux 
-configurations voisines peut Ãªtre trÃ¨s petite tandis que le chemin (dans le 
-cycle  hamitlonien) qui les relie peut Ãªtre long et ce mÃªme 
-pour des codes Ã©quilibrÃ©s.
-Je propose de travailler sur ce problÃ¨me discret en mesurant la qualitÃ© 
-du code de Gray Ã  l'aide d'une fonction basÃ©e sur la longueur des chemins
-(du cycle hamiltonien) entre les configurations voisines.
-Je pense ainsi rÃ©duire ce problÃ¨me Ã  un problÃ¨me d'optimisation et dÃ©gager 
-une dÃ©marche de gÃ©nÃ©ration, comme je l'ai fait en bio-informatique.
- 
-Jusqu'Ã  prÃ©sent, la production de codes de Gray Ã©quilibrÃ©s adaptÃ©s Ã  ces 
-contextes d'utilisation 
-dans l'Ã©tape de construction de fonctions chaotiques pour la gÃ©nÃ©ration 
-de nombres pseudo alÃ©atoire bute sur des problÃ¨mes d'explosion combinatoire:
-les seuls algorithmes connus rÃ©pondant Ã  ce problÃ¨me nÃ©cessitent a priori
-plus de $10^{36}$ Ã©valuations pour $n=8$. 
-Il n'est ainsi pas raisonnable de mettre en  
-pratique ce genre d'approche lorsque chacune de ces Ã©valuations prend 1s.
-On peut peut-Ãªtre
-se contenter de code ``presque'' Ã©quilibrÃ©s , Ã  dÃ©faut de pouvoir 
-trouver ceux qui seront Ã©quilibrÃ©s.
-Je propose d'investiguer  
-dans cette thÃ©matique en exploitant des approches itÃ©ratives permettant 
-d'obtenir des optimums locaux et trouver ainsi des codes presque Ã©quilibrÃ©s.x
 
 
  
@@ -629,49 +723,33 @@ d'obtenir des optimums locaux et trouver ainsi des codes presque Ã©quilibrÃ©s.x
 La dÃ©marche actuelle de gÃ©nÃ©ration de nombres pseudo-alÃ©atoires
 consiste Ã  marcher dans une partie d'un $n$-cube en choisissant son chemin
 Ã  l'aide d'un gÃ©nÃ©rateur fourni en entrÃ©e. Or ces gÃ©nÃ©rateurs sont tous des 
-fonctions de $\{0,1\}^n$ dans lui mÃªme. Cette approche
+fonctions de $\{0,1\}^n$ dans lui-mÃªme. Cette approche
 semble pouvoir se rÃ©Ã©crire
 comme un produit synchrone de deux automates.
 L'intÃ©rÃªt d'une telle rÃ©Ã©criture est qu'on pourrait exploiter 
 tous les rÃ©sultats thÃ©oriques et pratiques dÃ©jÃ  connus dans la communautÃ©
 des automates. 
 Je pense investiguer cette voie pour amÃ©liorer notre approche, 
-s'affranchir, Ã  terme, de tout autre gÃ©nÃ©rateur, amÃ©liorer la
+s'affranchir, Ã  terme, de tout autre gÃ©nÃ©rateur et amÃ©liorer la
 connaissance Ã  ce sujet.
 Les propriÃ©tÃ© Ã©tablies notamment sur les temps d'arrÃªt devraient Ãªtre conservÃ©es.
 Il restera Ã  le prouver.
 
 
-Jusqu'Ã  prÃ©sent, une seule expÃ©rimentation d'implantation de nos gÃ©nÃ©rateurs 
-sur des dispositifs physiques comme les FPGAs a Ã©tÃ© rÃ©alisÃ©e. Celle-ci 
-s'est faite automatiquement Ã  l'aide de l'outil Matlab. Si le code engendrÃ©
-sur le circuit est bien une implantation fidÃ¨le Ã  la spÃ©cification,
-il n'en est pas pour autant efficace: le nombre de bits gÃ©nÃ©rÃ© par surface
-est plutÃ´t faible. Nous allons exploiter les meilleurs dÃ©marches mises en 
-exergue lors de la rÃ©daction d'un Ã©tat de l'art exhaustif sur les PRNG 
-implantÃ©s sur FPGA pour produire du code optimisÃ©. 
-Je prÃ©vois de rÃ©aliser ceci dans la thÃ¨se de M. Bakiri, en cours.
+Dans le cadre du doctorat de M. Bakiri, nous avons implantÃ© sur  FPGA 
+18 PRNGs de 4 familles (xorshift, LFSR, TGFSR, and LCG) ainsi que 
+le post-processing implantant les itÃ©rations
+chaotiques. Nous pensons Ã©tudier d'abord pratiquement l'intÃ©rÃªt de telles itÃ©rations
+en termes de surface requise lors du dÃ©ploiement et du nombre d'opÃ©rateurs nÃ©cessaires.
+Les amÃ©liorations escomptÃ©es dans le paragraphe prÃ©cÃ©dent seront rÃ©investies dans cette 
+partie et celle-ci viendront nourrir le travail prÃ©cÃ©dent. 
+
 
-Pour gÃ©nÃ©rer une fonction dont la matrice de Markov est doublement
-stochastique, nous avons proposÃ© principalement deux mÃ©thodes 
-(gÃ©nÃ©ration puis test, suppression de chemin hamiltonien dans un $n$-cube).  
-Ces deux mÃ©thodes ne passent pas Ã  l'Ã©chelle, mÃªme pour des $n$ de petite taille.
-Je pense attaquer ce problÃ¨me algÃ©briquement et en programmation logique avec 
-contraintes. Dans le premier cas, on peut remarquer qu'un matrice
-composÃ©e de $1$ uniquement 
-en $(i,i+1)$ est une rÃ©ponse triviale au problÃ¨me. Je pense continuer l'Ã©tude 
-de ce genre de matrices et proposer une mÃ©thode plus gÃ©nÃ©rale de gÃ©nÃ©ration.
-Je prÃ©vois de rÃ©aliser ce travail avec M. S. Contassot, Pr. Ã  l'UniversitÃ© de Lorraine.
-Le dÃ©partement DISC et l'Ã©quipe VESONTIO 
-a de fortes compÃ©tences en programmation logique avec 
-contraintes. J'ai dÃ©jÃ  dÃ©montrÃ© que ce problÃ¨me peut Ãªtre soluble par cette
-approche, sans avoir pour autant rÃ©ussi Ã  le faire.
-Je prÃ©vois des collaborations avec l'Ã©quipe VESONTIO du DISC sur ce sujet.
 
 
 Enfin, marcher dans une partie d'un $n$-cube est le modÃ¨le thÃ©orique que 
 nous avons Ã©tabli pour notre classe de gÃ©nÃ©rateurs. On pourrait cependant 
-penser Ã  ``sauter'' dans ce $n$-cube, c'est Ã  dire modifier plusieurs bits 
+penser Ã  ``sauter'' dans ce $n$-cube, c'est-Ã -dire modifier plusieurs bits 
 en une seule itÃ©ration. J'ai commencÃ© Ã  Ã©tudier ce modÃ¨le avec les rÃ©sultats
 pratiques suivants: le nombre d'itÃ©rations suffisant pour un mÃ©lange 
 correct est plus petit que celui obtenu en marchant. De plus,  
@@ -680,6 +758,40 @@ Pour l'instant, nous n'avons pas rÃ©ussi Ã  obtenir des bornes
 du temps d'arrÃªt. Je propose d'investiguer aussi dans cette direction.
 
 
+\subsection{Les chemin Hamiltonien/ les codes de Gray}
+
+Pour gÃ©nÃ©rer une fonction dont la matrice de Markov est doublement
+stochastique
+--condition nÃ©cessaire pour fournir une sortie uniformÃ©ment distribuÃ©e--, nous avons proposÃ© principalement la mÃ©thode de
+suppression de chemin hamiltonien dans un $n$-cube. 
+
+Un chemin hamiltonien pouvant Ãªtre vu comme un code de Gray, nous sommes intÃ©ressÃ©s Ã  la 
+gÃ©nÃ©ration de ce genre de codes en privilÃ©giant les codes de Gray Ã©quilibrÃ©s, 
+c'est-Ã -dire ceux dont chaque bit est niÃ© le mÃªme nombre de fois.
+Cependant la mÃ©thode de Robinson et Cohn (permettant d'obtenir des codes de Gray globalement ``presque'' 
+Ã©quilibrÃ©s) et leurs extensions sont indÃ©terministes dans le sens oÃ¹ 
+elles montrent l'existence d'une suite particuliÃ¨re sans donner sa construction.
+Un premier verrou scientifique que je propose de lever consiste Ã  proposer une solution 
+algÃ©brique (et donc un algorithme) donnant une solution Ã  ce problÃ¨me. 
+
+Il est apparu rÃ©cemment des algorithmes permettant d'obtenir des codes de Gray 
+localement Ã©quilibrÃ©s, c.-Ã -d. oÃ¹ la longueur du plus grand nombre d'Ã©tapes entre 
+deux changements d'un mÃªme bit est aussi petite que possible.
+Dans tous les cas, aucun des ces codes n'est globalement Ã©quilibrÃ© ni mÃªme presque Ã©quilibrÃ©.
+Cette double propriÃ©tÃ© serait cependant trÃ¨s intÃ©ressante aussi bien thÃ©oriquement que pratiquement
+pour nos gÃ©nÃ©rateurs.
+Un second verrou consistera Ã  adapter ces algorithmes pour proposer des codes possÃ©dant les 
+deux propriÃ©tÃ©s d'Ã©quilibrage.
+Ce travail consistera d'abord Ã  vÃ©rifier l'existence de codes pour des instances de petite 
+taille, sans que cela soit trivial (par exemple pour $n=6$) et ce en travaillant en collaboration 
+avec Pr S. Contassot, spÃ©cialiste en SDD et en calcul distribuÃ©.
+ 
+
+
+
+
+
+
 
 \subsection{Masquage d'information}
 
@@ -716,116 +828,253 @@ la classification. Ces mÃ©thodes ont dÃ©jÃ  Ã©tÃ©
 appliquÃ©es avec succÃ¨s lorsqu'elles sont combinÃ©es avec des mÃ©thodes 
 d'apprentissage, par exemple dans de la reconnaissance faciale.
 Je propose d'Ã©tudier cette piste dans ce domaine. 
-Ceci se rÃ©alisera notamment au travers du doctorat de Y. Fadil.
+%Ceci se rÃ©alisera notamment au travers du doctorat de Y. Fadil.
 
+De plus les rÃ©sultats obtenus en stÃ©ganalyse Ã  l'aide de deep learning Ã  base de convolutions
+sont trÃ¨s prometteurs  lorsque la clef qui a servi Ã  l'embarquement est constante. 
+Malheureusement, lorsque la clef varie, nous n'avons pas rÃ©ussi Ã  gÃ©nÃ©raliser ces avancÃ©es.
+Les dÃ©marches les plus efficaces demeurent 
+celles obtenues par des approches classiques Ã  base de caractÃ©ristiques statistiques (features) 
+d'images.
+Cependant, en Ã©tudiant plus finement les features, on constate que nombreuses sont celles qui sont aussi
+basÃ©es sur des produits de convolution.
+Je propose d'Ã©tudier exhaustivement ces features pour d'abord traduire
+en deep-learning celles qui sont des convolutions directes. Il restera ensuite 
+Ã  adapter l'outil de deep learning aux caractÃ©ristiques restantes ce qui est un autre challenge 
+scientifique. 
 
 
 
+%\newpage
+\section{Insertion dans l'Ã©quipe de recherche} 
+Cette section donne quelques Ã©lÃ©ments factuels 
+permettent d'apprÃ©cier mon insertion au sein  de cette Ã©quipe de recherche.
 
 
-\newpage
-\section{Insertion dans l'Ã©quipe de recherche} 
 
-La thÃ©matique prinsipale de ma thÃ¨se et du post doctorat qui a suivi 
+\subsection{Un dÃ©fi de changement de thÃ©matique}
+La thÃ©matique principale de ma thÃ¨se et du post-doctorat qui a suivi 
 Ã©tait la vÃ©rification de programmes par preuve automatique, soit de 
 la logique informatique.
 Suite Ã  mon recrutement dans l'Ã©quipe AND, mes recherches se sont rÃ©orientÃ©es
-autours des SDDs et donc de l'analyse numÃ©rique plus gÃ©nÃ©ralement.
-En plus des publications obtenues avec les membres de l'Ã©quipe AND, 
-ce qui suit rÃ©capitules quelques Ã©lÃ©ments permettant 
-d'apprÃ©cier mon insertion dans l'Ã©quipe AND
+autour des SDDs et donc de l'analyse numÃ©rique plus gÃ©nÃ©ralement.
+Ce dÃ©fi de changement de thÃ©matique a Ã©tÃ© attaquÃ© dÃ¨s mon recrutement.
+En plus des 6 journaux dans cette nouvelle thÃ©matique, 
+j'ai publiÃ© sur ces thÃ©matiques notamment dans
+les confÃ©rences reconnues suivantes:
+\begin{itemize}
+\item  \cite{bcgr11:ip} de rang A et
+\item \cite{BCG16:ip,ccfg16:ip,kcm16:ip, chgw+14:oip} de rang B.
+\end{itemize}
 
 
 
+\subsection{Appels Ã  projet}
 
-J'ai montÃ© une collaboration active avec l'UniversitÃ© Antonine au Liban. 
-J'y ai Ã©tÃ© invitÃ© en mai 2013. J'ai par la suite co-encadrÃ© trois stages de 
-master 2 recherche avec des membres de cette universitÃ©.
-J'ai un article en cours de soummission rÃ©sumant un travail en collaboration 
-avec un ancien Ã©tudiant et un enseignant chercheur de cette universitÃ©.
 
-Je suis membre du GDR codes et cryptographie. J'ai Ã  ce titre 
-participÃ© aux JournÃ©es Codes et StÃ©ganographie en 2012 (Rennes) 
-oÃ¹ j'ai prÃ©sentÃ© le travail 
-de \og Steganography: secure and robust algorithms \fg{} et en 2013 (Paris).
+En 2014, j'ai participÃ© 
+au projet Jeune chercheur de l'UFC portÃ© par
+Christophe Guyeux dont le thÃ¨me Ã©tait 
+\og la sÃ©curisation numÃ©rique par chaos\fg{}.
 
+J'ai rÃ©pondu avec succÃ¨s Ã  l'appel Ã  projets de la rÃ©gion de 
+Franche-ComtÃ© en 2015: j'ai participÃ© Ã  l'Ã©laboration du  
+projet de \og capteurs multimÃ©dias collaboratifs: une approche
+intÃ©grÃ©e de la sÃ©curitÃ© et de la robustesse\fg{} dont le porteur 
+est M. A. Mostefaoui. Nous avons obtenu le financement d'une bourse doctorale 
+pour la pÃ©riode d'oct. 2015--oct. 2018. Ce doctorat est co-encadrÃ© par 
+M. A. Mostefaoui et moi-mÃªme.
+
+J'ai rÃ©pondu Ã  de nombreux autres appels Ã  projets sans succÃ¨s: 
+\begin{itemize}
+\item porteur d'un projet ANR COSINUS 2009: \og 
+A FRAMEwork for predicting the behavior of Dicrete Dynamic Systems\fg{}
+avec l'I3S et le LORIA. 
+\item participant Ã  un projet ANR blanc en 2010: 
+\og Unification des SystÃ¨mes Dynamiques Discrets \fg{}
+avec l'I3S, le LORIA et le LIF de Marseille.
+\item porteur d'un projet PEPS 2011 avec l'Ã©quipe MIE du dÃ©partement Energie de  FEMTO-ST.
+\item participant Ã  un projet PHC CAI YUANPEI 2014: \og Theoretical study, design, and circuit implementation of high dimensional integer domain chaotic systems \fg{} avec l'UniversitÃ© Technlogique de Guangdong.
+\item porteur d'un projet PHC Cedre 2015: \og surveillance vidÃ©o sÃ©curisÃ©e et robuste par rÃ©seau de capteurs\fg{} avec l'UniversitÃ© Antonine.
+\item participant Ã  un  projet PHC Cedre 2015: \og 
+mÃ©thodes et outils pour concevoir, Ã©valuer et dÃ©ployer des rÃ©seaux de capteurs 
+pour l'agriculture au liban\fg{} avec l'UniversitÃ© Libanaise.
+\item participant au projet PEPS JCJC INS2I 2015, sur 
+\og PrÃ©diction bio-informatique de l'Ã©volution des gÃ©nomes\fg{} avec le
+LMB et le l'universitÃ© de NeuchÃ¢tel en Suisse. 
+\end{itemize}
+
+\subsection{Collaborations}
+J'ai Ã©tabli des collaborations:
+\begin{itemize}
+\item avec A. Richard CR CNRS du laboratoire
+I3S (Nice)- UMR CNRS 7271 sur la thÃ©matique des SDDs et leurs 
+applications en Bio. Cela s'est traduit notamment avec 
+la publication~\cite{bcgr11:ip}.
+
+\item avec R. Darazy de l'UniversitÃ© Antonine au Liban. 
+  J'ai co-encadrÃ© trois stages de Master 2 recherche avec
+  des membres de cette universitÃ©.
+  J'ai un article de journal~\cite{bdcc15:onp} rÃ©sumant un travail en collaboration
+  avec R. Darazy.
+
+\item avec Pr. S. Contassot-Vivier du LORIA (Nancy)- UMR CNRS 7503 
+sur la thÃ©matique des SDDs, de leur convergence dans les itÃ©rations 
+mixtes et de la gÃ©nÃ©rations de matrices de Markov doublement
+stochastiques. Cela s'est traduit notamment avec 
+le rapport~\cite{BCVC10:ir} et l'article de journal~\cite{cgh16:onp}, en cours de soumission
+en journal international.
+
+\item avec Pr. Y. Bailly et J.-C. Roy de l'Ã©quipe 
+  MIE du dÃ©partement \'Energie de FEMTO-ST sur la thÃ©matique 
+  de la prÃ©diction d'Ã©coulement d'un flux d'air le long d'un vÃ©hicule.
+  Cela s'est traduit notamment avec 
+  les publications~\cite{cds13:ij,cds12:ip}.
+
+\item avec Dr. Qianxue Wang de l'UniversitÃ© Technlogique de Guangdong 
+sur la gÃ©nÃ©ration de nombres pseudo alÃ©atoires. 
+Nous avons collaborÃ© sur deux publications~\cite{bcgw11:ip,chgw+14:oip}.
+
+\end{itemize}
+
+
+\subsection{Invitations}
+J'ai Ã©tÃ© invitÃ©:
+\begin{itemize}
+\item Ã  la soutenance de ThÃ¨se de M. J.-L. Joly sur {\em 
+Contributions Ã  la gÃ©nÃ©ration alÃ©atoire pour des classes d'automates finis} en tant qu'invitÃ©
+le 23 mars 2016 Ã  l'UniversitÃ© de Franche-ComtÃ©;
+\item au workshop \og ThÃ©orie des rÃ©seaux boolÃ©ens et ses applications en
+  biologie\fg{}  Ã  Nice en novembre 2014 (20 participants);
+\item Ã  la journÃ©e \og Advances in Mobile Technologies Day\ fg{} 
+  organisÃ©e par l'UniversitÃ© Antonine au Liban en mai 2013 (10 participants);
+\item au SÃ©minaire MDSC (ModÃ¨les Discrets pour les SystÃ¨mes Complexes)
+  du laboratoire I3S sur le sujet \og Efficiently dealing with 
+  SMT-LIB provers in software verification\fg{} 
+  en dÃ©cembre 2007 (30 participants).
+\end{itemize}
+
+\subsection{Organisation d'Ã©vÃ©nements scientifiques}
 
 J'ai co-organisÃ© avec J. Bahi et C. Guyeux 
 \og The First Workshop on Information Hiding Techniques 
-for Internet Anonymity and Privacy (IHTIAP) \fg{} Ã  Venise en juin 2012.
-Le comitÃ© de programme Ã©tait composÃ©
-de 18 chercheurs internationaux (dont je faisais aussi partie). 
-Il s'est  dÃ©roulÃ© sur 1 journÃ©e.
+for Internet Anonymity and Privacy (IHTIAP) \fg{} Ã  Venise en juin 2012
+dont l'url est
+\url{http://www.iaria.org/conferences2012/IHTIAP.html}.
+Le comitÃ© de programme Ã©tait composÃ© de 18 chercheurs internationaux 
+(dont je faisais aussi partie). 
+Il s'est  dÃ©roulÃ© sur 1/2 journÃ©e et 5 chercheurs ont prÃ©sentÃ© leurs travaux.
+Le taux d'acceptation des articles a Ã©tÃ© de 41\%. 
 
 
-J'ai fait partie des comitÃ©s de programme de confÃ©rences 
-comme \og international conference on evolving internet \fg{} 
-(2012, 2013,2014 )\ldots 
-J'ai Ã©tÃ© session chair de \og international conference on evolving internet\fg{}
-en 2011 et  IHTIAP en 2012
+J'ai Ã©tÃ© responsable de la publication des actes dans les conferences 
+{\em 19th IEEE International Conference on Computational Science and Engineering (CSE 2016)},
+{\em 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES 2016)}
+et
+{\em 14th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2016)}.
 
-J'ai reviewÃ© des articles pour les journaux internationnaux 
-suivants: The computer Journal, Springer Multimedia Tool and application, 
-Springer Annals in Telecommunication\ldots
 
 
-Je suis rÃ©guliÃ¨rement membre de jury des Ã©preuves TIPE, Ã©preuves communes
-Ã  90 concours d'ingÃ©nieurs (sessions 2012 et  2015) et fournit  
-Ã  chaque session des sujets scientifiques pour l'Ã©preuve.
+J'ai fait partie des comitÃ©s de programme des confÃ©rences \og int. conf. on Evolving Internet \fg{}, (2013, 2014) 
+et IHTIAP 2012.
+
+J'ai rÃ©digÃ© des rapports de relecture pour les journaux internationaux 
+suivants: 
+\begin{itemize}
+\item Springer Annals of Telecommunications 2013 (2);
+\item The computer Journal 2014 (1); 
+\item Springer Multimedia Tools and Applications 2014 (1);
+\item International Journal of Bioinformatics Research 2015 (1);
+\item International Journal of Computer Science and Application 2015 (1);
+\item MDPI Symmetry 2016 (3);
+\item Hindawi Journal of Electrical and Computer Engineering 2016 (1).
+\end{itemize}
+et pour les confÃ©rences suivantes:
+\begin{itemize}
+\item MAJECSTIC (2005 (2), 2007 (2));
+\item B 2007 (1), A-BZ 2008 (1);
+\item Evolving Internet \fg{}, (2012 (2), 2013 (2), 2014 (1));
+\item 2015 IEEE/SICE International Symposium on System Integration (1);
+\item 2016 IEEE International Conference on Computational Science and Engineering (CSE 2016)  (4);
+
+\end{itemize}
+
+Membre du GDR codes et cryptographie, j'ai 
+participÃ© aux JournÃ©es Codes et StÃ©ganographie en 2012 (Rennes) 
+oÃ¹ j'ai prÃ©sentÃ© \og Steganography: secure and robust algorithms \fg{} et en 2013 (Paris).
+
 
 
 
-\newpage
+
+%\newpage
 \section{Encadrement et co-encadrement d'Ã©tudiants} 
 
 \subsection{ThÃ¨se d'universitÃ©}
-
-Je co-encadre (Ã  hauteur de 40\%) avec Michel Salomon (40\%) et  
-Jacques M. Bahi  (20\%) le doctorat de Bassam Al Kindy
+J'ai co-encadrÃ©:
+\begin{itemize}
+\item
+(Ã  hauteur de 40\%) avec Michel Salomon (40\%) et  
+Jacques M. Bahi  (20\%) le doctorat de Bassam Alkindy
 sur les combinaisons d'approches pour la prÃ©diction de l'Ã©volution gÃ©nomique.	
-Le doctorat a commencÃ© en septembre 2012 et devrait Ãªtre soutenu en 
-novembre 2015.	
+Le doctorat a commencÃ© en septembre 2012 et a Ã©tÃ© soutenu le 17 dÃ©cembre 2015.
 Ce travail de thÃ¨se a donnÃ© lieu Ã  6 publications dans des confÃ©rences 
-internationales.
-
+internationales~\cite{aangc+15:ip,acgm+14:ij,akgcs+14:oip,agcs+15:ip,aagp+15:ip, aagc+15:ip} et une communication nationale~\cite{acgs13:onp}.
+\end{itemize}
 
-Je co-encadre (Ã  hauteur de 50\%) avec Christophe Guyeux (50\%)
-le doctorat de  Youssra Fadili
+Je co-encadre:
+\begin{itemize}
+\item  (Ã  hauteur de 50\%) avec Pr. C. Guyeux (50\%)
+le doctorat de  Youssra Fadil
 sur
 l'Ã©tude du comportement des outils d'intelligence artificielle
 face Ã  des dynamiques complexes.	
 Le doctorat a commencÃ© en dÃ©cembre 2013 et devrait Ãªtre soutenu en 
 dÃ©cembre 2016.	
-Ce travail de thÃ¨se a donnÃ© lieu Ã  1 publication dans une confÃ©rence
-internationale.
+Ce travail de thÃ¨se a donnÃ© lieu Ã  3 publications dans des confÃ©rences
+internationales~\cite{fccg15:ip,accfg15:ip,accfg15:ip}.
 		
-
-Je co-encadre (Ã  hauteur de 50\%) avec Christophe Guyeux (50\%)
+\item  (Ã  hauteur de 50\%) avec Pr. C. Guyeux (50\%)
 le doctorat de  Mohamed Bakiri
 sur
 l'implÃ©mentation matÃ©rielle de gÃ©nÃ©rateurs de nombres pseudo-alÃ©atoires basÃ©s sur les itÃ©rations chaotiques.
 Le doctorat a commencÃ© en septembre 2014 et devrait Ãªtre soutenu en 
-aout 2017.	
+aoÃ»t 2017.	
 Ce travail de thÃ¨se a donnÃ© lieu Ã  1 publication dans un journal international 
-en cours de soummission.
+en cours de soumission~\cite{bgco16:onp} et une confÃ©rence internationale~\cite{bgco16:onp}.
+
+\item  (Ã  hauteur de 50\%) avec  Dr. A. Mostefaoui (50\%)
+le doctorat de  Nesrine Khernane
+sur
+une approche
+intÃ©grÃ©e de la sÃ©curitÃ© et de la robustesse dans les capteurs multimÃ©dias collaboratifs. 
+Le doctorat a commencÃ© en novembre 2015 et devrait Ãªtre soutenu en 
+novembre 2018.	
+Ce travail de thÃ¨se a donnÃ© lieu Ã  1 publication dans une confÃ©rence internationale~\cite{fccg15:ip}.
+\end{itemize}
+
 
 \subsection{Master 2 recherche}
 
+J'encadre:
+
+\begin{itemize}
+\item le stage de recherche de Master 2 de D. Fache
+sur une Ã©tude thÃ©orique et pratique du Deep Learning, application Ã  la stÃ©ganalyse.
+Le stage a commencÃ© en mars 2016 et devrait Ãªtre soutenu en septembre 2016. 
+\end{itemize}
 
-J'ai co-encadrÃ© (Ã  hauteur de 34\%) avec Raphael Couturier (33\%) et 
+J'ai co-encadrÃ©:
+\begin{itemize}
+\item  (Ã  hauteur de 34\%) avec Raphael Couturier (33\%) et 
 Rony Darazi -- UniversitÃ© Antonine au Liban--(33\%)
-le stage de recherche de Master 2 de  Ahmad Bittar
+le stage de recherche de Master 2 de  Ahmad Bitar
 sur
 la 
 Steganography in PDF documents based on Unprintable Control ASCII Codes.
 Le stage a commencÃ© le 01 mai 2013 et a Ã©tÃ© soutenu le 30 septembre 2013. 
-Ce travail de master a donnÃ© lieu Ã  1 publication dans un journal international 
-en cours de soummission (en rÃ©vision mineure).
-
-
-
-
-J'ai co-encadrÃ© (Ã  hauteur de 80\%) avec   
+Ce travail de Master a donnÃ© lieu Ã  1 publication dans un journal international~\cite{bdcc15:onp}.
+\item  (Ã  hauteur de 80\%) avec   
 Talar Atechian -- UniversitÃ© Antonine au Liban--(20\%)
 le stage de recherche de Master 2 de Hussein Nasser
 sur
@@ -835,76 +1084,253 @@ Network Lifetime Maximization.
 Le stage a commencÃ© le 01 avril 2014 et a Ã©tÃ© soutenu le 31 aoÃ»t 2014. 
 
 
-Je co-encadre (Ã  hauteur de 80\%) avec   
+\item (Ã  hauteur de 80\%) avec   
 Talar Atechian -- UniversitÃ© Antonine au Liban--(20\%)
 le stage de recherche de Master 2 de Khaled Daher 
-sur la dÃ©synchronisation du calcul d'optimisatin de la durÃ©e de vie 
+sur la dÃ©synchronisation du calcul d'optimisation de la durÃ©e de vie 
 d'un rÃ©seau de capteurs.
-Le stage a commencÃ© le 01 avril 2015 et sera soutenu le 31 aoÃ»t 2015. 
+Le stage a commencÃ© le 01 avril 2015 et a Ã©tÃ© soutenu le 31 aoÃ»t 2015. 
+\end{itemize}
 
 
 
-\newpage
+%\newpage
 \section{Participation Ã  des tÃ¢ches d'intÃ©rÃªt collectif}
 
+\subsection{TÃ¢ches d'enseignement} 
 Depuis septembre 2000, je suis titulaire Ã  l'UniversitÃ© de Franche-ComtÃ©,
 soit sur un poste de PrCe (de 2000 Ã  2008, sauf l'annÃ©e 2006-2007) soit sur
 un poste de MdC. J'ai assurÃ© un grand nombre d'enseignements de la premiÃ¨re
-annÃ©e de licence ou de DUT jusqu'en senconde annÃ©e de Master. Depuis mon
-recrutement comme MdC, j'ai recentrÃ© mes enseignements autours 
+annÃ©e de licence ou de DUT jusqu'en seconde annÃ©e de Master. 
+Depuis mon
+recrutement comme MdC, j'ai recentrÃ© mes enseignements autour 
 de mes thÃ©matiques de recherche, Ã  savoir essentiellement les 
 mathÃ©matiques discrÃ¨tes.
-Je suis de plus le coordinateur des enseignements de mathÃ©matiques 
+La rÃ©partition moyenne de mes enseignements 
+sur les quatre derniÃ¨res annÃ©es  est la suivante:
+\begin{itemize}
+\item 6\% en le Master Informatique Mobile et RÃ©partie (UFR STGI), 
+  dans l'UE de
+  \og ModÃ©lisation et d'Evaluation des SystÃ¨mes Informatiques \fg{}. Ce sont des
+  promotions d'une vingtaine d'Ã©tudiants Ã  chaque fois;
+\item 7\% en Licence Pro Conception des Application Multi-tiers (LP CAM) Ã  l'IUT BM dans l'UE de \og DÃ©veloppement d'applications mobiles\fg{}. Ce sont des
+  promotions d'une vingtaine d'Ã©tudiants Ã  chaque fois;
+\item 15\% en encadrement de projets tutorÃ©s ou de stage;
+\item 28\% en DUT d'informatique  dans l'UE de 
+\og conception et dÃ©veloppement d'applications mobiles\fg{}; 
+\item 44\% en DUT d'informatique  dans les UEs de 
+\og mathÃ©matiques discrÃ¨tes \fg{} et 
+de
+\og  modÃ©lisations mathÃ©matiques \fg{}.
+\end{itemize}
+
+\subsection{ResponsabilitÃ©s} 
+
+J'ai aussi la responsabilitÃ© de toutes les UE donnÃ©es ci-dessus et 
+suis de plus le coordinateur des enseignements de mathÃ©matiques 
 au dÃ©partement d'informatique de l'IUT BM. 
+J'ai participÃ© Ã  ce titre Ã  l'Ã©laboration des parties de mathÃ©matiques du 
+PPN du DUT d'informatique, Ã  Dijon en 2011 et OrlÃ©ans en 2012.  
+Depuis septembre 2014, je suis le responsable du parcours TeProw
+de la LP CAM  localisÃ©e 
+Ã  l'IUT BM. Cette licence 
+a aussi un parcours Ã  l'UFR ST. Je coordonne toute l'organisation 
+de cette licence avec mon collÃ¨gue de BesanÃ§on. 
+
 
 J'ai Ã©tÃ© membre Ã©lu du conseil d'institut de l'IUT BM 
-de 2011 Ã  2014. A ce titre j'ai participÃ© Ã  la vie administrative de l'IUT, 
-aux commissions de recrutement d'enseignants et  d'enseignant-chercheurs\ldots
+de novembre 2010 Ã  novembre 2014. A ce titre j'ai participÃ© Ã  la vie administrative de l'IUT, 
+aux commissions de recrutement d'enseignants et  d'enseignants-chercheurs\ldots
 Depuis septembre 2014,  je suis Ã©lu au conseil du dÃ©partement d'informatique 
 de l'IUT BM. 
 
-Depuis spetembre 2014, je suis le responsable du parcours TeProw
-de la Licence Pro Conception des Application Multi-tiers localisÃ© 
-Ã  l'IUT BM. Cette licence 
-a aussi un parcours Ã  l'UFR ST. Je coordonne toute l'organisation 
-de cette licence avec mon collÃ¨gue de BesanÃ§on. 
+\subsection{Montage de projets BQF}
+J'ai montÃ© avec succÃ¨s deux projets BQF au sein de l'UFC autour
+de la programmation mobile en 2009 et 2014. 
+Ces projets BQF ont permis l'achat de smartphones et ordinateurs 
+portables pour les projets d'Ã©tudiants du dÃ©partement d'informatique de l'IUTBM. 
+
+
+\subsection{\`A l'extÃ©rieur de l'universitÃ©}
+
+Je suis rÃ©guliÃ¨rement membre de jury des Ã©preuves TIPE, Ã©preuves communes
+Ã  90 concours d'ingÃ©nieurs (sessions 2012, 2015 et 2016) et fournis  
+Ã  chaque session des sujets scientifiques pour l'Ã©preuve.
+
+
+
+
+%\newpage
+\section{Publications aprÃ¨s la thÃ¨se}\label{sec:publi}
+Le tableau de la figure~\ref{fig:bilan} donnÃ© 
+ci dessous synthÃ©tise les rÃ©fÃ©rences dÃ©taillÃ©es ci-aprÃ¨s.
+
+
+\begin{figure}[h]
+\begin{center}
+\begin{tabular}{|c|c|c|c|c|}
+\hline
+%& \multicolumn{2}{|c|}{Internationaux} &  {Nationaux} &  \\
+%\hline
+& Journaux & ConfÃ©rences  & 
+ConfÃ©rences  &  Divers\\
+& internationaux & internationales  & 
+nationales  &  \\
+
+\hline
+Pendant le doctorat &
+%journaux
+\cite{cdgr03:ij}
+&
+% conf inter
+\cite{cddg+04:ip,CGK05}
+
+&
+% conf nat
+\cite{cdgr04:onp,cg04:np}
+
+&
+% divers
+\cite{couchot04:onp}
+
+\\ \hline  
+En post-doctorat & 
+%journaux
+
+&
+% conf inter
+\cite{BCDG07,CouchotD07IFM,cgs09:ip,couchot07FTP,couchot07cade}
+
+&
+% conf nat
+
+
+&
+% divers
+
+
+\\ \hline  
+
+&
+%journaux
+&
+% conf inter
+\cite{BCG16:ip,aangc+15:ip,acgm+14:ij,
+  akgcs+14:oip,agcs+15:ip,aagp+15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+%%%%%%%%%%%%%%
+
+\\ %\cline{3-3}  
+
+Au DISC Ã  FEMTO-ST&
+%journaux
+\cite{bcg12:ij,bcg11:ij,bcgs12:ij,cds13:ij,ccg15:ij,bdcc15:onp}
+
 
 
 
 
-\newpage
-\section{Publications aprÃ¨s la thÃ¨se}
+
+
+&
+% conf inter
+\cite{aagc+15:ip,bcfg12a:ip,bcfg12b:ip,bcfg+13:ip,bcg11:ip,bcg11b:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+\cite{acgs13:onp,BCVC10:ir,chgw+14:onp,Cou10:ir}
+
+
+
+\\ %\hline  
+
+&
+%journaux
+
+&
+% conf inter
+\cite{bcgr11:ip,bcgw11:ip,cds12:ip,chgw+14:oip,fccg15:ip,accfg15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+\\ %\hline  
+
+&
+%journaux
+
+&
+% conf inter
+\cite{ccfg16:ip,kcm16:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+
+%%%%%%%%%%%%%
+
+
+\\ \hline  
+\end{tabular}
+\end{center}
+\caption{Bilan synthÃ©tique des publications}\label{fig:bilan}
+\end{figure}
+
+
 
 \subsection{Journaux internationaux avec comitÃ© de sÃ©lection}
 
+\vspace{-2em}
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
-\bibitem[CCG15]{ccg15:ij}
+\makeatletter
+\addtocounter{\@listctr}{6}
+\makeatother
+
+
+
+
+\bibitem{bdcc15:onp}
+Ahmad Bitar, Rony Darazi, Jean-FranÃ§ois Couchot, and RaphaÃ«l Couturier.
+\newblock Blind digital watermarking in pdf documents using spread transform
+  dither modulation.
+\newblock{\em Multimedia Tools and Applications}, 
+1573-7721:1--19, November 2015.
+
+\bibitem{ccg15:ij}
 Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and Christophe Guyeux.
 \newblock {STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at
   LOw cost}.
 \newblock {\em Annals of Telecommunications}, 2015.
 \newblock Available online. Paper version to appear.
 
-
-\bibitem[CDS13]{cds13:ij}
+\bibitem{cds13:ij}
 Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
 \newblock Active {MEMS}-based flow control using artificial neural network.
 \newblock {\em Mechatronics}, 23(7):898--905, October 2013.
 \newblock Available online. Paper version to appear.
 
-\bibitem[BCG12a]{bcg12:ij}
-Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
-\newblock Quality analysis of a chaotic proven keyed hash function.
-\newblock {\em International Journal On Advances in Internet Technology},
-  5(1):26--33, 2012.
-
-\bibitem[BCG12b]{bcg11:ij}
-Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
-\newblock Steganography: a class of secure and robust algorithms.
-\newblock {\em The Computer Journal}, 55(6):653--666, 2012.
 
-\bibitem[BCGS12]{bcgs12:ij}
+\bibitem{bcgs12:ij}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel Salomon.
 \newblock Neural networks and chaos: Construction, evaluation of chaotic
   networks, and prediction of chaos with multilayer feedforward network.
@@ -912,23 +1338,87 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel Salomon.
   22(1):013122--1 -- 013122--9, March 2012.
 \newblock 9 pages.
 
+\bibitem{bcg11:ij}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
+\newblock Steganography: a class of secure and robust algorithms.
+\newblock {\em The Computer Journal}, 55(6):653--666, 2012.
+
+\bibitem{bcg12:ij}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
+\newblock Quality analysis of a chaotic proven keyed hash function.
+\newblock {\em International Journal On Advances in Internet Technology},
+  5(1):26--33, 2012.
+
+
+
+
+
+
+
+
+
 \end{thebibliography}
 
-\subsection{ConfÃ©rences internationales avec comitÃ© de sÃ©lection}
 
+
+
+\subsection{Journaux internationaux avec comitÃ© de sÃ©lection (en cours de soumission)}
+
+\vspace{-2em}
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
-\bibitem[AAG{\etalchar{+}}15]{aagp+15:ip}
-Reem Alsrraj, Bassam Alkindy, Christophe Guyeux, Laurent Philippe, and
-  Jean-Fran\c{c}ois Couchot.
-\newblock Well-supported phylogenies using largest subsets of core-genes by
-  discrete particle swarm optimization.
-\newblock In {\em CIBB 2015, 12th Int. Meeting on Computational Intelligence
-  Methods for Bioinformatics and Biostatistics}, pages ***--***, Naples, Italy,
-  September 2015.
-\newblock To appear.
+\makeatletter
+\addtocounter{\@listctr}{12}
+\makeatother
+
+
+
+\bibitem{cgh16:onp}
+Jean-FranÃ§ois Couchot, Sylvain Contassot-Vivier, Christophe Guyeux, and Pierre-Cyrille H\'eam.
+\newblock Random walk in a n-cube without hamiltonian cycle to chaotic
+  pseudorandom number generation: Theoretical and practical considerations.
+\newblock  in submission to Elsevier Chaos, Solitons \& Fractal, August 2016.
+
+\bibitem{bgco16:onp}
+Mohammed Bakiri, Christophe Guyeux, Jean-Fran\c{c}cois Couchot, and
+  Abdelkrim~Kamel Oudjida.
+\newblock Survey on hardware implementation of random number generators on
+  fpga: Theory and experimental analyses.
+\newblock in submission to the ACM Computing Surveys journal, August 2015.
+
+
+
+
+
+
+
+
+\end{thebibliography}
+
+\subsection{ConfÃ©rences internationales avec comitÃ© de sÃ©lection}
+\vspace{-2em}
+\begin{thebibliography}{CHG{\etalchar{+}}14b}
+\makeatletter
+\addtocounter{\@listctr}{14}
+\makeatother
 
-\bibitem[ACG{\etalchar{+}}14]{acgm+14:ij}
+
+\bibitem{BCG16:ip}
+Bakiri Mohammed, Jean-FranÃ§ois Couchot, and Christophe Guyeux.
+\newblock  FPGA Implementation of F2-Linear Pseudorandom Number Generators based on Zynq MPSoC: A Chaotic Iterations Post Processing Case Study
+\newblock In {\em Secrypt 2016, 13th Int. Conf. on Security and Cryptography},  pages ***--***,
+  Lisboa, Portugal, July 2016.
+
+\bibitem{aangc+15:ip}
+Bassam Alkindy, Huda Al'Nayyef, Christophe Guyeux, Jean-Fran\c{c}ois Couchot,
+  Michel Salomon, and Jacques Bahi.
+\newblock Improved core genes prediction for constructing well-supported
+  phylogenetic trees in large sets of plant species.
+\newblock In {\em IWBBIO 2015, 3rd Int. Work-Conf. on Bioinformatics and
+  Biomedical Engineering, Part I}, volume 9043 of {\em LNCS}, pages 379--390,
+  Granada, Spain, April 2015.
+
+\bibitem{acgm+14:ij}
 Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, Arnaud Mouly,
   Michel Salomon, and Jacques Bahi.
 \newblock Finding the core-genes of chloroplasts.
@@ -936,13 +1426,7 @@ Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, Arnaud Mouly,
   Science}, number 4(5) in IJBBB, Journal of Bioscience, Biochemistery, and
   Bioinformatics, pages 357--364, Copenhagen, Denmark, June 2014.
 
-\bibitem[ACGS13]{acgs13:onp}
-Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel
-  Salomon.
-\newblock Finding the core-genes of chloroplast species.
-\newblock Journ\'ees SeqBio 2013, Montpellier, November 2013.
-
-\bibitem[AGC{\etalchar{+}}14]{akgcs+14:oip}
+\bibitem{akgcs+14:oip}
 Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
   and Jacques Bahi.
 \newblock Gene similarity-based approaches for determining core-genes of
@@ -951,39 +1435,59 @@ Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
   Belfast, United Kingdom, November 2014.
 \newblock Short paper.
 
-\bibitem[BCDG07]{BCDG07}
-Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain
-  Giorgetti.
-\newblock Instantiation of parameterized data structures for model-based
-  testing.
-\newblock In Jacques Julliand and Olga Kouchnarenko, editors, {\em B'2007, the
-  7th Int. B Conference}, volume 4355 of {\em LNCS}, pages 96--110, Besancon,
-  France, January 2007. Springer.
+\bibitem{agcs+15:ip}
+Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
+  Christian Parisod, and Jacques Bahi.
+\newblock Hybrid genetic algorithm and lasso test approach for inferring well
+  supported phylogenetic trees based on subsets of chloroplastic core genes.
+\newblock In {\em AlCoB 2015, 2nd Int. Conf. on Algorithms for Computational
+  Biology}, volume~9199 of {\em LNCS}, pages 83--96, Mexico City, Mexico,
+  August 2015. Springer.
+
+
+\bibitem{aagp+15:ip}
+Reem Alsrraj, Bassam Alkindy, Christophe Guyeux, Laurent Philippe, and
+  Jean-Fran\c{c}ois Couchot.
+\newblock Well-supported phylogenies using largest subsets of core-genes by
+  discrete particle swarm optimization.
+\newblock In {\em CIBB 2015, 12th Int. Meeting on Computational Intelligence
+  Methods for Bioinformatics and Biostatistics}, pages ***--***, Naples, Italy,
+  September 2015.
+\newblock To appear.
+
+\bibitem{aagc+15:ip}
+B. AlKindy, B. Al{-}Nuaimi, C. Guyeux, J.-F. Couchot, M. Salomon, R. Alsrraj, and Laurent Philippe,
+\newblock Binary Particle Swarm Optimization Versus Hybrid Genetic Algorithm
+               for Inferring Well Supported Phylogenetic Trees.
+\newblock{\em Computational Intelligence Methods for Bioinformatics and Biostatistics
+               - 12th International Meeting, {CIBB} 2015,
+             Revised Selected Papers}, pages 165--179, September 2015.
 
 
-\bibitem[BCF{\etalchar{+}}13]{bcfg+13:ip}
-Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, Christophe Guyeux, and
-  Kamel Mazouzi.
-\newblock Quality studies of an invisible chaos-based watermarking scheme with
-  message extraction.
-\newblock In {\em IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding
-  and Multimedia Signal Processing}, pages 547--550, Beijing, China, October
-  2013.
 
-\bibitem[BCFG12a]{bcfg12a:ip}
+\bibitem{bcfg12a:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, and Christophe Guyeux.
 \newblock Application of steganography for anonymity through the internet.
 \newblock In {\em IHTIAP'2012, 1-st Workshop on Information Hiding Techniques
   for Internet Anonymity and Privacy}, pages 96--101, Venice, Italy, June 2012.
 
-\bibitem[BCFG12b]{bcfg12b:ip}
+\bibitem{bcfg12b:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, and Christophe Guyeux.
 \newblock A robust data hiding process contributing to the development of a
   semantic web.
 \newblock In {\em INTERNET'2012, 4-th Int. Conf. on Evolving Internet}, pages
   71--76, Venice, Italy, June 2012.
 
-\bibitem[BCG11a]{bcg11:ip}
+\bibitem{bcfg+13:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, Christophe Guyeux, and
+  Kamel Mazouzi.
+\newblock Quality studies of an invisible chaos-based watermarking scheme with
+  message extraction.
+\newblock In {\em IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding
+  and Multimedia Signal Processing}, pages 547--550, Beijing, China, October
+  2013.
+
+\bibitem{bcg11:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 \newblock Performance analysis of a keyed hash function based on discrete and
   chaotic proven iterations.
@@ -991,14 +1495,15 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
   pages 52--57, Luxembourg, Luxembourg, June 2011.
 \newblock Best paper award.
 
-\bibitem[BCG11b]{bcg11b:ip}
+\bibitem{bcg11b:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 \newblock Steganography: a class of algorithms having secure properties.
 \newblock In {\em IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information
   Hiding and Multimedia Signal Processing}, pages 109--112, Dalian, China,
   October 2011.
 
-\bibitem[BCGR11]{bcgr11:ip}
+
+\bibitem{bcgr11:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
 \newblock On the link between strongly connected iteration graphs and chaotic
   boolean discrete-time dynamical systems.
@@ -1006,27 +1511,14 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
   Theory}, volume 6914 of {\em LNCS}, pages 126--137, Oslo, Norway, August
   2011.
 
-\bibitem[BCGW11]{bcgw11:ip}
+\bibitem{bcgw11:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Qianxue Wang.
 \newblock Class of trustworthy pseudo random number generators.
 \newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
   pages 72--77, Luxembourg, Luxembourg, June 2011.
 
-\bibitem[BCVC10]{BCVC10:ir}
-J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
-\newblock Convergence results of combining synchronism and asynchronism for
-  discrete-state discrete-time dynamic network.
-\newblock Research Report RR2010-02, LIFC - Laboratoire dâ{I}nformatique de
-  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
-
-\bibitem[CD07]{CouchotD07IFM}
-Jean-Fran\c{c}ois Couchot and Fr\'ed\'eric Dadeau.
-\newblock Guiding the correction of parameterized specifications.
-\newblock In {\em IFM'07, 6th Int. Conf. on Integrated Formal Methods}, volume
-  4591 of {\em LNCS}, pages 176--194, Oxford, UK, July 2007. Springer.
 
-
-\bibitem[CDS12]{cds12:ip}
+\bibitem{cds12:ip}
 Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
 \newblock Suitability of artificial neural network for {MEMS}-based flow
   control.
@@ -1034,48 +1526,76 @@ Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
   2012, Workshop on design, control and software implementation for distributed
   MEMS}, pages 1--6, Besan\c{c}on, France, April 2012. IEEE CPS.
 
-\bibitem[CGS09]{cgs09:ip}
+
+
+\bibitem{chgw+14:oip}
+Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
+  Wang, and Jacques Bahi.
+\newblock Pseudorandom number generators with balanced gray codes.
+\newblock In {\em Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
+  pages 469--475, Vienna, Austria, August 2014.
+
+
+\bibitem{fccg15:ip}
+Yousra~Ahmed Fadil, Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and
+  Christophe Guyeux.
+\newblock Steganalyzer performances in operational contexts.
+\newblock In {\em IIH-MSP 2015, 11th Int. Conf. on Intelligent Information
+  Hiding and Multimedia Signal Processing}, pages 429--432, Adelaide,
+  Australia, September 2015.
+
+\bibitem{accfg15:ip}
+B. Al Bouna and J. F. Couchot and R. Couturier and Y. A. Fadil and C. Guyeux.
+\newblock Performance Study of Steganalysis Techniques.
+\newblock In {\em Applied Research in Computer Science and Engineering (ICAR), 2015 International Conference on}, pages 1--7, Lebanon, October 2015.
+
+
+\bibitem{ccfg16:ip}
+Jean-FranÃ§ois Couchot, RaphaÃ«l Couturier, Yousra Ahmed Fadil and Christophe Guyeux.
+\newblock A Second Order Derivatives based Approach for Steganography.
+\newblock In {\em Secrypt 2016, 13th Int. Conf. on Security and Cryptography},  pages ***--***,
+  Lisboa, Portugal, July 2016.
+
+\bibitem{kcm16:ip}
+Nesrine Khernane, J.-F. Couchot, A. Mostefaoui.
+\newblock Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints.
+\newblock In {\em The 19th ACM International Conference on Modeling, Analysis
+and Simulation of Wireless and Mobile Systems, MSWiM'16} Malta,  to appear, November, 2016.
+
+\bibitem{BCDG07}
+Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain
+  Giorgetti.
+\newblock Instantiation of parameterized data structures for model-based
+  testing.
+\newblock In Jacques Julliand and Olga Kouchnarenko, editors, {\em B'2007, the
+  7th Int. B Conference}, volume 4355 of {\em LNCS}, pages 96--110, Besancon,
+  France, January 2007. Springer.
+
+\bibitem{CouchotD07IFM}
+Jean-Fran\c{c}ois Couchot and Fr\'ed\'eric Dadeau.
+\newblock Guiding the correction of parameterized specifications.
+\newblock In {\em IFM'07, 6th Int. Conf. on Integrated Formal Methods}, volume
+  4591 of {\em LNCS}, pages 176--194, Oxford, UK, July 2007. Springer.
+
+\bibitem{cgs09:ip}
 Jean-Fran\c{c}ois Couchot, Alain Giorgetti, and Nicolas Stouls.
 \newblock {G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions.
 \newblock In Hassen Sa\"{i}di and N.~Shankar, editors, {\em AFM'09, {A}utomated
   {F}ormal {M}ethods (colocated with {CAV}'09)}, pages 40--47, Grenoble,
   France, 2009. ACM Press.
 
-
-\bibitem[CH07]{couchot07FTP}
+\bibitem{couchot07FTP}
 Jean-Fran\c{c}ois Couchot and T.~Hubert.
 \newblock A graph-based strategy for the selection of hypotheses.
 \newblock In {\em FTP'07, Int. Workshop on First-Order Theorem Proving},
   Liverpool, UK, September 2007.
 
-\bibitem[CHG{\etalchar{+}}14a]{chgw+14:oip}
-Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
-  Wang, and Jacques Bahi.
-\newblock Pseudorandom number generators with balanced gray codes.
-\newblock In {\em Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
-  pages 469--475, Vienna, Austria, August 2014.
-
-\bibitem[CL07]{couchot07cade}
+\bibitem{couchot07cade}
 Jean-Fran\c{c}ois Couchot and S.~Lescuyer.
 \newblock Handling polymorphism in automated deduction.
 \newblock In {\em CADE'07, 21st Int. Conf. on Automated Deduction}, volume 4603
   of {\em LNCS}, pages 263--278, Bremen, Germany, July 2007. Springer.
 
-\bibitem[Cou10]{Cou10:ir}
-J.-F. Couchot.
-\newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
-\newblock Research Report RR2010-03, LIFC - Laboratoire dâ{I}nformatique de
-  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
-
-\bibitem[FCCG15]{fccg15:ip}
-Yousra~Ahmed Fadil, Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and
-  Christophe Guyeux.
-\newblock Steganalyzer performances in operational contexts.
-\newblock In {\em IIH-MSP 2015, 11th Int. Conf. on Intelligent Information
-  Hiding and Multimedia Signal Processing}, pages ***--***, Adelaide,
-  Australia, September 2015.
-\newblock To appear.
-
 \end{thebibliography}
 
 \subsection{Communications orales invitÃ©es}
@@ -1084,7 +1604,7 @@ J'ai Ã©tÃ© invitÃ©:
 \begin{itemize}
 
 \item au Workshop \og ThÃ©orie des rÃ©seaux boolÃ©ens et ses applications en biologie\fg{}  
-Ã  Nice en novembre 2014.
+Ã  Nice en novembre 2014;
 
 \item Ã  la journÃ©e \og Advances in Mobile Technologies Day\fg{}  par l'UniversitÃ© Antonine  (Liban) en mai 2013;
 
@@ -1093,23 +1613,60 @@ J'ai Ã©tÃ© invitÃ©:
 \end{itemize}
 
 \subsection{Communications diverses}
+\vspace{-2em}
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
-\bibitem[CHG{\etalchar{+}}14b]{chgw+14:onp}
+\makeatletter
+\addtocounter{\@listctr}{39}
+\makeatother
+
+\bibitem{CCGS16:ir}
+J.-F. Couchot,  R. Couturier, C. Guyeux, and M. Salomon
+\newblock Steganalysis via a Convolutional Neural Network using Large Convolution Filters for Embedding Process with Same Stego Key.
+\newblock July, 2016.
+
+\bibitem{acgs13:onp}
+ Bassam Alkindy, Jean-FranÃ§ois Couchot, Christophe Guyeux, and Michel Salomon. 
+\newblock Finding the core-genes of Chloroplast Species. 
+\newblock  JournÃ©es SeqBio 2013, Montpellier, November 2013. 
+
+
+\newblock Finding the core-genes of chloroplast species.
+
+\bibitem{BCVC10:ir}
+J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
+\newblock Convergence results of combining synchronism and asynchronism for
+  discrete-state discrete-time dynamic network.
+\newblock Research Report RR2010-02, LIFC - Laboratoire dâ{I}nformatique de
+  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+
+
+\bibitem{Cou10:ir}
+J.-F. Couchot.
+\newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
+\newblock Research Report RR2010-03, LIFC - Laboratoire dâ{I}nformatique de
+  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+
+\bibitem{chgw+14:onp}
 Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
   Wang, and Jacques Bahi.
 \newblock Traversing a n-cube without balanced hamiltonian cycle to generate
   pseudorandom numbers.
 \newblock 15-th Mons Theoretical Computer Science Days (15e Journ\'ees
   Montoises d'Informatique Th\'eorique), Nancy, France, September 2014.
+
+
 \end{thebibliography}
 
 
 
+
+
+
 % \newpage
 % \section{Avis du directeur de l'Equipe}\label{sec:avis:directeur}
 
-%\bibliographystyle{alpha}
+%\bibliographystyle{plain}
 %\bibliography{abbrev,biblioand}
 
 
