X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/17bd6f6df9a94a46128919486c226ae8b1124740..039eee12186be85d7a74a188489abd12bfe554fd:/main.tex

diff --git a/main.tex b/main.tex
index efbc870..a934599 100644
--- a/main.tex
+++ b/main.tex
@@ -70,6 +70,7 @@
 % \theoremseparator{}
 % \theoremsymbol{\rule{1ex}{1ex}}
 \newtheorem{Proof}{Proof}
+\newtheorem{proposition}{Proposition}
 \newtheorem{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
@@ -123,10 +124,10 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 
 
 \section{Proof Of Chaos}
+\input{chaos}
 
 
-
-\section{Stopping Time}
+\section{Random walk on the modified Hypercube}
 \input{stopping}
 
 % Donner la borne du stopping time quand on marche dedans (nouveau). 
@@ -139,15 +140,15 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 %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}