Humboldt-Universität zu Berlin, Institut für Informatik

Dorian Weber

Publikationen

• 2003: Motion Planning Using Potential Fields
  • Deutsche Version
  • English Version

• 2005: Gödels Incompleteness Theorems: Proseminar Grenzen der Berechenbarkeit
  • PDF-Version des Scriptes
  • Vortragsversion

• 2006: Projekt Radarbrille (technische Informatik 2)
  • PDF-Version 1.1
  • Vortragsfolien

• 2006: Lemon Parsergenerator: Seminar Compilergeneratoren
  • PDF-Version der Vortragsfolien
  • dazu: GNU-Style Präprozessor realisiert mit Lemon
• habs durch Zufall wiedergefunden und fands gar nicht soo schlecht

• 2007: Gamesquad Businessplan (Entrepreneurship)
  • PDF-Version
  • Präsentationsfolien
• 11. Platz unter 427 eingereichten Businessplänen in der ersten Runde im BPW 2007

• 2008: Raytracing mit CUDA: Seminar Prozessortechnologien
  • Vortragsfolien
• Demoprogramm kommt online, sobald ich die Zeit finde es unter Windows lauffähig zu machen

• 2009: Symbolisches SAT-basiertes Model-Checking: Seminar Model-Checking
  • PDF-Version der Folien
  • 2-Bit Zähler Beispielspezifikation
  • Dining Philosophers Beispielspezifikation
  • Tieraufnahmen aus der Nähe mit Weitwinkelobjektiv (unerwartet gezeigt während des Vortrages)
  • Tieraufnahmen aus der Nähe mit Weitwinkelobjektiv mit Hüten (ebenfalls unerwartet)
  • die computergestützten Beispiele benutzen NuSMV

Studium

• WS 07/08: Logik in der Informatik (Prof. Grohe)
  • meine Zusammenfassung der wichtigsten Sätze aus der Vorlesung als Prüfungsvorbereitung
  • PDF
  • LaTeX source falls jemand etwas ergänzen möchte

• SS 08: Theoretische Physik II: Elektrodynamik (Dr. Dorn)
  • Vorlesungsskript, das ich zusammen mit Moritz W. Lemm, unterstützt von Dr. Dorn geschrieben habe
  • Monitorversion, zum Lesen am Rechner
  • Druckversion, für doppelseitigen Druck ohne Bindekorrektur
  • Hefterversion, für doppelseitigen Druck mit 2 cm Bindekorrektur
  • Quellen, für Menschen mit zuviel Freizeit (und solche, die eine spezielle Bindekorrektur benötigen)
  • Feedback ist jederzeit willkommen, auch Fragen! Konstruktive Kritik wird gerne berücksichtigt.
• Letzte Aktualisierung vom 15.06.2010
  • Grafiken für Druck verbessert (keine 0 pt Linien mehr, Farben angepasst, zugeschnitten)
  • kleinere Fehler behoben, die beim Lernen aufgefallen sind
  • das sollte eines der letzten Updates sein - die Abschlussprüfung ist bestanden

Tutorium

• 11.11.2009: kleiner Fermat, Fließkomma
• 18.11.2009: reguläre Sprachen, Fermat-Test
• 25.11.2009: Automatenminimierung, Beweiskorrektur
• 02.12.2009: Lyx, GraphViz, Gnuplot
  • exemplarische Lyx-Datei zum verlinkten Skript
  • exemplarische TeX-Datei zum verlinkten Skript
• 09.12.2009: CYK-Algorithmus, Hashmaps
• 06.10.2010: Pseudozufallszahlen
• 13.01.2010: Komplexitätsanalyse

Software

• 2009: DeadStrip
  • performs dependency analysis for sections on object files and removes unused functions/data from the final exe
  • this project was formerly known as SlipOff - I decided to name it differently in order to emphasize what it does
  • Separate page

Bogus Science

• Decoupling IPv7 from Markov Models in Write-Back Caches
  • paper
  • visit SciGen for further information

Last modified: 02:20 15.06.2010