Non-Uniform CA Designer (C++, GAlib, Boost)

\documentclass{beamer}
%\usepackage{beamerfoils}
\mode<presentation>
{
  \usetheme{Warsaw}
}
%\usepackage[czech]{babel}
%\usepackage[latin2]{inputenc}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage[czech]{babel}
\usepackage{times}
\usepackage[T1]{fontenc}
\usepackage{xspace}
 
\title[]{Non-Uniform CA Designer}
\author[]{Kamil Dudka}
\institute[]{FACULTY OF INFORMATION TECHNOLOGY\\BRNO UNIVERSITY OF TECHNOLOGY}
\begin{document}
 
% Title frame
\begin{frame}
  \frametitle{Non-Uniform CA Designer}
  \begin{center}
    \vbox{FACULTY OF INFORMATION TECHNOLOGY\\\vspace{.2cm}
    BRNO UNIVERSITY OF TECHNOLOGY\\\vspace{.5cm}}
    \includegraphics[width=3cm,keepaspectratio]{img/fit-zp2}
    \vfill
    \vbox{AUTHOR\hfill Kamil Dudka}\vspace{.3cm}
    \vbox{SUPERVISOR\hfill Ing. Michal Bidlo Ph.D.}
  \end{center}
\end{frame}
 
\section{Interpreting of Logical Gates by CA}
\begin{frame}[fragile]
  \frametitle{Interpreting of Logical Gates by CA}
  \begin{center}
   \includegraphics[scale=0.6]{img/gate}
  \end{center}
\end{frame}
 
\section{CA Simulator}
\begin{frame}[fragile]
  \frametitle{CA Simulator}
  \begin{itemize}
   \item only \textbf{fully stable} solutions are accepted
   \item limit for count of steps (design parameter)
   \item the following CA stops in 1--5 steps for each input
  \end{itemize}
  \begin{block}{Example: $2\times3$ bits \textbf{logical multiplier}}
   \bigskip
   \begin{center}
    \includegraphics[scale=0.3]{img/mul2x3_thumb}
   \end{center}
   \smallskip
  \end{block}
\end{frame}
\begin{frame}[fragile]
  \frametitle{Example: $2\times3$ bits \textbf{logical multiplier}
    \texttt{[input=0x0E]}}
   \begin{center}
    \includegraphics[scale=0.6]{img/mul2x3}
   \end{center}
\end{frame}
 
\section{CA Designer}
\begin{frame}[fragile]
  \frametitle{CA Designer}
  \begin{itemize}
   \item Hill Climbing
   \item automatic restart
   \item various genetic algorithms available (\texttt{GAlib}):
    \begin{itemize}
     \item \texttt{GASimpleGA} 
     \item \texttt{GASteadyStateGA} 
     \item \texttt{GAIncrementalGA} 
     \item \texttt{GADemeGA} 
     \vfill
     \item \href{http://lancet.mit.edu/galib-2.4/API.html}
      {http://lancet.mit.edu/galib-2.4/API.html}
    \end{itemize}
  \end{itemize}
\end{frame}
 
\section{Found solutions}
\begin{frame}[fragile]
  \frametitle{Found solutions}
  \begin{center}
   \begin{tabular}{|l|l|r|}
    \hline
    \textbf{Circuit}   & \textbf{Variants}          & \textbf{CA size}\\
    \hline
    AND, OR, XOR gates & 2, 3 and 5 inputs         & $5\times5$\\
    wire crossing      & 2, 3 and $2\times2$ wires & $5\times5$\\
    multiplexer        & $4+2$ inputs              & $3\times3$\\
    logical multiplier & $2\times3$ bits           & $3\times3$\\
    \hline
   \end{tabular}
  \end{center}
  \bigskip
  \begin{itemize}
   \item \textbf{1024 solutions} per each of circuits above
   \item partial solutions of $3\times3$ bits logical multiplier
  \end{itemize}
\end{frame}
 
\section{How to define a new circuit}
\begin{frame}
  \frametitle{How to define a new circuit}
  \begin{itemize}
   \item \href{http://dudka.cz/nucad/html/api/index.html}
    {http://dudka.cz/nucad/html/api/index.html}
  \end{itemize}
  \includegraphics[scale=0.35]{img/AbstractGate.png}
\end{frame}
 
\end{document}