Diplomandenseminar
der Abteilung Theoretische Informatik
im Wintersemester 2003/2004

Vorträge finden teilweise auch ohne Ankündigung im WWW statt. Interessenten (auch zu anderen fachlichen Fragen aus der theoretischen Informatik) können sich von Jochen Messner in einen E-Mail-Verteiler aufnehmen lassen.

Angekündigte Vorträge:

• 13.11. Lattice-Boltzmann Simulations of Colloids in Hydrodynamic Fields. J. Stallkamp
  Abstract:Lattice-Boltzmann Simulationen sind eine historisch auf zellulären Automaten aufbauende Möglichkeit hydrodynamische Systeme zu simulieren. Diese relative neue Methode eignet sich vor allem um mesoskopische Systeme zu untersuchen. Ausgehend von experimentellen Untersuchungen an biophysikalischen Systemen wird der Einsatz der Lattice-Boltzmann Methode motiviert und eine Einführung in diese Simulationstechnik gegeben. Abschließend werden Simulationsergebnisse für ein einfaches System präsentiert.

• 27.11. Untersuchungen zu Verfahren für Perfektes Hashing. K. Hockel
  Abstract: Das Wörterbuchproblem ist in der Informatik von grundsätzlicher Bedeutung. Hashverfahren ermitteln eine Hashfunktion, die eine Abbildung der zu verwaltenden Schlüsselmenge in eine Tabelle leistet. Wenn es dabei zu keinen Kollisionen kommt, spricht man von einer perfekten Hashfunktion. Wenn gleichzeitig die Tabelle genauso groß wie die Schlüsselmenge ist, handelt es sich um eine minimale perfekte Hashfunktion. Das Konzept universeller Funktionsklassen führt zu randomisierten Verfahren, bei denen keine Annahmen über die Wahrscheinlichkeitsverteilung der Schlüssel notwendig sind. Im Besonderen werden zwei statische ("Hash and Displace" von Rasmus Pagh und "Undo One" von Martin Dietzfelbinger) und ein dynamisches Verfahren ("Cuckoo Hashing" von Rasmus Pagh) vorgestellt.