X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4027522083d5f0dfb61df0df9bb8dda73a9cb72b..dd837d463f86ebb399eb1cac274139e98815fdd1:/main.tex

diff --git a/main.tex b/main.tex
index 6887cec..fdcf059 100644
--- a/main.tex
+++ b/main.tex
@@ -16,6 +16,7 @@
 %\usepackage[font=footnotesize]{subfig}
 \usepackage[utf8]{inputenc}
 \usepackage{thmtools, thm-restate}
+\usepackage{multirow}
 %\declaretheorem{theorem}
 
 %%--------------------
@@ -141,18 +142,14 @@ Blabla blabla.
 
 \part{RÃ©seaux Discrets}
 
-
-
 \chapter{Iterations discrÃ¨tes de rÃ©seaux boolÃ©ens}
 \JFC{chapeau Ã  refaire}
 \section{Formalisation}
 \input{sdd}
 
-
 \section{Combinaisons synchrones et asynchrones}
 \input{mixage}
 
-
 \section{Conclusion}
 \JFC{Conclusion Ã  refaire}
 
@@ -165,7 +162,7 @@ de l'asynchronisme en terme de vitesse de convergence.
 
 
 
-\chapter[Preuve de convergence de systÃ¨mes boolÃ©ens]{Preuve automatique de  convergence}\label{chap:promela}
+\chapter{Preuve automatique de  convergence}\label{chap:promela}
 \input{modelchecking}
 
 
@@ -176,7 +173,8 @@ de l'asynchronisme en terme de vitesse de convergence.
 \part{Des systÃ¨mes dynamiques discrets 
 au chaos} 
 
-\chapter{Characterisation des systÃ¨mes 
+\chapter[Caracterisation des systÃ¨mes 
+  discrets chaotiques]{Caracterisation des systÃ¨mes 
   discrets chaotiques pour les schÃ©mas unaires et gÃ©nÃ©ralisÃ©s}
 
 La premiÃ¨re section  rappelle ce que sont les systÃ¨mes dynamiques chaotiques.
@@ -190,7 +188,7 @@ On montre qu'on a des rÃ©sultats similaires.
 \label{subsec:Devaney}
 \input{devaney}
 
-\section{SchÃ©ma unaire}
+\section{SchÃ©ma unaire}\label{sec:TIPE12}
 \input{12TIPE}
 
 \section{SchÃ©ma gÃ©nÃ©ralisÃ©}
@@ -203,7 +201,7 @@ On montre qu'on a des rÃ©sultats similaires.
 
 \chapter{PrÃ©diction des systÃ¨mes chaotiques}
 
-13 JournalMichel
+\input{chaosANN}
 
 
 
@@ -214,7 +212,7 @@ On montre qu'on a des rÃ©sultats similaires.
 
 
 
- \part{Conclusion et Perspectives}
+\part{Conclusion et Perspectives}
 
 \JFC{Perspectives pour SDD->Promela}
 Among drawbacks of the method,  one can argue that bounded delays is only 
