X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/586298b57c6e1cec5566bbe692ac21c4c701fd51..e878014111cef8e935255d892d3d132429d03469:/main.tex?ds=inline diff --git a/main.tex b/main.tex index 340e8d3..bc8bb20 100644 --- a/main.tex +++ b/main.tex @@ -6,6 +6,7 @@ \usepackage{ifthen} \usepackage{color} \usepackage{algorithm2e} +\usepackage{epstopdf} \usepackage[latin1]{inputenc} @@ -60,16 +61,16 @@ % \theoremsymbol{\ensuremath{\diamondsuit}} % \theoremprework{\bigskip} % \theoremseparator{.} -\newtheorem{Def}{\underline{Définition}} -\newtheorem{Lemma}{\underline{Lemme}} -\newtheorem{Theo}{\underline{Théorème}} +\newtheorem{Def}{\underline{Definition}} +\newtheorem{Lemma}{\underline{Lemma}} +\newtheorem{Theo}{\underline{Theorem}} % \theoremheaderfont{\sc} % \theorembodyfont{\upshape} % \theoremstyle{nonumberplain} % \theoremseparator{} % \theoremsymbol{\rule{1ex}{1ex}} -\newtheorem{Proof}{Preuve :} -\newtheorem{xpl}{Exemple illustratif :} +\newtheorem{Proof}{Proof} +\newtheorem{xpl}{Running Example} \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}} %\newcommand{\ie}{\textit{i.e.}} @@ -81,7 +82,7 @@ \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}} -\newcommand{\JFC}[1]{\begin{color}{green}\textit{}\end{color}} +\newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}} \newcommand{\CG}[1]{\begin{color}{blue}\textit{}\end{color}} \newcommand{\og}[0]{``} \newcommand{\fg}[1]{''} @@ -120,31 +121,33 @@ may be updated at each iteration. At the theoretical level, we show that \section{\uppercase{Preliminaries}}\label{sec:preliminaries} \input{preliminaries} -\section{Stopping Time} -\input{stopping} -\section{Jumping in a specific $n$-cube} -% Proposer alors les sauts dans ce n-cube (nouveau) -% Il y a des preuves que j'ai faites dans TSI sur la préservation des propriétés de chaos lorsqu'on saute, qu'on peut traduire et qui n'ont pas été publiées en anglais, je crois (nouveau). +\section{Proof Of Chaos} + + + +\section{Random walk on the modified Hypercube} +\input{stopping} -\section{Stopping Time (continued)} % Donner la borne du stopping time quand on marche dedans (nouveau). % Énoncer le problème de la taille de cette borne (elle est certes finie, mais grande). +\section{Proofs of Chaos in this context} + \section{Quality study of the strategy} %6) Se pose alors la question de comment générer une stratégie de "bonne qualité". Par exemple, combien de générateurs aléatoires embarquer ? (nouveau) -\section{Expérimentations} -% +\section{Application to Pseudorandom Number Generation} +\input{prng} \section{Conclusion} %\input{conclusion} %\acknowledgements{...} - +\bibliographystyle{alpha} \bibliography{biblio} \end{document}