X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/28e2670bed58d41eddd7820a3c86f9eef9870c33..fe2fb6840b6891f539276e8215b1b8d762a90fd0:/main.tex?ds=sidebyside

diff --git a/main.tex b/main.tex
index bc8bb20..5fa40f4 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}}
@@ -99,8 +100,8 @@
 \author{Jean-François Couchot, Christophe Guyeux, Pierre-Cyrile Heam}
 \address{Institut FEMTO-ST, Université de Franche-Comté, Belfort, France}
 
-\author{Sylvain Contassot-Vivier}
-\address{Loria - UMR 7503, Université de Lorraine, Nancy, France}
+%\author{Sylvain Contassot-Vivier}
+%\address{Loria - UMR 7503, Université de Lorraine, Nancy, France}
 
 \date{...}
 
@@ -121,26 +122,33 @@ may be  updated at each iteration.   At the theoretical level,  we show that
  \section{\uppercase{Preliminaries}}\label{sec:preliminaries}
 \input{preliminaries}
 
-
 \section{Proof Of Chaos}
+\JFC{Enlever les refs aux PRNGs, harmoniser l'exemple}
+\input{chaos}
 
-
+\section{Generating....}
+\JFC{Reprendre Mons en synthétisant... conclusion: n-cube moins hamitonien.
+question efficacité d'un tel algo}
+%\input{chaos}
 
 \section{Random walk on the modified Hypercube}
 \input{stopping}
 
 % 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). 
+% É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}
+
+%\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{Application to Pseudorandom Number Generation}
 \input{prng}
+\JFC{ajouter ici les expérimentations}
+
 
 \section{Conclusion}
 %\input{conclusion}