X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/44a56c5eb4a1dfdf7dc67735c5c00f478cef2ede..HEAD:/talk/main.tex diff --git a/talk/main.tex b/talk/main.tex index b6a1a15..6e5f342 100644 --- a/talk/main.tex +++ b/talk/main.tex @@ -1,6 +1,8 @@ %\requirepackage[ntheorem} +%\documentclass[handout]{beamer} \documentclass{beamer} \usepackage{beamerthemefemto} +\usepackage{handoutWithNotes} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{amsfonts,amsmath,amssymb,stmaryrd,dsfont} @@ -8,19 +10,23 @@ \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]{} @@ -109,94 +115,65 @@ %\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{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{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}\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} +\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{Applications à la génération de nombres pseudo-aléatoires}\label{sec:prng} -\frame{\frametitle{Plan}\tableofcontents[currentsection]} +\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{Espace pour itérations chaotiques ($b$)}{prngunauretheorieok} +\inputFrameb{Formalisation de $b$ itérations unaires}{prngunauretheorieok} \inputFrameb{$\textsc{giu}$ fortement connexe par construction}{hamiltonien1} -\inputFrameb{Codes de Gray équilibrés}{gray} -\inputFrameb{Evaluation de l'écart / ditribution uniforme}{heam} +\inputFrameb{Cycle hamiltonien équilibré}{gray} +\inputFrameb{Évaluation de l'écart / distribution uniforme}{heam} \inputFrameb{Et les itérations généralisées?}{prnggeneralise} -\inputFrameb{Analyse pratique des deux classes de PRNGS}{prnggeneralise2} +\inputFrameb{Plateforme d'implantation FPGA~\cite{DBLP:conf/secrypt/MohammedCG16}}{prnggeneralise2} -\section{Application au masquage d'information}\label{sec:ih} -\frame{\frametitle{Plan}\tableofcontents[currentsection]} -%\inputFrameb{Marquer un média: un processsus chaotique}{marquage} +\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{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}