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

diff --git a/main.tex b/main.tex
index 1baeb34..bc8524b 100644
--- a/main.tex
+++ b/main.tex
@@ -1,17 +1,37 @@
 \documentclass{ita}
 \usepackage{graphicx}
+\usepackage{caption}
+\usepackage{subcaption}
+
 \usepackage{dsfont}
 \usepackage{stmaryrd}
-\usepackage[font=footnotesize]{subfig}
+%\usepackage[font=footnotesize]{subfig}
 \usepackage{ifthen}
 \usepackage{color}
 \usepackage{algorithm2e}
-\usepackage[hyperfirst=true,nogroupskip,nonumberlist,xindy]{glossaries}
+\usepackage{epstopdf}
+%\usepackage{ntheorem}
+
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc} 
+\usepackage[english]{babel}
+\usepackage{amsmath,amssymb,latexsym,eufrak,euscript}
+\usepackage{pstricks,pst-node,pst-coil}
+
+
+\usepackage{url,tikz}
+\usepackage{pgflibrarysnakes}
 
+\usepackage{multicol}
+
+\usetikzlibrary{arrows}
+\usetikzlibrary{automata}
+\usetikzlibrary{snakes}
+\usetikzlibrary{shapes}
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Définitions personnelles
+% DÃ©finitions personnelles
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \definecolor{bleuclair}{rgb}{0.75,0.75,1.0}
@@ -28,22 +48,23 @@
   }
 }
 
-% \theoremstyle{plain}
-% \theoremheaderfont{\normalfont\bfseries\sc}
-% \theorembodyfont{\slshape}
-% \theoremsymbol{\ensuremath{\diamondsuit}}
-% \theoremprework{\bigskip}
-% \theoremseparator{.}
-\newtheorem{Def}{\underline{Définition}}
-\newtheorem{Lemma}{\underline{Lemme}}
-\newtheorem{Theo}{\underline{Théorème}}
-% \theoremheaderfont{\sc}
-% \theorembodyfont{\upshape}
-% \theoremstyle{nonumberplain}
-% \theoremseparator{}
-% \theoremsymbol{\rule{1ex}{1ex}}
-\newtheorem{Proof}{Preuve :}
-\newtheorem{xpl}{Exemple illustratif :}
+
+
+\newcommand {\tv}[1] {\lVert #1 \rVert_{\rm TV}}
+\def \top {1.8}
+\def \topt {2.3}
+\def \P {\mathbb{P}}
+\def \ov {\overline}
+\def \ts {\tau_{\rm stop}}
+
+
+\newtheorem{Def}{Definition}
+%\newtheorem{Lemma}{\underline{Lemma}}
+\newtheorem{Theo}{Theorem}
+\newtheorem{Corollary}{Corollary}
+\newtheorem{Lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+\newtheorem*{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 %\newcommand{\ie}{\textit{i.e.}}
@@ -55,7 +76,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]{''}
@@ -69,17 +90,15 @@
 
 \begin{document}
 
-\author{Jean-François Couchot, Christophe Guyeux, Pierre-Cyrile Heam}
-\address{Institut FEMTO-ST, Université de Franche-Comté, Belfort, France}
+\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}
 
-\date{...}
 
 \begin{abstract}
-This   paper  extends   the  results   presented  in~\cite{bcgr11ip}
-and~\cite{chgw14oip} by using the \emph{chaotic} updating mode, in the sense
+This   paper  extends   the  results   presented  in~\cite{bcgr11:ip}
+and~\cite{DBLP:conf/secrypt/CouchotHGWB14} 
+by using the \emph{chaotic} updating mode, in the sense
 of F.  Robert~\cite{Robert}.  In this mode, several components of the system
 may be  updated at each iteration.   At the theoretical level,  we show that
     the properties of  chaos and uniformity of the  obtained PRNG are preserved.
@@ -88,39 +107,48 @@ may be  updated at each iteration.   At the theoretical level,  we show that
     reduced mixing time.
 \end{abstract}
 
+\maketitle
+
 \section{Introduction}
 %\input{intro}
 
-\section{Preliminaries}
+ \section{\uppercase{Preliminaries}}\label{sec:preliminaries}
 \input{preliminaries}
 
-\section{Stopping Time}
-% 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{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{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{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). 
+% Ã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)
 
+%\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{Expérimentations}
-%
 
 \section{Conclusion}
 %\input{conclusion}
 
 %\acknowledgements{...}
 
-
+\bibliographystyle{alpha}
 \bibliography{biblio}
 
 \end{document}
