doc-src/isac/jrocnik/present-1.tex
branchdecompose-isar
changeset 42074 8c02160fcdbf
child 42075 7d062ed7359c
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/jrocnik/present-1.tex	Tue Jul 05 18:11:33 2011 +0200
     1.3 @@ -0,0 +1,213 @@
     1.4 +% $Header: /cvsroot/latex-beamer/latex-beamer/solutions/conference-talks/conference-ornate-20min.en.tex,v 1.7 2007/01/28 20:48:23 tantau Exp $
     1.5 +
     1.6 +\documentclass{beamer}
     1.7 +
     1.8 +% This file is a solution template for:
     1.9 +
    1.10 +% - Talk at a conference/colloquium.
    1.11 +% - Talk length is about 20min.
    1.12 +% - Style is ornate.
    1.13 +
    1.14 +
    1.15 +
    1.16 +% Copyright 2004 by Till Tantau <tantau@users.sourceforge.net>.
    1.17 +%
    1.18 +% In principle, this file can be redistributed and/or modified under
    1.19 +% the terms of the GNU Public License, version 2.
    1.20 +%
    1.21 +% However, this file is supposed to be a template to be modified
    1.22 +% for your own needs. For this reason, if you use this file as a
    1.23 +% template and not specifically distribute it as part of a another
    1.24 +% package/program, I grant the extra permission to freely copy and
    1.25 +% modify this file as you see fit and even to delete this copyright
    1.26 +% notice.
    1.27 +
    1.28 +
    1.29 +\mode<presentation>
    1.30 +{
    1.31 +  \usetheme{Hannover}
    1.32 +  % or ...
    1.33 +
    1.34 +  \setbeamercovered{transparent}
    1.35 +  % or whatever (possibly just delete it)
    1.36 +}
    1.37 +
    1.38 +%\usepackage{setspace} %for "\begin{onehalfspace}"
    1.39 +\usepackage[english]{babel}
    1.40 +% or whatever
    1.41 +
    1.42 +\usepackage[utf8]{inputenc}
    1.43 +% or whatever
    1.44 +
    1.45 +\usepackage{times}
    1.46 +\usepackage[T1]{fontenc}
    1.47 +% Or whatever. Note that the encoding and the font should match. If T1
    1.48 +% does not look nice, try deleting the line with the fontenc.
    1.49 +
    1.50 +\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    1.51 +\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
    1.52 +
    1.53 +\title[TODO] % (optional, use only with long paper titles)
    1.54 +{TODO}
    1.55 +
    1.56 +\subtitle{TODO}
    1.57 +
    1.58 +\author[Rocnik] % (optional, use only with lots of authors)
    1.59 +{Jan~Rocnik}
    1.60 +% - Give the names in the same order as the appear in the paper.
    1.61 +% - Use the \inst{?} command only if the authors have different
    1.62 +%   affiliation.
    1.63 +
    1.64 +\institute % (optional, but mostly needed)
    1.65 +{
    1.66 +  Technische Universit\"at Graz\\
    1.67 +  Institut f\"ur TODO
    1.68 +}
    1.69 +% - Use the \inst command only if there are several affiliations.
    1.70 +% - Keep it simple, no one is interested in your street address.
    1.71 +
    1.72 +% \date[CFP 2003] % (optional, should be abbreviation of conference name)
    1.73 +% {Conference on Fabulous Presentations, 2003}
    1.74 +% - Either use conference name or its abbreviation.
    1.75 +% - Not really informative to the audience, more for people (including
    1.76 +%   yourself) who are reading the slides online
    1.77 +
    1.78 +% \subject{Theoretical Computer Science}
    1.79 +% This is only inserted into the PDF information catalog. Can be left
    1.80 +% out.
    1.81 +
    1.82 +
    1.83 +
    1.84 +% If you have a file called "university-logo-filename.xxx", where xxx
    1.85 +% is a graphic format that can be processed by latex or pdflatex,
    1.86 +% resp., then you can add a logo as follows:
    1.87 +
    1.88 +% \pgfdeclareimage[height=0.5cm]{university-logo}{university-logo-filename}
    1.89 +% \logo{\pgfuseimage{university-logo}}
    1.90 +
    1.91 +
    1.92 +
    1.93 +% Delete this, if you do not want the table of contents to pop up at
    1.94 +% the beginning of each subsection:
    1.95 +\AtBeginSubsection[]
    1.96 +{
    1.97 +  \begin{frame}<beamer>{Outline}
    1.98 +    \tableofcontents[currentsection,currentsubsection]
    1.99 +  \end{frame}
   1.100 +}
   1.101 +
   1.102 +
   1.103 +% If you wish to uncover everything in a step-wise fashion, uncomment
   1.104 +% the following command:
   1.105 +
   1.106 +%\beamerdefaultoverlayspecification{<+->}
   1.107 +
   1.108 +
   1.109 +\begin{document}
   1.110 +
   1.111 +\begin{frame}
   1.112 +  \titlepage
   1.113 +\end{frame}
   1.114 +
   1.115 +\begin{frame}{Outline}
   1.116 +  \tableofcontents
   1.117 +  % You might wish to add the option [pausesections]
   1.118 +\end{frame}
   1.119 +
   1.120 +
   1.121 +% Structuring a talk is a difficult task and the following structure
   1.122 +% may not be suitable. Here are some rules that apply for this
   1.123 +% solution:
   1.124 +
   1.125 +% - Exactly two or three sections (other than the summary).
   1.126 +% - At *most* three subsections per section.
   1.127 +% - Talk about 30s to 2min per frame. So there should be between about
   1.128 +%   15 and 30 frames, all told.
   1.129 +
   1.130 +% - A conference audience is likely to know very little of what you
   1.131 +%   are going to talk about. So *simplify*!
   1.132 +% - In a 20min talk, getting the main ideas across is hard
   1.133 +%   enough. Leave out details, even if it means being less precise than
   1.134 +%   you think necessary.
   1.135 +% - If you omit details that are vital to the proof/implementation,
   1.136 +%   just say so once. Everybody will be happy with that.
   1.137 +
   1.138 +\section[Fourier]{Fourier Transformation}
   1.139 +\subsection[]{Fourier Reihenentwicklung}
   1.140 +\begin{frame}\frametitle{TODO}
   1.141 +TODO
   1.142 +\end{frame}
   1.143 +
   1.144 +\subsection[]{Fourier Transformation}
   1.145 +\begin{frame}\frametitle{Fourier Transformation Bsp 1}
   1.146 +TODO
   1.147 +\end{frame}
   1.148 +
   1.149 +\subsection[]{}
   1.150 +\begin{frame}\frametitle{Fourier Transformation Bsp 2a}
   1.151 +TODO
   1.152 +\end{frame}
   1.153 +
   1.154 +\begin{frame}\frametitle{Fourier Transformation Bsp 2b}
   1.155 +Aufgabenstellung von Bernhard
   1.156 +\end{frame}
   1.157 +
   1.158 +\begin{frame}\frametitle{Fourier Transformation Bsp 2b}
   1.159 +\footnotesize{
   1.160 +\begin{tabbing}
   1.161 +000\=\kill
   1.162 +01 \> ${\cal F}\;(x(t-2)) =$\\
   1.163 +      \`${\cal F}\;(x(t-T)) = e^{-j\cdot\omega\cdot T}\cdot X\;j\cdot\omega$\\
   1.164 +02 \> $e^{-j\cdot\omega\cdot 2}\cdot X\;(j\cdot\omega)$\\
   1.165 +      \`definition $X\;(j\cdot\omega)$\\
   1.166 +03 \> $e^{-j\cdot\omega\cdot 2}\cdot \int_{-\infty}^\infty x\;t\;\cdot e^{-j\cdot\omega\cdot t} d t$\\
   1.167 +      \` $x\;t = 1\;{\it for}\;\{x.\;-1\leq t\;\land\;t\leq 1\}\;{\it and}\;x\;t=0\;{\it otherwise}$\\
   1.168 +04 \> $e^{-j\cdot\omega\cdot 2}\cdot \int_{-1}^1 1\cdot e^{-j\cdot\omega\cdot t} d t$\\
   1.169 +      \` $\int_a^b f\;t\;dt = \int f\;t\;dt\;|_a^b$\\
   1.170 +05 \> $e^{-j\cdot\omega\cdot 2}\cdot \int 1\cdot e^{-j\cdot\omega\cdot t} d t\;|_{-1}^1$\\
   1.171 +      \` $\int e^{a\cdot t} = \frac{1}{a}\cdot e^{a\cdot t}$\\
   1.172 +06 \> $e^{-j\cdot\omega\cdot 2}\cdot (\frac{1}{-j\cdot\omega}\cdot e^{-j\cdot\omega\cdot t} \;|_{-1}^1)$\\
   1.173 +      \` $f\;t\;|_a^b = f\;b-f\;a$\\
   1.174 +07 \> $e^{-j\cdot\omega\cdot 2}\cdot (\frac{1}{-j\cdot\omega}\cdot e^{-j\cdot\omega\cdot 1} -  \frac{1}{-j\cdot\omega}\cdot e^{-j\cdot\omega\cdot -1})$\\
   1.175 +\vdots\` simplification+factorization in $\cal C$\\
   1.176 +08 \> $e^{-j\cdot\omega\cdot 2}\cdot \frac{1}{-j\cdot\omega}\cdot(e^{j\cdot\omega} - e^{-j\cdot\omega})$\\
   1.177 +      \` trick~!\\
   1.178 +09 \> $e^{-j\cdot\omega\cdot 2}\cdot \frac{1}{\omega}\cdot(\frac{-e^{j\cdot\omega} + e^{-j\cdot\omega}}{j})$\\
   1.179 +      \` table\\
   1.180 +10 \> $e^{-j\cdot\omega\cdot 2}\cdot 2\cdot\frac{\sin\;\omega}{\omega}$
   1.181 +\end{tabbing}
   1.182 +}
   1.183 +\end{frame}
   1.184 +
   1.185 +\begin{frame}\frametitle{Fourier Transformation Bsp 2b}
   1.186 +Voraussetzungen
   1.187 +
   1.188 +
   1.189 +\end{frame}
   1.190 +
   1.191 +\begin{frame}\frametitle{Fourier Transformation Bsp 2b - Tabelle}
   1.192 +TODO
   1.193 +\end{frame}
   1.194 +
   1.195 +\section[]{Faltung}
   1.196 +%\subsection[Isabelle \& \isac]{Isabelle and \isac}
   1.197 +\begin{frame}\frametitle{TODO}
   1.198 +TODO
   1.199 +\end{frame}
   1.200 +
   1.201 +\section[]{Inverse ${\cal Z}$ Transformation}
   1.202 +%\subsection[Isabelle \& \isac]{Isabelle and \isac}
   1.203 +\begin{frame}\frametitle{TODO}
   1.204 +TODO
   1.205 +\end{frame}
   1.206 +
   1.207 +\section[]{Indextranformation}
   1.208 +%\subsection[Isabelle \& \isac]{Isabelle and \isac}
   1.209 +\begin{frame}\frametitle{TODO}
   1.210 +TODO
   1.211 +\end{frame}
   1.212 +
   1.213 +
   1.214 +\end{document}
   1.215 +
   1.216 +