X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d31be79de69d9af9371a3b1fcb3df81246c5928a..c1f6ce3a24b92bfb8dd4da3d9092666c73adbcc9:/talk/main.tex diff --git a/talk/main.tex b/talk/main.tex index 66ed27c..06a18d2 100644 --- a/talk/main.tex +++ b/talk/main.tex @@ -12,7 +12,8 @@ \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} @@ -20,7 +21,7 @@ % \theoremsymbol{\ensuremath{\clubsuit}} % \theoremseparator{.} % \theoremprework{\hrulefill} -% \theorempostwork{\hrulefill\newline} + % \theorempostwork{\hrulefill\newline} % \renewtheorem{theorem}[theorem]{} @@ -116,70 +117,56 @@ \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}