Abgeschlossene Diplom- und Masterarbeiten

2017
2016
2015
2013
2012
2011
2010
2009
2006
2004
2003
2002
  • Alexander Sporn:
    Entwurf einer agentengestützten Benutzungsschnittstelle für einen digitalen Empfänger für Satellitenfernsehen, 2002
2000
1999
1998
  • Dieter Schmidt:
    Entwurf und Implementierung eines Crosscompilers von FunLog++ mach Java, 1998
  • Karmela Galic:
    Implementierung von Arithmetik, Ordnungsrelation und Unifikation für semibekannte Werte im Pro.M.D.-System unter besonderer Berücksichtigung stochastischer Variablen in Momentdarstellung, 1998
  • Michael Steppe:
    Information, Wissen, Repräsentation - Eine Untersuchung einiger Grundbegriffe in der Informatik, 1998
  • Sabine Schneider:
    Vergleich verschiedener Constraint-Satisfaction-Problem-Lösungsverfahren unter Verwendung der Beispielprobleme: Chinese Postman, Mapcoloring und Erfüllbarkeit, 1998
1997
  • Per Anders Beckmann:
    Ein interaktives System zur Verwaltung von funktionalen Programmen, unter Benutzung einer durch HTML erzeugten Benutzeroberfläche, 1997
  • Claudia Höhl:
    Funktionale Implementierung eines Unfikationsalgorithmus für Stratified Second-Order Terme, 1997
  • Norbert Klose:
    n-Pack Transformation im Rahmen eines Front-Ends für Haskell, 1997
  • Ralph Nitsch:
    Implementierung eines Deduktionssystems für eine nichtmonotone Logik basierend auf einem Resolutionsverfahren für Constraint-Klauseln, 1997.
1996
  • Hubert Kick:
    Terminierungsanalyse für den Sprachkern einer nicht-strikten Programmiersprache unter Verwendung eines Tableaukalküls für abstrakte Reduktion, 1996
  • Stefan Höhne:
    Wortstellung in deutschen Infinitiven:
    Konzeption eines Parsers auf der Basis von typisierten Merkmalsstrukturen und HPSG und Implementierung in einer constraint-basierten logischen Programmiersprache, 1996
  • Bernd Rest:
    Optimierende Transformationen zur Übersetzung einer funktionalen Kernsprache in STG-Code, 1996
  • Markus Schmidt:
    Entwicklung und Implementierung eines Typinferenzsystems mit Dimensionstypen für funktionale Sprachen, 1996
1995
1994
1993
  • Jens Melzer:
    Analyse der Abhängigkeitsstruktur von Variablen in Pro.M.D.-Wissensbasen zur Fehlererkennung und Codegenerierung, 1993
  • Marcus Moos:
    Übersetzung von Pro.M.D.-Wissensbasen in funktionale Sprachen, 1993
  • Matthias Hau:
    Implementation und Optimierung genetischer Algorithmen zur Lösung von Job Shop Scheduling-Problemen, 1993
1992
  • Stefan Walther:
    Ein Konzept zur Verarbeitung eines Gewissheitsmasses in einem regelbasierten Diagnosesystem, 1992

$Author: dallmeyer $, $Date: 2017/03/13 15:06:29 $

uni ffm © 1997, 2004