diff --git a/doc/report/applications-screenshots.tex b/doc/report/applications-screenshots.tex new file mode 100644 index 0000000000000000000000000000000000000000..19d8bf6274fc76d701f58ab10cec8a4dcdff46fc --- /dev/null +++ b/doc/report/applications-screenshots.tex @@ -0,0 +1,31 @@ +% https://tex.stackexchange.com/questions/196481/problem-on-subfigure-2x2 + +\begin{figure*} + \centering + \begin{subfigure}[b]{0.475\textwidth} + \centering + \shadowbox{\includegraphics[width=\textwidth]{figs/explore1.png}} + \caption{Listing of all contributors in the data set.\\~\\} + \end{subfigure} + \hfill + \begin{subfigure}[b]{0.475\textwidth} + \centering + \shadowbox{\includegraphics[width=\textwidth]{figs/explore2.png}} + \caption{Listing works a given contributor worked on.} + \end{subfigure} + \vskip\baselineskip{} + \begin{subfigure}[b]{0.475\textwidth} + \centering + \shadowbox{\includegraphics[width=\textwidth]{figs/explore3.png}} + \caption{Examining a single node in the data set. From \texttt{ulo:sourceref} + we can infer the original URI of this object.} + \end{subfigure} + \hfill + \begin{subfigure}[b]{0.475\textwidth} + \centering + \shadowbox{\includegraphics[width=\textwidth]{figs/explore4.png}} + \caption{The original source code for a given node in our data set.\\} + \end{subfigure} + \caption{Exploring the Isabelle~export~\cite{uloisabelle} with a rudimentary + web interface.}\label{appss} +\end{figure*} diff --git a/doc/report/applications.tex b/doc/report/applications.tex index 216003ca69a3fabaf4f0aae18e9cc3e443d41217..baf18adbcdfd245b7d23e8b7fb2d9bc38c60ff7f 100644 --- a/doc/report/applications.tex +++ b/doc/report/applications.tex @@ -73,6 +73,14 @@ expect predicates to be evenly distributed in the data set. This is something to keep in mind especially as the number of ULO exports increases. +\subsection{Interactive Exploration} + +How the notes all bend and reach around the treeeeeeeeeeees. + +\input{applications-screenshots.tex} + +Now how I remember you! + \subsection{Querying for Tetrapodal Search}\label{sec:tetraq} Various queries for a tetrapodal search system were previously diff --git a/doc/report/figs/explore1.png b/doc/report/figs/explore1.png new file mode 100644 index 0000000000000000000000000000000000000000..3c4f331101d3ba4b91c89ca253f807d73d482440 Binary files /dev/null and b/doc/report/figs/explore1.png differ diff --git a/doc/report/figs/explore2.png b/doc/report/figs/explore2.png new file mode 100644 index 0000000000000000000000000000000000000000..45acfc374094b843c95d15d1729aeb0755405d36 Binary files /dev/null and b/doc/report/figs/explore2.png differ diff --git a/doc/report/figs/explore3.png b/doc/report/figs/explore3.png new file mode 100644 index 0000000000000000000000000000000000000000..36fccb34a72ef17f04dbc76aeaecb1c24206fa7c Binary files /dev/null and b/doc/report/figs/explore3.png differ diff --git a/doc/report/figs/explore4.png b/doc/report/figs/explore4.png new file mode 100644 index 0000000000000000000000000000000000000000..4bc367f5bd2568187032c8ac496c1a71476c4f34 Binary files /dev/null and b/doc/report/figs/explore4.png differ diff --git a/doc/report/report.tex b/doc/report/report.tex index 54e57ad8a83dc3cb43ea384b0cb795078a6f27e9..0128957a166ef75ee27fb586897490ccd9fd8de9 100644 --- a/doc/report/report.tex +++ b/doc/report/report.tex @@ -1,7 +1,7 @@ \documentclass[a4paper]{scrartcl} -\usepackage{amsmath} \usepackage[american]{babel} +\usepackage{amsmath} \usepackage{booktabs} \usepackage{caption} \usepackage{fancybox, graphicx} @@ -12,6 +12,7 @@ \usepackage{lipsum} \usepackage{listings} \usepackage{multicol} +\usepackage{mwe} \usepackage{placeins} \usepackage{subcaption} \usepackage{subcaption}