X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/586298b57c6e1cec5566bbe692ac21c4c701fd51..27e8ee1ca6c3c40de91b88b94ad017256c5398b0:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index 340e8d3..4bbcc0e 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.}}
@@ -120,18 +121,20 @@ 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}
+
+
+
 \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{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{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)