\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 je me suis investi dans
le domaine de la bio-informatique à l'aide de compétences connexes.
-Ces travaux ont été valorisés par des publications dont les références sont données à la section~\ref{sec:publi} et synthéthisées à la figure~\ref{fig:bilan}.
+Ces travaux ont été valorisés par des publications dont les références sont données à la section~\ref{sec:publi} et synthéthisées à la figure~\ref{fig:bilan}
+en fin de document.
\subsection{Vérification de programmes par
preuve automatique}\label{sub:verif}
-
-\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$
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
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
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é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é
-\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.
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.
+présents dans une image et ilustré à la figure~\ref{fig:STABYLO}.
Ce travail est en collaboration avec 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é.
+
-\subsection{Les fonctions de hachage}\label{sub:hash}
+
+\begin{figure}[h]
+ \begin{center}
+ \subfigure[Support]{
+ \includegraphics[scale=0.20]{lena512}
+ }
+ \subfigure[Message]{
+ \begin{minipage}[b]{0.28\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.20]{edge7}
+ }
+ \subfigure[Image avec msg.]{
+ \includegraphics[scale=0.20]{lena7}
+ }
+
+ \end{center}
+ \caption{Embarquement d'un message dans une image selon STABYLO}\label{fig:STABYLO}
+\end{figure}
+
+
+
+\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 utilise ce genre
de fonctions dès qu'on veut comparer des éléments de grande taille car il
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 arbre phylogénétiques de qualité~\cite{agcs+15:ip,aangc+15:ip}.
+construire des arbres phylogénétiques de qualité~\cite{agcs+15:ip,aangc+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}.
Tous ces travaux ont été réalisés en collaboration avec M. Salomon et en co-encadrant
\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.
la logique informatique.
Suite à mon recrutement dans l'équipe AND, mes recherches se sont réorientées
autour 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écapitule quelques éléments permettant
-d'apprécier mon insertion dans l'équipe AND
+Ce défi de changement de thématique a été attaqué dès mon recrutement.
+Les publications obtenues dans ces
+domaines nouveaux pour moi ainsi que les éléments factuels suivants
+permettent d'apprécier mon insertion au sein de cette équipe de recherche.
+J'ai participé avec succès à deux appels à projets de la région de
+Franche-Comté:
+\begin{itemize}
+\item \JFC{Projet region avec christophe}
+\item appel 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 sera co-encadré par
+M. A. Mostefaoui et moi-même.
+\end{itemize}
+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 en cours de soumission résumant un travail en collaboration
+ avec un ancien étudiant et un enseignant chercheur de cette université.
+
+\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}.
+
+\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~\ref{cds13:ij,cds12:ip}.
+\end{itemize}
-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 soumission 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).
+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 (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}
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 fait partie des comités de programme des conférences \og int. conf. on Evolving Internet \fg{}, (2013, 2014)
+et IHTIAP 2012.
-J'ai reviewé des articles pour les journaux internationaux
-suivants: The computer Journal, Springer Multimedia Tool and application,
-Springer Annals in Telecommunication\ldots
+J'ai rédigé des rapports de relecture pour les journaux internationaux
+suivants:
+\begin{itemize}
+\item The computer Journal (2);
+\item Springer Multimedia Tool and application (1);
+\item Springer Annals in Telecommunication (1);
+\end{itemize}
+et pour les conférences suivantes:
+\begin{itemize}
+\item MAJECSTIC (2005 (2), 2007 (2));
+\item ZB 2007 (1), A-BZ 2008 (1);\JFC{A verifier}
+\item Evolving Internet \fg{}, (2012 (2), 2013 (2), 2014 (1));
+\item ICCVE 2014 (1).\JFC{A verifier}
+\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).
-Je suis régulièrement membre de jury des épreuves TIPE, épreuves communes
-à 90 concours d'ingénieurs (sessions 2012 et 2015) et fournis
-à chaque session des sujets scientifiques pour l'épreuve.
\subsection{Thèse d'université}
-Je co-encadre (à hauteur de 40\%) avec Michel Salomon (40\%) et
+Je co-encadre:
+\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.
Ce travail de thèse a donné lieu à 6 publications dans des conférences
internationales.
-
-
-Je co-encadre (à hauteur de 50\%) avec Christophe Guyeux (50\%)
+\item (à hauteur de 50\%) avec Christophe Guyeux (50\%)
le doctorat de Youssra Fadil
sur
l'étude du comportement des outils d'intelligence artificielle
Ce travail de thèse a donné lieu à 1 publication dans une conférence
internationale.
-
-Je co-encadre (à hauteur de 50\%) avec Christophe Guyeux (50\%)
+\item (à hauteur de 50\%) avec Christophe 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.
aout 2017.
Ce travail de thèse a donné lieu à 1 publication dans un journal international
en cours de soumission.
+\end{itemize}
+
\subsection{Master 2 recherche}
-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
sur
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 soumission (en révision mineure).
-
-
-
-
-J'ai co-encadré (à hauteur de 80\%) avec
+\item (à hauteur de 80\%) avec
Talar Atechian -- Université Antonine au Liban--(20\%)
le stage de recherche de Master 2 de Hussein Nasser
sur
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'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.
-
+\end{itemize}
\newpage
\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{};
-\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{};
+ \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{};
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
Depuis septembre 2014, je suis élu au conseil du département d'informatique
de l'IUT BM.
+Je suis régulièrement membre de jury des épreuves TIPE, épreuves communes
+à 90 concours d'ingénieurs (sessions 2012 et 2015) 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éthise 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{aangc+15:ip,aagp+15:ip,acgm+14:ij,
+ akgcs+14:oip,agcs+15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+%%%%%%%%%%%%%%
+
+\\ %\cline{3-3}
+
+Au DISC à FEMTO-ST&
+%journaux
+\cite{bcg12:ij,bcg11:ij,bcgs12:ij,ccg15:ij,cds13:ij}
+
+
+
+
+
+
+
+&
+% conf inter
+\cite{bcfg+13:ip,bcfg12a:ip,bcfg12b: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}
+
+&
+% 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}
\end{thebibliography}
-\begin{figure}[h]
-\begin{center}
-\begin{tabular}{|c|c|c|c|c|}
-\hline
-& \multicolumn{2}{|c|}{Internationaux} & {Nationaux} & \\
-\hline
-& Journaux & Conférences &
-Conférences & \\
-\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{aangc+15:ip,aagp+15:ip,acgm+14:ij,
- akgcs+14:oip,agcs+15:ip}
-
-&
-% conf nat
-
-
-&
-% divers
-
-%%%%%%%%%%%%%%
-
-\\ %\cline{3-3}
-
-Au DISC à FEMTO-ST&
-%journaux
-\cite{bcg12:ij,bcg11:ij,bcgs12:ij,ccg15:ij,cds13:ij}
-
-
-
-
-
-
-
-&
-% conf inter
-\cite{bcfg+13:ip,bcfg12a:ip,bcfg12b: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}
-
-&
-% conf nat
-
-
-&
-% divers
-
-
-
-%%%%%%%%%%%%%
-
-
-\\ \hline
-\end{tabular}
-\end{center}
-\caption{Bilan synthétique des publications}\label{fig:bilan}
-\end{figure}
% \section{Avis du directeur de l'Equipe}\label{sec:avis:directeur}
%\bibliographystyle{plain}
-%\0\bibliography{abbrev,biblioand}
+%\bibliography{abbrev,biblioand}
