Introduction to Scientific Working

Frühere Seminararbeiten

SS 2015

• From Turing to Lamport
  Martin Agreiter
• "Data Languages"
  Huda Al-Qazzaz
• "Who is Who" in Semantic Web
  Bojan Cvjetkovic
• "The History of the History of Software"
  Patrick Deutsch
• Ein Überblick über Programmierparadigmen
  Tamara Gabasch
• SAT Solver und theoretische Ineffizienz
  Sebastian Gandler
• "Who is Who" in Algebra
  Martin Hartl
• Künstliche Intelligenz und militärische Forschung
  Matthais Kapferer
• Warum gibt es TeX bzw. LaTeX?
  Gerald Kofler
• Verwendung von IT im Manhatten Projekt
  Christina Kohl
• Maryam Mirzakhani
  Ulrich Lobis
• Ada Lovelace
  Matteo Melchiori
• Geschichte der theoretischen Informatik
  Fabian Mitterwallner
• Grace Hopper
  Andreas Moritz
• "Who is Who" in Datenbanken und Informationssysteme
  Martin Nocker
• "Who is Who" in Interaktive Grafik und Simulation
  David Peer
• Geschichte und Bedeutung des Hoare Kalküls
  Maximilian Peintner
• Vergleich von XPath, XSLT, XQuery
  Philipp Pobitizer
• XML und JSON, eine Gegenüberstellung
  Emanuel Pörnbacher
• Geschichte der angewandten Informatik
  David Prem
• "Enigma - Das Geheimnis" und "Ein streng geheimes Leben", eine Gegenüberstellung
  Barbara Pritzi
• ``Disambiguating Databases''
  Roland Rendl
• 
  Manuel Schischkoff
• "Who is Who" in Security and Privacy
  Sabrina Schmitzer
• Anwendungsgebiete von Formalen Methoden
  Sarah Schröcker
• "Who is Who" in Distributed and Parallel Systems
  Patrick Summerer
• "Who is Who" in Quality Engineering
  Michael Thurner
• Knuth's Kritik an "The History of the History of Software"
  Sarah Walch
• Sophie Wilson
  Philipp Wirtenberger
• "Who is Who" in Intelligent and Interactive Systems
  Daniel Witsch

SS 2014

• Welchen Dienst bietet whatsapp an?
  Bernhard Behr
• Untersuchen Sie das Geschäftsmodell hinter Facebook anhand der aktuellen Akquisition von whatapp
  Mirko Bez
• Was ist ein "vernetztes Informationssystem"?
  Clemens Brunner
• "Datenschutz", was ist das?
  Claudio Canella
• Rechtliche Grundlagen des Datenschutzes
  Daniel Eberharter
• Künstliche Intelligenz heute
  Michael Fröwis
• Selbstfahrende Autos
  Manuel Gasteiger
• Einsatzmöglichkeiten von Software in Fahrzeugen
  Raphael Gwiggner
• Echtzeitsysteme
  Christoph Haas
• Eingebettete Systeme
  Stefan Haselwanter
• Betriebssysteme und Benutzeroberflächen
  Mario Holtmüller
• Funktionsweise von Datenbanken
  Alexander Jungmann
• Flashspeicher
  Martin Karrer
• Local Area Network
  Manfred Moosleitner
• Wide Area Network
  Christopher Naschberger
• Datenübertragungsverfahren
  Jakob Noggler
• Komprimierungstechniken
  Sabine Oberleiter
• DoS-Attacken
  Thomas Perteneder
• Grundlagen von Rechnernetzen
  Roman Reinold
• Das WYSIWYG Prinzip in der Textverarbeitung
  Samuel Rupprechter
• TeX und LaTeX
  Manuel Schmidt
• Verschlüsselungsverfahren
  Christoph Schöpf
• Mathematische Grundlage der Kryptografie
  Martin Schuchardt
• Algorithmentheorie
  Harald Schweiger
• Komplexitätstheorie
  Yagmur Sentürk
• Hintergrund und Bedeutung des P ≠ NP Problems
  Markus Unterkicher
• Objektorientierte Programmierung
  Valerian Wintner

SS 2013

• Programmierparadigmen: logische Programmierung
  Clemens Degasper
• Programmierparadigmen: funktionale Programmierung
  Thilo Gorfer
• Programmierparadigmen: objektorientierte Programmierung
  Karl Greuter
• Was ist ein Algorithmus?
  Martin Griesser
• Funktion eines Betriebssystems
  Alexander Hirsch
• Datenkodierung
  Fabian Jeschko
• Semantic Web
  Felix Kostenzer
• Malware
  Christian Laqua
• Datenbanken
  Christian Lechner
• Hintergrund und Bedeutung des P ≠ NP Problems
  Matthias Lechner
• Die Geschichte der künstlichen Intelligenz
  Markus Leitner
• Die Geschichte des Internets
  Claudio Mair
• Virtuelle Realität
  Andreas Maislinger
• Was ist das SAT Problem?
  Mathias Mitterdorfer
• DoS-Attacken
  Patrick Ober
• The Human Brain Project
  David Riedl
• Komprimierungstechniken
  Nicola Riedmann
• Mooresches Gesetz
  Mitja Schmakeit
• Church-Turing These
  Juri Seelmann
• Theorie der formalen Sprachen
  Katja Sonderegger
• Spieleprogrammierung
  Matthias Wanner
• Open Access Publications
  Helmut Wolf
• Cloud Programming
  Stefan Wurzinger

SS 2012

• Turing Test
  Florian Auer
• Geschichte der Künstlichen Intelligenz
  Daniel Gasteiger
• Künstliche Intelligenz heute
  Cemalettin Göksu
• Programmierparadigmen: logische Programmierung
  Ivan Hell
• Programmierparadigmen: funktionale Programmierung
  Christoph Klotz
• Programmierparadigmen: objektorientierte Programmierung
  Julian Lang
• Computer und natürliche Sprache
  Christoph Leitner
• Wer war Kurt Gödel?
  Sebastian Mayr
• Hintergrund und Bedeutung des P ≠ NP Problems
  Franziska Rapp
• Geschichte der Booleschen Algebra
  Florian Seidner
• Was ist das SAT Problem?
  David Triendl
• Überblick über automatische Methoden zur Erfüllbarkeit von aussagenlogischen Formeln
  Lukas Vitroler