Modify DSSAT slides from AAAI presentation

Talks/oral_defense/dependency-ssat/complexity.tex

@@ -13,7 +13,7 @@
   \begin{block}{Proof Sketch}
     \belowdisplayskip=0pt
     \begin{itemize}
-      \item NEXPTIME:
+      \item NEXPTIME
             \pause
             \begin{enumerate}
               \item nondeterministically construct a set of Skolem functions $\skf$
@@ -23,13 +23,13 @@
             \pause
       \item NEXPTIME-hard: DQBF $\leq_P$ DSSAT
             \pause
-            \begin{equation*}
+            \begin{align*}
               \Qf_Q=\forall x_1, \ldots, \forall x_n, \exists y_1(D_{y_1}), \ldots, \exists y_m(D_{y_m}).\pf
-            \end{equation*}
+            \end{align*}
             \pause
-            \begin{equation*}
+            \begin{align*}
               \Qf_S=\random{0.5} x_1, \ldots, \random{0.5} x_n, \exists y_1(D_{y_1}), \ldots, \exists y_m(D_{y_m}).\pf
-            \end{equation*}
+            \end{align*}
             \pause
             Claim: $\Qf_Q$ is satisfiable if and only if $\spb{\pcf{\Qf_S}{\skf}} \geq 1$ for some $\skf$
     \end{itemize}

Talks/oral_defense/dependency-ssat/formulation.tex

@@ -13,11 +13,11 @@
               \item $f_j$ over variables in $D_{y_j}$ for each $y_j$
             \end{itemize}
             \pause
-      \item Satisfying probability of $\Qf$ with respect to $\skf$:
+      \item Satisfying probability of $\Qf$ with respect to $\skf$
             \pause
-            \begin{equation*}
+            \begin{align*}
               \spb{\pcf{\Qf}{\skf}}=\Pr[\random{p_1} x_1, \ldots, \random{p_n} x_n.\pf|_{\skf}]
-            \end{equation*}
+            \end{align*}
             \pause
       \item Decision version: given $\Qf$ and $\theta$ decide if $\spb{\pcf{\Qf}{\skf}} \geq \theta$ for some $\skf$
             \pause
@@ -39,14 +39,15 @@
       (x_1 \lor \lnot y_2)
       (x_2 \lor \lnot y_2)                                                                                       \\
        & \Qf_1' = \random{0.5} x_1, \random{0.5} x_2, \exists y_1(\{x_1\}), \exists y_2(\{\alert{x_1,x_2}\}).\pf
-    \end{align*}\pause
+    \end{align*}
+    \pause
     \begin{itemize}
-      \item Skolem functions:
-            \begin{equation*}
-              \skf^*=\{f^*_1(x_1)=x_1,f^*_2(x_1,x_2)=x_1 \land x_2\},\spb{\pcf{\Qf_1'}{\skf^*}}=1
-            \end{equation*}
+      \item Skolem functions: $\skf^*=\{f^*_1(x_1)=x_1,f^*_2(x_1,x_2)=x_1 \land x_2\}$
+            \pause
+      \item Satisfying probability: $\spb{\pcf{\Qf_1'}{\skf^*}}=1$
     \end{itemize}
-  \end{block}\pause
+  \end{block}
+  \pause
   \begin{block}{Example: Satisfying Probability of DSSAT}
     \abovedisplayskip=0pt
     $\Qf_2 = \random{0.5} x_1, \random{0.5} x_2, \exists y_1(\{x_1\}), \exists y_2(\{\alert{x_2}\}).\pf$

Talks/oral_defense/dependency-ssat/prob-approx-design.tex

@@ -1,29 +1,3 @@
-\begin{frame}
-  \frametitle{Analyzing Probabilistic/Approximate VLSI Design}
-  \begin{itemize}
-    \item Paradigm shifts in the post-Moore VLSI design
-          \pause
-          \begin{itemize}
-            \item Probabilistic design~\cite{Chakrapani2006ProbDesign}: erroneous components
-                  \pause
-            \item Approximate design~\cite{Venkatesan2011ApproxDesign}: deviation from specification
-          \end{itemize}
-          \pause
-    \item Distillation operation~\cite{LeeTC18ProbDesign}
-          \pause
-          \begin{itemize}
-            \item Error sources as auxiliary inputs
-                  \pause
-            \item Techniques for conventional Boolean-logic circuits
-          \end{itemize}
-  \end{itemize}
-  \pause
-  \begin{figure}
-    \centering
-    \includegraphics[scale=0.7]{fig/prob-distillation.pdf}
-  \end{figure}
-\end{frame}
-
 \begin{frame}
   \frametitle{Analyzing Probabilistic/Approximate VLSI Design}
   \begin{itemize}
@@ -38,11 +12,11 @@
   \pause
   \begin{figure}
     \centering
-    \includegraphics[scale=0.5]{fig/dssat-prob-miter.pdf}
+    \includegraphics[scale=0.6]{fig/dssat-prob-miter.pdf}
   \end{figure}
   \pause
-  \begin{equation*}
+  \begin{align*}
     \random{} X,\random{} Z,\forall Y,\exists T(D).
     (Y \equiv E(X)) \limply (F(X,Z,T) \equiv G(X))
-  \end{equation*}
+  \end{align*}
 \end{frame}

Talks/oral_defense/preamble.tex

@@ -215,7 +215,7 @@
 
 \institute[NTU GIEE]{Graduate Institute of Electronics Engineering, National Taiwan University}
 
-\date[Disseration Defense, June 2021]{Doctoral Dissertation Oral Defense, 2nd June 2021}
+\date[Oral Defense, Jun. 2021]{Doctoral Dissertation Oral Defense, 2nd June 2021}
 
 \setbeamerfont{section in toc}{size=\footnotesize}
 \setbeamerfont{subsection in toc}{size=\scriptsize}