%\requirepackage[ntheorem}
+%\documentclass[handout]{beamer}
\documentclass{beamer}
\usepackage{beamerthemefemto}
+\usepackage{handoutWithNotes}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsfonts,amsmath,amssymb,stmaryrd,dsfont}
\usepackage{algorithm2e}
\usepackage{alltt}
\usepackage{mathtools}
+\usepackage{slashbox}
\usepackage{psfrag}
+\usepackage{multirow}
+ \usepackage{rotating}
\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}
+%\pgfpagesuselayout{2 on 1 with notes}[a4paper,border shrink=5mm]
% \theoremstyle{plain}
% \theoremsymbol{\ensuremath{\clubsuit}}
% \theoremseparator{.}
% \theoremprework{\hrulefill}
-% \theorempostwork{\hrulefill\newline}
+ % \theorempostwork{\hrulefill\newline}
% \renewtheorem{theorem}[theorem]{}
%\frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}
-\section{Introduction: iterations de réseaux booléens}
+\section{Introduction: itérations de réseaux booléens (07--09)}
\inputFrameb{Réseau booléen (définition)}{rb}
-\inputFrameb{3 schémas $\leadsto$ 3 graphes d'itérations}{graphes}
-\inputFrameb{Attracteurs}{attracteurs}
+\inputFrameb{Graphes d'itérations et convergence}{graphes}
+%\inputFrameb{Comportement / attracteurs}{attracteurs}
\inputFrameb{Dépendance entre éléments}{jacobienne}
-\inputFrameb{Mode asynchrone}{asynchrone}
-\inputFrameb{Un exemple motivant}{xplsddasync}
-\inputFrameb{Problématique}{sddproblematique}
-
-\section{Réseaux booléens: des preuves de convergences}\label{sec:sdd}
-\frame{\frametitle{Plan}\tableofcontents[currentsection]}
-\inputFrameb{Un peu 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]}
-
-
-\section{Applications à la génération de nombres pseudo-aléatoires}\label{sec:prng}
-\frame{\frametitle{Plan}\tableofcontents[currentsection]}
-
-
+%\inputFrameb{Mode asynchrone}{asynchrone}
+%\inputFrameb{Un exemple motivant}{xplsddasync}
+%\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{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 (09--12)}\label{sec:sddchaos}
+\subsection{Bahi, Guyeux, Richard}
+\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
+\inputFrameb{Contexte: chaos selon Devaney}{chaosDevaney}
+\inputFrameb{``Chaoticité'' des itérations unaires/généralisées}{chaosDevaneyUnaire}
+%\inputFrameb{``Chaoticité'' des itérations généralisées}{chaosDevaneyGeneralisees}
+\inputFrameb{Générer un graphe ${\textsc{giu}}$ fortement connexe}{tipe12}
+
+
+\section{Application à la génération de nombres pseudo-aléatoires (11--\ldots)}\label{sec:prng}
+\subsection{Bahi, Bakiri, Contassot-Vivier, Guyeux, Heam, Richard, Wang}
+\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
+\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{Formalisation de $b$ itérations unaires}{prngunauretheorieok}
+\inputFrameb{$\textsc{giu}$ fortement connexe par construction}{hamiltonien1}
+\inputFrameb{Cycle hamiltonien équilibré}{gray}
+\inputFrameb{Évaluation de l'écart / distribution uniforme}{heam}
+\inputFrameb{Et les itérations généralisées?}{prnggeneralise}
+\inputFrameb{Plateforme d'implantation FPGA~\cite{DBLP:conf/secrypt/MohammedCG16}}{prnggeneralise2}
+
+
+\section{Application au masquage d'information (11--\ldots)}\label{sec:ih}
+\subsection{Bahi, Bittar, Couturier, Darazi, Fadil, Friot, Guyeux}
+\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
+\inputFrameb{Marquage de média: un processus itératif}{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{Application au masquage d'information}\label{sec:ih}
-\frame{\frametitle{Plan}\tableofcontents[currentsection]}
\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}
-
-
+\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
+\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}
