Funes el memorioso

\documentclass{beamer}
\usepackage{hyperref}
\setbeamertemplate{theorems}[numbered]
\usetheme{CambridgeUS}

\begin{document}
\begin{frame}
  \frametitle{Test}
  \begin{theorem}[Fermat's Last Theorem]
    $x^n + y^n = z^n$.
    \label{thm:fermat}
  \end{theorem}
  As shown in Theorem \ref{thm:fermat}...

  \begin{example}
    Here goes an example!
  \end{example}

  \begin{theorem}
    $e^{i\pi} + 1 = 0$
  \end{theorem}

  \begin{corollary}
    Corollary!
  \end{corollary}
\end{frame}

\end{document}

beamer_guide (pdf)

pdf

\documentclass[12pt]{beamer}

\usepackage{color}

\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text} 
\setmainfont{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setmonofont{Consolas}

\title{Overlay Examples}
\subtitle{Overlay}
\author{Kilgore Trout}
\institute[Tralfamadore] {Tralfamadore Institute of Technology}
\usetheme{Madrid}

\begin{document}
\begin{frame}[fragile]
  \frametitle{Overlay Examples}
  \begin{itemize}
  \item Successive \color{red}\verb|\only<n>{..}|\\
    \color{gray}\verb|\only<1>{Abra}\only<2>{Cada}\only<3>{Bra}|
    \color{black}$\Rightarrow$
    \only<1>{Abra}\only<2>{Cada}\only<3>{Bra}
    \onslide<4->
  \item \color{red}\verb|\uncover<n>{..}| \color{black}shows at given n. \\
    \color{gray}\verb|\uncover<5>{I am 5}|
    \color{black}$\Rightarrow$ \uncover<5>{I am 5}
    \onslide<6->
  \item \color{red}\verb|\invisible<n>{..}| \color{black}hides at given n.\\
    \color{gray}\verb|\invisible<8>{Invisible at 8}|
    \color{black}$\Rightarrow$ \invisible<8>{Invisible at 8}
    \onslide<10->
  \item \color{red}\verb|\alt<n>{at n}{not at n}|
    \color{black}for two alternatives. \\
    \color{gray}\verb|\alt<11>{I am 11}{I am not 11}|
    \color{black}$\Rightarrow$ \alt<11>{I am 11}{I am not 11}
    \onslide<13->
  \item\color{red}\verb|\temporal<n>{before}{at n}{after}|
    \color{black}for three alternatives. \\
    \color{gray}\verb|\temporal<14>{I am 13}{I am 14}{I am 15}|
    \color{black}$\Rightarrow$ \temporal<14>{I am 13}{I am 14}{I am 15}
  \end{itemize}
  \onslide<15->
  \onslide<1->
  \begin{center}
    \Large Slide \texttt{\thepage}
  \end{center}
\end{frame}
\end{document}

\documentclass[12pt,table]{beamer}

\usepackage{hyperref}

% For fancy math
\usepackage{amsmath}

% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
\def\softness{0.4}
\definecolor{softblue}{rgb}{\softness,\softness,1}
\renewcommand{\emph}[1]{\textit{\textcolor{softblue}{#1}}}
\definecolor{darkgreen}{rgb}{0.2, 0.7, 0.5}
\newcommand{\paper}[1]{\textit{\textcolor{darkgreen}{#1}}}
% For fancy footnotes
\renewcommand{\thefootnote}{\fnsymbol{footnote}}

% For fancy fonts
\usepackage{mathspec}
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase}
\setmainfont[Mapping=tex-text]{Hoefler Text}
\setsansfont[Mapping=tex-text]{Candara}
%\setsansfont[Mapping=tex-text]{Myriad Pro}
%\setsansfont[Mapping=tex-text]{Comic Sans MS}
%\setmonofont{Courier}
\setmonofont{Monaco}

% For fancy picture
\usepackage{tikz}

%\usepackage{preamble}
\usepackage{xspace}
\newcommand{\LLL}{Lov\'asz Local Lemma\xspace}

\makeatletter
\newenvironment{customitem}[2]{
  \ifnum\@itemdepth >2\relax\@toodeep\else
  \advance\@itemdepth\@ne%
  \beamer@computepref\@itemdepth%
  \usebeamerfont{itemize/enumerate \beameritemnestingprefix body}%
  \usebeamercolor[fg]{itemize/enumerate \beameritemnestingprefix body}%
  \usebeamertemplate{itemize/enumerate \beameritemnestingprefix body begin}%
  \begin{list}
    {
      \usebeamertemplate{itemize \beameritemnestingprefix item}
    }
    { \leftmargin=#1 \itemindent=#2
      \def\makelabel##1{%
        {%  
          \hss\llap{{%
              \usebeamerfont*{itemize \beameritemnestingprefix item}%
              \usebeamercolor[fg]{itemize \beameritemnestingprefix item}##1}}%
        }%  
      }%  
    }
    \fi
  }
  {
  \end{list}
  \usebeamertemplate{itemize/enumerate \beameritemnestingprefix body end}%
}
\makeatother

\begin{document}

\title{A Constructive Proof of the Lov\'asz Local Lemma}
\subtitle{Robin Moser, STOC 2009}
\author{Youngtae Youn}
\institute{CSE Dept. Penn State}
\date{September 28, 2009}

%%%
\begin{frame}
  \frametitle{\LLL: Lov\'asz and Erd\H{o}s in 1975}
  \begin{itemize}
  \item What if bad events are \alert{not} independent?
    \begin{customitem}{1.3em}{0em}
    \item Bad events are \emph{mostly} independent from one
      another.
    \item Bad event are \alert{not} individually too likely to occur.
    \end{customitem}
    Still, $\Pr[\text{none of the bad events will occur}] > 0$.
  \item Lov\'asz Local Lemma
  \end{itemize}
\end{frame}

\end{document}

Candara

Myriad

Comic Sans MS

Document Source Code

\documentclass[12pt,table]{beamer}
 
\usepackage{hyperref}
 
% For fancy math
\usepackage{amsmath}
 
% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
\def\softness{0.4}
\definecolor{softblue}{rgb}{\softness,\softness,1}
\renewcommand{\emph}[1]{\textit{\textcolor{softblue}{#1}}}
\definecolor{darkgreen}{rgb}{0.2, 0.7, 0.5}
\newcommand{\paper}[1]{\textit{\textcolor{darkgreen}{#1}}}
% For fancy footnotes
\renewcommand{\thefootnote}{\fnsymbol{footnote}}
 
% For fancy fonts
\usepackage{mathspec}
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase} 
\setmainfont[Mapping=tex-text]{Hoefler Text}
%\setsansfont[Mapping=tex-text]{Candara}
\setsansfont[Mapping=tex-text]{Myriad Pro}
%\setsansfont[Mapping=tex-text]{Comic Sans MS}
%\setmonofont{Courier}
\setmonofont{Monaco}
 
% For fancy picture
\usepackage{tikz}
 
%\usepackage{preamble}
\usepackage{xspace}
\newcommand{\LLL}{Lov\'asz Local Lemma\xspace}
\begin{document}
 
\title{A Constructive Proof of the Lov\'asz Local Lemma}
\subtitle{Robin Moser, STOC 2009}
\author{Youngtae Youn}
\institute{CSE Dept. Penn State}
\date{September 28, 2009}
 
%%%
\begin{frame}
  \frametitle{\LLL: Lov\'asz and Erd\H{o}s in 1975}
  \begin{itemize}
  \item What if bad events are \alert{not} independent? 
    \begin{itemize}
    \item Bad events are \emph{mostly} independent from one
      another.
    \item Bad event are \alert{not} individually too likely to occur.
    \end{itemize}
    Still, $\Pr[\text{none of the bad events will occur}] > 0$.
  \end{itemize}
 
  \begin{block}{\LLL (Symmetric Case)}
    \begin{enumerate}
    \item $\Pr[bad_i] \leq \emph{p}$ for all $1 \leq i \leq n$.     
    \item Each $bad_i$ depends on other \emph{$d$} bad events.
    \item $e\cdot p\cdot (d+1) \leq 1$ where $\emph{e}=2.7182\cdots$
    \end{enumerate}
    \vspace{-4mm}
    \begin{center}
      Then, $\Pr[\text{none of the bad events will occur}] > 0$.
    \end{center}
  \end{block}
 
  \begin{itemize}
  \item dictionary definition of \emph{local}: affecting or limited to
    part of a whole.
  \item The bound in (3) is \alert{tight}.    
  \item We will prove for the \emph{loose} bound $4pd\leq 1$.
  \end{itemize}
\end{frame}
 
\end{document}

How to convert PDF into PNG

convert -density 600x600 -resize 800x600 -quality 90 myriad.pdf myriad.png

• -density 600x600 treats the pdf as 600×600 dpi resolution
• -resize 800x600 gives the dimensions in pixels of the resulting png file
• -quality 90 uses the highest compression level for png (9) and no filtering (0)

\documentclass[12pt]{beamer}

% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}

% For fancy fonts
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text}
\setmainfont[Ligatures={Common}, Numbers={OldStyle}]{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setromanfont{Cambria}
\setmonofont{Monaco}

\usepackage{tikz}
\usetikzlibrary{arrows}

\newcommand{\TBE}{\textrm{TBE}}
\newcommand{\Sign}{\textrm{Sign}}
\newcommand{\PKE}{\textrm{PKE}}
\newcommand{\Verify}{\textrm{Verify}}

\begin{document}

\begin{frame}
  \frametitle{Canetti-Halevi-Katz Construction}
  \begin{figure}[h]
    \centering
    \begin{tikzpicture}[->,
        >=stealth',
        shorten >= 1pt,
        auto,
        semithick,
        bend angle=15,
      ]
      
      \coordinate (O) at (0cm, 0cm);
      \coordinate (A) at (-1.4cm, .2cm);
      \coordinate (B) at ( 1cm, .2cm);
      
      \tikzstyle{inbox} = [rectangle, draw=red!40!black!50, thick, top
        color=white, bottom color=red!60!blue!50, minimum width=1.5cm,
        minimum height=.8cm, rounded corners];
      \tikzstyle{outbox} = [rectangle, draw=black!50, thick, fill=black!5,
        minimum width=5.6cm, minimum height=2.2cm, rounded corners];
      \tikzstyle{line} = [draw, -latex', very thick]
      \tikzstyle{ann} = [above, text width=5em]
      
      \node [outbox] (PKE) at (O) {};
      \node [inbox] (TBE)  at (A) {\TBE};
      \node [inbox] (Sign) at (B) {\Sign};
      \node (blank) at (-5cm, 0cm) {$\medspace$};
      
      \path [line] (TBE) -- node [midway, above] {$C$} (Sign);
      
      \node (vk) [below of=TBE, node distance=2.6em] {$vk$};
      \path [line] (vk) -- (TBE);
      
      \node (sigk) [below of=Sign, node distance=2.6em] {$sigk$};
      \path [line] (sigk) -- (Sign);
      
      \node (sigma) [right of=Sign, node distance=3.7em] {$\sigma$};
      \path [line] (Sign) -- (sigma);
      
      \node (pk) [above of=TBE, node distance=3.7em] {$pk$};
      \path [line] (pk) -- (TBE);
      
      \node (M) [left of=TBE, node distance=5em] {M};
      \path [line] (M) -- (TBE);
      
      \node (Cpke) [right of=PKE, node distance=10.5em]
            {$\langle C,vk,\sigma\rangle$};
            \path [line] (PKE) -- (Cpke);
            
            \node (label) at (-2.4cm, 1.4cm) {\PKE};
            \node () [below of=PKE, node distance=1.4cm] {Encryption};
    \end{tikzpicture}
    
    \begin{tikzpicture}[->,
        >=stealth',
        shorten >= 1pt,
        auto,
        semithick,
        bend angle=15,
      ]
      
      \coordinate (O) at (0cm, 0cm);
      \coordinate (A) at (-1.2cm, .2cm);
      \coordinate (B) at ( 1.2cm, .2cm);
      
      \tikzstyle{inbox} = [rectangle, draw=red!40!black!50, thick, top
        color=white, bottom color=red!60!blue!50, minimum width=1.5cm,
        minimum height=.8cm, rounded corners];
      \tikzstyle{outbox} = [rectangle, draw=black!50, thick, fill=black!5,
        minimum width=5.6cm, minimum height=2.2cm, rounded corners];
      \tikzstyle{line} = [draw, -latex', very thick]
      \tikzstyle{ann} = [above, text width=5em]
      
      \node [outbox] (PKE) at (O) {};
      \node [inbox] (VFY)  at (A) {\Verify};
      \node [inbox] (TBE) at (B) {\TBE};
      
      \path [line] (VFY) -- node [pos=.7, above] {$C$} (TBE);
      
      \node (vk1) [below of=VFY, node distance=2.6em] {$vk$};
      \path [line] (vk1) -- (VFY);
      
      \node (vk2) [below of=TBE, node distance=2.6em] {$vk$};
      \path [line] (vk2) -- (TBE);
      
      \node (M) [right of=TBE, node distance=3.6em] {\hspace{-1mm}$M$};
      \path [line] (TBE) -- (M);
      
      \node (sk) [above of=TBE, node distance=3.5em] {$sk$};
      \path [line] (sk) -- (TBE);
      
      \node (Cpke) [left of=PKE, node distance=11em] {$\langle C,vk,\sigma\rangle$};
      \path [line] (Cpke) -- (PKE);
      
      \node (sigma) [left of=VFY, node distance=3.5em] {$\sigma$};
      \path [line] (sigma) -- (VFY);
      
      \node (output) [right of=PKE, node distance=10.8em] {$M\medspace$ or $\medspace\perp$};
      \path [line] (PKE) -- (output);
      
      \fill [black] (-1mm,.2cm) circle (2pt);
      \node (no) at (-1mm, -.6cm) {$\perp$};
      \path [line] (-1mm,.2cm) -- (no);
      
      \node (label) at (-2.4cm, 1.4cm) {\PKE};
      \node () [below of=PKE, node distance=1.4cm] {Decryption};
    \end{tikzpicture}
  \end{figure}
\end{frame}
\end{document}

\documentclass[12pt]{beamer}

% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}

% For fancy fonts
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text}
\setmainfont[Ligatures={Common}, Numbers={OldStyle}]{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setromanfont{Cambria}
\setmonofont{Monaco}

\usepackage{tikz}
\usetikzlibrary{arrows,automata}

\begin{document}

\begin{frame}
  \frametitle{Deterministic Finite Automaton}
  \begin{figure}[h]
    \begin{tikzpicture}[
        % type of arrow head
        >=stealth',
        % keep arrow head from touching the surface
        shorten >= 1pt,
        % automatic node positioning
        auto,
        %                                   
        node distance=2cm,
        % line thickness
        semithick,
        bend angle=15,
        % text for the initial state arrow. I left it as blank
        initial text=]
      \tikzstyle{every state}=[draw=blue!50, thick, fill=blue!20]
      
      \node[state,initial](qe){$q_\epsilon$};
      \node[state,accepting](q0)[above right of=qe]{$q_0$};
      \node[state](q1)[below right of=qe]{$q_1$};
      \node[state](q2)[right of=q0]{$q_2$};
      \node[state,accepting](q3)[right of=q1]{$q_3$};
      \node[state](q4)[below right of=q2]{$q_4$};
      
      \path[->]
      (qe) edge [above left] node {0} (q0)
      (qe) edge [below left] node {1} (q1)
      
      (q0) edge [loop above] node {0} ()
      (q0) edge [left] node {1} (q1)
      
      (q1) edge [above left] node {0} (q2)
      (q1) edge [bend left] node {1} (q3)
      
      (q2) edge [above right] node {0} (q4)
      (q2) edge [above] node {1} (q0)
      
      (q3) edge [bend left] node {0} (q1)
      (q3) edge [right] node {1} (q2)
      
      (q4) edge [below right] node {0} (q3)
      (q4) edge [loop right] node {1} ();
    \end{tikzpicture}    
  \end{figure}
\end{frame}
\end{document}

doc.tex

\documentclass[12pt]{beamer}

% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}

% For fancy fonts
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text} 
\setmainfont[Ligatures={Common}, Numbers={OldStyle}]{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setromanfont{Cambria}
\setmonofont{Monaco}

\usepackage{subfigure}
\usepackage{tikz}

\begin{document}

\begin{frame}
  \frametitle{Goal of ACRE Learning}
  \begin{figure}[h]
    \centering
    \subfigure[Classifier $c$]{\input{fig1.tex}}
    \quad
    \subfigure[Cost Function $a$]{\input{fig2.tex}}
    \\
    \subfigure[Adversary's Goal]{\input{fig3.tex}}
    \quad
    \subfigure[ACRE Learning]{\input{fig4.tex}}
    \caption{Special Case of 2-Dimensional Feature Vectors}
  \end{figure}
\end{frame}
\end{document}

fig1.tex

\begin{tikzpicture}[scale=.95]
  % classifier
  \filldraw [fill=red!20, draw=black, smooth] (0,0) -- (0cm, 2.6cm) --
  (0.2cm, 2.2cm) -- (0.8cm, 2.0cm) -- (1.2, 2.2cm) -- (1.8cm, 1.6cm)
  -- (2.6cm, 0.4cm) -- (3.5cm, 0cm) -- cycle;
 
  % boundary
  \draw (3.5cm, 0cm) -- (3.5cm, 2.6cm) -- (0cm, 2.6cm);
 
  % markers
  \node at (0.2cm, 0.2cm) {\color{red}+};
  \node at (3.3cm, 2.4cm) {\color{blue}-};
\end{tikzpicture}

fig2.tex

\begin{tikzpicture}[scale=.95]
  % boundary
  \draw (0, 0) -- (0cm, 2.6cm) -- (3.5cm, 2.6cm) -- (3.5cm, 0cm) --
  (0, 0);
 
  % classfier
  \filldraw [fill=red!20, draw=black, smooth] (0,0) -- (0cm, 2.6cm) --
  (0.2cm, 2.2cm) -- (0.8cm, 2.0cm) -- (1.2, 2.2cm) -- (1.8cm, 1.6cm)
  -- (2.6cm, 0.4cm) -- (3.5cm, 0cm) -- cycle;
 
  % cost functions
  \draw (2cm, 1.3cm) ellipse (1cm and .7cm);
  \draw (1.9cm, 1.3cm) ellipse (.8cm and .5cm);
  \draw (1.9cm, 1.3cm) ellipse (.6cm and .2cm);
  \draw (1.8cm, 1.3cm) ellipse (.3cm and .1cm);
  \draw (1.7cm, 1.3cm) ellipse (.12cm and .05cm);
  \draw (2cm, 1.6cm) ellipse (.1cm and .05cm);
\end{tikzpicture}

fig3.tex

\begin{tikzpicture}[scale=.95]
  % boundary
  \draw (0, 0) -- (0cm, 2.6cm) -- (3.5cm, 2.6cm) -- (3.5cm, 0cm) --
  (0, 0);
 
  % classfier
  \filldraw [fill=red!20, draw=black, smooth] (0,0) -- (0cm, 2.6cm) --
  (0.2cm, 2.2cm) -- (0.8cm, 2.0cm) -- (1.2, 2.2cm) -- (1.8cm, 1.6cm)
  -- (2.6cm, 0.4cm) -- (3.5cm, 0cm) -- cycle;
 
  % cost functions
  \draw (2cm, 1.3cm) ellipse (1cm and .7cm);
  \draw (1.9cm, 1.3cm) ellipse (.8cm and .5cm);
  \draw (1.9cm, 1.3cm) ellipse (.6cm and .2cm);
  \draw (1.8cm, 1.3cm) ellipse (.3cm and .1cm);
  \draw (1.85cm, 1.3cm) ellipse (.12cm and .05cm);
  \draw (2cm, 1.6cm) ellipse (.1cm and .05cm);
 
  % star
  \filldraw [orange] (2.05cm, 1.3cm) circle (.05cm);
\end{tikzpicture}

fig4.tex

\begin{tikzpicture}
  [
    scale=.95,
    circle/.style={shape=circle, minimum size=1mm, text centered},
    instance/.style={shape=circle, minimum size=1mm, text centered}
    ]
 
  % boundary
  \draw (0, 0) -- (0cm, 2.6cm) -- (3.5cm, 2.6cm) -- (3.5cm, 0cm) --
  (0, 0);
 
  % cost functions
  \draw (2cm, 1.3cm) ellipse (1cm and .7cm);
  \draw (1.9cm, 1.3cm) ellipse (.8cm and .5cm);
  \draw (1.9cm, 1.3cm) ellipse (.6cm and .2cm);
  \draw (1.8cm, 1.3cm) ellipse (.3cm and .1cm);
  \draw (1.7cm, 1.3cm) ellipse (.12cm and .05cm);
  \draw (2cm, 1.6cm) ellipse (.1cm and .05cm);
 
  % yes-instance
  \node [instance] at (0.5cm, 0.5cm) {\color{red}$x^+$};
  % no-instance
  \node [instance] at (2.5cm, 2.3cm) {\color{blue}$x^-$};
 
  % queries
  \node [circle] at (  2cm,   2cm) {\color{orange}?};
  \node [circle] at (1.5cm, 0.8cm) {\color{orange}?};
  \node [circle] at (2.7cm, 0.5cm) {\color{orange}?};
  \node [circle] at (0.5cm, 2.3cm) {\color{orange}?};
  \node [circle] at (  3cm, 1.5cm) {\color{orange}?};
  \node [circle] at (2.3cm, 1.5cm) {\color{orange}?};
  \node [circle] at (1.7cm, 1.3cm) {\color{orange}?};
\end{tikzpicture}