http://www.hgesser.de/ Private Homepage von Hans-Georg Eßer

Navigation Home Impressum Links Lebenslauf Quick Download Software 🔗 ULIX LiPPGen mySSUS 🔗 Vortex F1-X tool 🔗 uvgrep LaTeXDB apache-cc LXA rmmail MailBounce reniceall Blaue Links: intern 🔗 Rote Links: extern

Download-Bereich von Hans-Georg Eßer Diplom- und Abschlussarbeiten | Seminararbeiten | Sonstige Dokumente Diplom- und Abschlussarbeiten Diplomarbeit in Informatik: "Ausnutzung verdeckter Kanäle am Beispiel eines Web-Servers" (169 Seiten, RWTH Aachen, 21.02.2005) Diplomarbeit (PDF-Datei, 1,8 MByte) Abschlussvortrag (PDF-Datei, 4,8 MByte) Zusammenfassung; Literaturangaben Diplomarbeit in Mathematik: "Higher Order Narrowing mit definierenden Bäumen und expliziten Substitutionen" (115 Seiten, RWTH Aachen, 30.09.1997) Diplomarbeit: PostScript (255 KByte), PDF (650 KByte) Einleitung als HTML-Dokument Andere Diplomarbeiten im Lehr- und Forschungsgebiet Informatik II Abschlussarbeit in Fachjournalismus: "Fließende Übergänge zwischen Fachjournalismus und wissenschaftlichen Veröffentlichungen" (24 Seiten, DFJS Berlin, 15.10.2007) Abschlussarbeit: PDF (11 MByte) niedriger aufgelöste Version (300 dpi, Grafiken JPG-komprimiert): PDF (2 MByte) Seminare und andere Vorträge an der RWTH Aachen Seminarausarbeitung "Open Citation Project", Lehrstuhl 3 für Informatik, Wintersemester 2001/2002 Seminarausarbeitung als PDF-Datei (opcit.pdf, 260 K) Link zur Seminarseite des Lehrstuhls für Informatik 3 Vortrag über Unifikation höherer Ordnung im Rahmen des Seminars "Deklarative Programmierung" am Lehr- und Forschungsgebiet Informatik II am 06.06.1995 (Grundlage: Snyder, Gallier, "Higher Order Unification Revisited: Complete Sets of Transformations", Journal of Symbolic Computation (1989) 8, 101-140) Ausarbeitung: PostScript (96 K); Folien: PostScript (29 K) Vortrag über Unifikation höherer Ordnung mittels Expliziter Substitutionen in der Arbeitsgemeinschaft Deklarative Programmierung am Lehr- und Forschungsgebiet Informatik II am 22.01.1997 (Grundlage: Dowek, Hardin, Kirchner: Higher Order Unification via Explicit Substitutions. Technical Report RR-2709, INRIA Lorraine, November 1995) Folien: PostScript (54 KByte) Seminarausarbeitung "Resonanzprinzipien in lokalkonvexen Räumen", Lehrstuhl A für Mathematik, Sommersemester 1994 Seminarausarbeitung als PDF-Datei (handschriftlich; Seminar-Funktionalanalysis.pdf, 1,7 MByte) Skripte Logikprogrammierung, Prof. Dr. M. Hanus, Sommersemester 1995 Skript: PostScript (244 KByte), PDF (336 KByte), DVI (201 KByte) Funktionale Programmierung, Prof. Dr. K. Indermark, Wintersemester 1995/96 Skript: PostScript (205 KByte), PDF (520 KByte) Approximationstheorie I, Prof. Dr. R. L. Stens, Wintersemester 1995/96 Skript: PostScript (294 KByte), PDF (723 KByte) Prüfungsprotokolle Prof. Grädel: Komplexitätstheorie, Mathematische Logik, Graphentheorie (30.09.96) Prof. Mathar: Kryptologie, Informationstheorie, Stochastik I, Topologie (09.04.97) Copyright © 1997-2025 Hans-Georg Eßer; Server: Debian Linux, Apache Web Server, letzte Änderung: Tuesday, 03-Sep-2013 13:38:07 CEST Theme: Hazard Area 1.6 (modified), created by Bryan Bell, Copyright © 2000-2006 Weblogger.com.