Update sectioning.

This commit is contained in:
Sergiu Ivanov 2023-04-17 21:28:18 +02:00
parent c7ea8cf266
commit 31e47cd5b5

View file

@ -827,7 +827,7 @@ généraux de toute sorte. L'objectif de ce stage est d'établir un cadre
formel général pour la contrôlabilité des réseaux booléens à base des formel général pour la contrôlabilité des réseaux booléens à base des
systèmes à membranes. systèmes à membranes.
\subsection{Transitions de phase dans les systèmes complexes} \subsubsection{Transitions de phase dans les systèmes complexes}
\noindent \noindent
\hspace{2.7mm} \hspace{2.7mm}
{\renewcommand{\arraystretch}{1.3}% {\renewcommand{\arraystretch}{1.3}%
@ -878,7 +878,7 @@ recherche. Dans un second temps, le stagiaire développera un prototype
de simulateur de réseaux booléens en Racket : un langage de de simulateur de réseaux booléens en Racket : un langage de
programmation fonctionnelle typé de la famille Lisp. programmation fonctionnelle typé de la famille Lisp.
\subsection{Simulation logicielle de modèles d'auto-assemblage d'ADN} \subsubsection{Simulation logicielle de modèles d'auto-assemblage d'ADN}
\noindent \noindent
\hspace{2.7mm} \hspace{2.7mm}
{\renewcommand{\arraystretch}{1.3}% {\renewcommand{\arraystretch}{1.3}%
@ -920,7 +920,7 @@ abstract Tile Assembly Model. À l'issue de cette lecture, le stagiaire
développera un prototype de simulateur de modèle aTAM en Racket : un développera un prototype de simulateur de modèle aTAM en Racket : un
langage de programmation fonctionnelle typé de la famille Lisp. langage de programmation fonctionnelle typé de la famille Lisp.
\subsection{Auto-assemblage d'ADN et les grammaires de tableaux} \subsubsection{Auto-assemblage d'ADN et les grammaires de tableaux}
\noindent \noindent
\hspace{2.7mm} \hspace{2.7mm}
{\renewcommand{\arraystretch}{1.3}% {\renewcommand{\arraystretch}{1.3}%