la veille

[hdrcouchot.git] / talk / main.tex

diff --git a/talk/main.tex b/talk/main.tex
index 66ed27c4fc8a4ac6b289a752432bb8add4942646..6e5f342654bf16a24bf4b08fdcb8f4c46521bf67 100644 (file)
--- a/talk/main.tex
+++ b/talk/main.tex
@@ -1,6 +1,8 @@
 %\requirepackage[ntheorem}
 %\requirepackage[ntheorem}

+%\documentclass[handout]{beamer}

 \documentclass{beamer}
 \usepackage{beamerthemefemto}
 \documentclass{beamer}
 \usepackage{beamerthemefemto}

+\usepackage{handoutWithNotes}

 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
 \usepackage{amsfonts,amsmath,amssymb,stmaryrd,dsfont}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
 \usepackage{amsfonts,amsmath,amssymb,stmaryrd,dsfont}


@@ -8,19 +10,23 @@
 \usepackage{algorithm2e}
 \usepackage{alltt}
 \usepackage{mathtools}
 \usepackage{algorithm2e}
 \usepackage{alltt}
 \usepackage{mathtools}

+\usepackage{slashbox}

 \usepackage{psfrag}
 \usepackage{psfrag}

+\usepackage{multirow}
+ \usepackage{rotating}

 \usepackage[font=footnotesize]{subfig}
 \usepackage{listings}
 %\usepackage{ntheorem}
 \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}
 
 % \theoremstyle{plain}
 % \theoremsymbol{\ensuremath{\clubsuit}}
 % \theoremseparator{.}
 % \theoremprework{\hrulefill}

-% \theorempostwork{\hrulefill\newline}
+ % \theorempostwork{\hrulefill\newline}

 % \renewtheorem{theorem}[theorem]{}
 
 
 % \renewtheorem{theorem}[theorem]{}
 
 


@@ -109,77 +115,65 @@
 
 %\frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}
 
 
 %\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{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{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}
 
 \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}
   
 
 \bibliographystyle{alpha}