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