Bearbeiten von „KIF445:Zeitplan“

[insert Tabelle des Ablaufs hier]

==Fachvorträge==

=== Prof. Kuske ===

'''Automatische Strukturen'''

Für unterschiedliche Zwecke sind sehr verschiedene Darstellungsformen von z.B. Graphen bekannt (Adjazenzliste, Inzidenzmatrix u.a.). Ihre explizite Natur beschränkt sie a priori auf die Darstellung endlicher
Graphen. In der effektiven Modelltheorie werden jedoch auch unendliche Strukturen untersucht. In diesem Vortrag möchte ich Datenstrukturen vorstellen, mit deren Hilfe u.a. unendliche Graphen dargestellt werden können. Das Hauptaugenmerk liegt auf der Frage, welche Eigenschaften des dargestellten Graphen effektiv bestimmt werden können.

'''Dieser Fachvortrag findet am Freitag, 4.11 um 15:00Uhr im Kirchhoff Hs 1 statt'''

===Prof. Brandenburg ===

Algorithmen für die Tonsignalverarbeitung: Von mp3 zu 3D-Audio für Konzerte und den Heimbereich

Wenn es um die perfekte Klangwiedergabe geht, führen klassische Optimierungsverfahren in die Irre. Es braucht Wissen über die Funktion von Gehör und Gehirn, um passende Verfahren entwerfen zu können. Der Vortrag spannt den Bogen von den Anfängen der Audiocodierung und den dort eingesetzten Grundideen hin zu aktueller Forschung im Bereich 3D-Audio. Die Ergebnisse der Forschung zu 3D-Audio sind schon in Konzertsälen, Planetarien etc. zu finden. Unser Wissen über die Eigenschaften von Gehör und Gehirn ist aber noch nicht vollständig, an manchen Stellen müssen die Lehrbücher neu geschrieben werden.

'''Dieser Fachvortrag findet am Samstag, 5.11 um 10:30Uhr im Kirchhoff Hs 1 statt'''