5 14pt |
5 14pt |
6 % fleqn |
6 % fleqn |
7 ]{beamer} |
7 ]{beamer} |
8 |
8 |
9 \usepackage{beamerthemedefault} |
9 \usepackage{beamerthemedefault} |
|
10 |
|
11 \usepackage{color} |
|
12 \definecolor{lgray}{RGB}{238,238,238} |
10 |
13 |
11 \useoutertheme[subsection=false]{smoothbars} |
14 \useoutertheme[subsection=false]{smoothbars} |
12 \useinnertheme{circles} |
15 \useinnertheme{circles} |
13 |
16 |
14 \setbeamercolor{block title}{fg=black,bg=gray} |
17 \setbeamercolor{block title}{fg=black,bg=gray} |
113 \begin{spacing}{1.5} |
116 \begin{spacing}{1.5} |
114 \begin{itemize} |
117 \begin{itemize} |
115 \item \textcolor{tug}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal A}$}belle for~{}\textcolor{tug}{${\cal C}$}alculations |
118 \item \textcolor{tug}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal A}$}belle for~{}\textcolor{tug}{${\cal C}$}alculations |
116 \item Interactive Course Material |
119 \item Interactive Course Material |
117 \item Learning Coach |
120 \item Learning Coach |
118 \item Developed at TU Graz |
121 \item Developed at Austrian Universities |
119 \end{itemize} |
122 \end{itemize} |
120 \end{spacing} |
123 \end{spacing} |
121 \end{frame} |
124 \end{frame} |
122 |
125 |
123 \subsection{motivation} |
126 \subsection{motivation} |
124 \begin{frame} |
127 \begin{frame} |
125 \frametitle{Motivation - {\isac{}}~Assessing Advances} |
128 \frametitle{Motivation - {\isac{}}'s~Potential} |
126 \begin{itemize} |
129 \begin{itemize} |
127 \item Stepwise solving engineering problems\\ |
130 \item Stepwise solving of engineering problems\\ |
128 {\small $\rightarrow$ \textcolor{tug}{Consistent Framework}} |
131 {\small $\rightarrow$ \textcolor{tug}{Consistent Framework}} |
129 \item Explaining underlying knowledge\\ |
132 \item Explaining underlying knowledge\\ |
130 {\small $\rightarrow$ \textcolor{tug}{Transparent Content, Access to Multimedia Content}} |
133 {\small $\rightarrow$ \textcolor{tug}{Transparent Content, Access to Multimedia Content}} |
131 \item Checking steps input by the student\\ |
134 \item Checking steps input by the student\\ |
132 {\small $\rightarrow$ \textcolor{tug}{Proof Situation}} |
135 {\small $\rightarrow$ \textcolor{tug}{Proof Situation}} |
144 \frametitle{Thesis Definition} |
147 \frametitle{Thesis Definition} |
145 %---> Follow up thesis abstract! <---% |
148 %---> Follow up thesis abstract! <---% |
146 \begin{spacing}{1.2} |
149 \begin{spacing}{1.2} |
147 \begin{itemize} |
150 \begin{itemize} |
148 \item Creation of interactive course material\\ |
151 \item Creation of interactive course material\\ |
149 {\small Based on given tasks} |
152 {\small Based on problems given by SPSC} |
150 \item Content should be usable\ldots |
153 \item Content should be usable\ldots |
151 \begin{itemize} |
154 \begin{itemize} |
152 \item at specific lectures |
155 \item in Signalprocessing Problem Classes |
153 \item for \emph{STEOP} |
156 \item in \emph{STEOP} |
154 \end{itemize} |
157 \end{itemize} |
155 \item Guideline for upcoming TP-Programmers. |
158 \item Guideline for upcoming TP-Programmers. |
156 \item Feedback of usability\\ |
159 \item Feedback of usability\\ |
157 {\small (TP-Programming-Language)} |
160 {\small (TP-Programming-Language)} |
158 \end{itemize} |
161 \end{itemize} |
196 \frametitle{Technical Survey I {\normalsize Mechanizing Knowledge}} |
199 \frametitle{Technical Survey I {\normalsize Mechanizing Knowledge}} |
197 \begin{spacing}{1.5} |
200 \begin{spacing}{1.5} |
198 \begin{itemize} |
201 \begin{itemize} |
199 \item Not enough knowledge is mechanized\\ |
202 \item Not enough knowledge is mechanized\\ |
200 {\small Equation Solving, Integrals,\ldots} |
203 {\small Equation Solving, Integrals,\ldots} |
201 \item Problems on mechanization\\ |
204 \item Computer Mathematicians required!\\ |
202 {\small Mathematical (Knowledge), Technical (Documentation)} |
205 {\small Mathematics: Equation solving, Engineer: Z-Transform} |
203 \item Biggest task is finding manpower |
206 \item RISC Linz, Mathematics TU Graz |
204 \end{itemize} |
207 \end{itemize} |
205 \end{spacing} |
208 \end{spacing} |
206 \end{frame} |
209 \end{frame} |
207 |
210 |
208 \begin{frame} |
211 \begin{frame} |
209 \frametitle{Technical Survey II {\normalsize Notation Problems} } |
212 \frametitle{Technical Survey II {\normalsize Notation Problems} } |
210 \begin{spacing}{1.5} |
213 \begin{spacing}{1.5} |
211 \begin{itemize} |
214 \begin{itemize} |
212 \item Different brackets have different meanings\\ |
215 \item Different brackets have different meanings\\ |
213 {\small $u[n] \neq u(n)$\ldots in Math; but also in the source code} |
216 {\small $u[n] \neq u(n)$\ldots in Math; but also in the source code} |
214 \item Operators are already in use |
217 \item Simplification, tricks and beauty\\ |
215 \item Tricks on similarisation and beauty\\ |
218 {\small $X\cdot(a+b)+Y\cdot(c+d)=aX+bX+cY+dY$}\\ |
216 {\small Different similarisations for different purpose} |
219 {\small $\frac{1}{j\omega}\cdot\left(e^{-j\omega}-e^{j3\omega}\right)=\frac{1}{j\omega}\cdot e^{-j2\omega}\cdot\left(e^{j\omega}-e^{-j\omega}\right)=$}\\ |
|
220 {\small $=\frac{1}{\omega}\, e^{-j2\omega}\cdot\colorbox{lgray}{$\frac{1}{j}\,\left(e^{j\omega}-e^{-j\omega}\right)$}=\frac{1}{\omega}\,e^{-j2\omega}\cdot\colorbox{lgray}{$2\, sin(\omega)$} $} |
217 \end{itemize} |
221 \end{itemize} |
218 \end{spacing} |
222 \end{spacing} |
219 \end{frame} |
223 \end{frame} |
220 |
224 |
221 \subsection{Demonstration} |
225 \subsection{Demonstration} |
276 |
280 |
277 \begin{frame} |
281 \begin{frame} |
278 \frametitle{Conclusion} |
282 \frametitle{Conclusion} |
279 \begin{spacing}{1.2} |
283 \begin{spacing}{1.2} |
280 \begin{itemize} |
284 \begin{itemize} |
281 \item TP-Programming language not ready |
285 \item TP-based language not ready |
282 \item Not well documented |
286 \item Programming guideline not yet sufficient |
283 \item Gorgeous idea but still a long way |
287 \item Hope for usability in enginieering studies |
284 \vspace{5mm} |
288 \vspace{5mm} |
285 \item Hard to get familiar |
289 \item Hard to spend 200h on 1 programm |
286 \item Found mistakes in own work |
290 \item \isac{} pointed at my own error |
287 \end{itemize} |
291 \end{itemize} |
288 \end{spacing} |
292 \end{spacing} |
289 \end{frame} |
293 \end{frame} |
290 |
294 |
291 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
295 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |