MAJ des citations et des sections

[rairo15.git] / main.tex

diff --git a/main.tex b/main.tex
index 67d9e936af243a66e45e676141d5702eacbde595..a934599aa930637ea730861d833ede17a2ef9617 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -6,6 +6,7 @@
 \usepackage{ifthen}
 \usepackage{color}
 \usepackage{algorithm2e}
 \usepackage{ifthen}
 \usepackage{color}
 \usepackage{algorithm2e}

+\usepackage{epstopdf}

 
 
 \usepackage[latin1]{inputenc}
 
 
 \usepackage[latin1]{inputenc}


@@ -60,16 +61,17 @@
 % \theoremsymbol{\ensuremath{\diamondsuit}}
 % \theoremprework{\bigskip}
 % \theoremseparator{.}
 % \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}}
 % \theoremheaderfont{\sc}
 % \theorembodyfont{\upshape}
 % \theoremstyle{nonumberplain}
 % \theoremseparator{}
 % \theoremsymbol{\rule{1ex}{1ex}}

-\newtheorem{Proof}{Preuve :}
-\newtheorem{xpl}{Exemple illustratif :}
+\newtheorem{Proof}{Proof}
+\newtheorem{proposition}{Proposition}
+\newtheorem{xpl}{Running Example}

 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 %\newcommand{\ie}{\textit{i.e.}}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 %\newcommand{\ie}{\textit{i.e.}}


@@ -81,7 +83,7 @@
 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
 
 
 \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]{''}
 \newcommand{\CG}[1]{\begin{color}{blue}\textit{}\end{color}}
 \newcommand{\og}[0]{``}
 \newcommand{\fg}[1]{''}


@@ -122,10 +124,10 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 
 
 \section{Proof Of Chaos}
 
 
 \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). 
 \input{stopping}
 
 % Donner la borne du stopping time quand on marche dedans (nouveau). 


@@ -138,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)
 
 
 %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{...}
 
 
 \section{Conclusion}
 %\input{conclusion}
 
 %\acknowledgements{...}
 

-
+\bibliographystyle{alpha}

 \bibliography{biblio}
 
 \end{document}
 \bibliography{biblio}
 
 \end{document}