X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/c1f6ce3a24b92bfb8dd4da3d9092666c73adbcc9..refs/heads/master:/talk/main.tex diff --git a/talk/main.tex b/talk/main.tex index 06a18d2..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,14 +10,17 @@ \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}{Théorème} \deftranslation[to=french]{Definition}{Définition} - +%\pgfpagesuselayout{2 on 1 with notes}[a4paper,border shrink=5mm] % \theoremstyle{plain} % \theoremsymbol{\ensuremath{\clubsuit}} @@ -110,51 +115,53 @@ %\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{Cycle hamiltonien équilibré}{gray} -\inputFrameb{Evaluation de l'écart / ditribution uniforme}{heam} +\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{Marquage de média: un processsus iteratif}{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} @@ -162,7 +169,7 @@ \section{Conclusion} -\frame{\frametitle{Plan}\tableofcontents[currentsection]} +\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]} \inputFrameb{Synthèse scientifique}{synthesescientifique} \inputFrameb{Perspectives}{perspectives} \inputFrameb{Bilan académique}{bilanacademique}