\usepackage[font=footnotesize]{subfig}
\usepackage{listings}
%\usepackage{ntheorem}
-\deftranslation[to=french]{Theorem}{}
+\deftranslation[to=french]{Theorem}{Théorème}
+\deftranslation[to=french]{Definition}{Définition}
% \theoremsymbol{\ensuremath{\clubsuit}}
% \theoremseparator{.}
% \theoremprework{\hrulefill}
-% \theorempostwork{\hrulefill\newline}
+ % \theorempostwork{\hrulefill\newline}
% \renewtheorem{theorem}[theorem]{}
\inputFrameb{Dépendance entre éléments}{jacobienne}
\inputFrameb{Mode asynchrone}{asynchrone}
\inputFrameb{Un exemple motivant}{xplsddasync}
-\inputFrameb{Problématique}{sddproblematique}
+%\inputFrameb{Problématique}{sddproblematique}
+\frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}
\section{Réseaux booléens: des preuves de convergences}\label{sec:sdd}
\frame{\frametitle{Plan}\tableofcontents[currentsection]}
-\inputFrameb{Un peu de Synchronisme}{synchronisons}
+\inputFrameb{Suffisamment de synchronisme}{synchronisons}
\inputFrameb{Mode mixte avec $g$}{mixteexample}
\inputFrameb{Convergence par la pratique}{preuveconvmotiv}
\inputFrameb{Du système booléen au modèle PROMELA}{sdd2promela}
+
\section{Des systèmes dynamiques discrets au chaos}\label{sec:sddchaos}
\frame{\frametitle{Plan}\tableofcontents[currentsection]}
+\inputFrameb{Rappels sur les itérations chaotiques}{chaosDevaney}
+\inputFrameb{Espace pour itérations chaotiques (unaires)}{chaosDevaneyUnaire}
+\inputFrameb{Espace pour itérations chaotiques (généralisées)}{chaosDevaneyGeneralisees}
+\inputFrameb{Générer un graphe ${\textsc{giu}}$ fortement connexe}{tipe12}
\section{Applications à la génération de nombres pseudo-aléatoires}\label{sec:prng}
\frame{\frametitle{Plan}\tableofcontents[currentsection]}
+\inputFrameb{PRNG par itérations unaires}{prngualgo}
+\inputFrameb{Condition néc. suff. pour l'uniformité}{condunif}
+\inputFrameb{Succès pratiques et limites théoriques}{xplprngyestheorieko}
+\inputFrameb{Espace pour itérations chaotiques ($b$)}{prngunauretheorieok}
+\inputFrameb{$\textsc{giu}$ fortement connexe par construction}{hamiltonien1}
+\inputFrameb{Cycle hamiltonien équilibré}{gray}
+\inputFrameb{Evaluation de l'écart / ditribution uniforme}{heam}
+\inputFrameb{Et les itérations généralisées?}{prnggeneralise}
+\inputFrameb{Analyse pratique des deux classes de PRNGS}{prnggeneralise2}
\section{Application au masquage d'information}\label{sec:ih}
\frame{\frametitle{Plan}\tableofcontents[currentsection]}
+\inputFrameb{Marquage de média: un processsus iteratif}{marquage}
+\inputFrameb{Embarquons plus qu'un bit}{plusqu1bit}
+\inputFrameb{Tatouage (flottant) de PDF }{bittar}
+\inputFrameb{Stéganographie: introduction avec STABYLO }{stabylo}
+\inputFrameb{Stéganographie: analyse vectorielle discrète}{analysevectorielle}
+
\section{Conclusion}
\frame{\frametitle{Plan}\tableofcontents[currentsection]}
-\inputFrameb{Synthèse scientifique}{conclusion}
-
-
-
-% \section{Formalisation}
-% \frame{\frametitle{Plan}\tableofcontents[currentsection,hideallsubsections]}
-% \inputFrameb{Algèbre de Boole}{ab}
-% \inputFrameb{Réseaux booléens (définition)}{rb}
-% \inputFrameb{Trois modes $\leadsto$ trois graphes d'itérations}{graphes}
-% \inputFrameb{Attracteurs}{attracteurs}
-% \inputFrameb{Matrice Jacobienne $f'$}{jacobienne}
-
-
-% \section{Quelques résultats théoriques}
-% \frame{\frametitle{Plan}\tableofcontents[currentsection,hideallsubsections]}
-% \subsection{Conditions de convergence}
-% \inputFrameb{François Robert 1980}{robert80}
-% \inputFrameb{François Robert 1995}{robert95}
-% \subsection{Nombre d'attracteurs}
-% \inputFrameb{Absence de cycles}{attracteursth}
-
-% \section{Application à l'étude du bacille de pyo}
-% \frame{\frametitle{Plan}\tableofcontents[currentsection,hideallsubsections]}
-% \inputFrameb{Retour aux réseaux de régulation de gènes}{pyo}
-
-% \section{Des questions?}
-% \frame{\frametitle{Plan}\tableofcontents[currentsection,hideallsubsections]}
-% \inputFrameb{Un résumé}{../abstract}
-% \inputFrameb{Mettre en confiance le candidat}{confiance}
-% \inputFrameb{Similarités}{similarites}
-% \inputFrameb{Exemple d'itérations asynchrones}{asynchroneex}
-% \inputFrameb{Montrer que $d$ (Sect. 3) est une distance}{dv}
-% \inputFrameb{Application du théorème 2}{th2}
-% \inputFrameb{Théorème 4: illustrez le dans $\Bool^2$}{th4}
-
-
+\inputFrameb{Synthèse scientifique}{synthesescientifique}
+\inputFrameb{Perspectives}{perspectives}
+\inputFrameb{Bilan académique}{bilanacademique}
-% \section{Conclusion et perspectives}
-% \frame{\frametitle{Outline}\tableofcontents[currentsection,hideallsubsections]}
\bibliographystyle{alpha}