Graduierte

Alte Abschlussarbeiten

Graduierte
Foto: Leon Wu on Unsplash
  • 2013
    • M. Bungart
      Stromnetze als Oszillationsnetzwerke      , Projektarbeit
    • M. Bungart
      Endspiel-Analyse für Lasker-Schach, Masterarbeit
    • Ph. Lucas
      Vereinfachung und Automatisierung der Datenverwaltung für SEMEDICO, Studienarbeit
  • 2012
    • L. Dietzfelbinger
      Ein Überblick über den aktuellen Forschungsstand der "Rechtfertigungen" für Reasoningergebnisse, Bacherlorarbeit
    • M. Kühn
      Automatisches Planen in bechreibungslogikbasierten Domains, Diplomarbeit
    • S. Tilchner
      Kriterien zur Anwendung von KI-Handlungsplanung im Workflowmanagement, Diplomarbeit
    • L. Särve
      Der Turing Test -- Ein hinreichendes Kriterium für den Nachweis denkender Maschinen oder ein nicht erfüllbarer Versuch, das menschliche Denkvermögen berechenbar zu machen., Bachelorarbeit
  • 2009
    • J. Günther
      Entwicklung und Erprobung eines starken ConHex-Spielers, Diplomarbeit
    • J. Kretzschmar
      Untersuchung der Workflow-Sprache WS-BPEL 2.0 im Hinblick auf ihre Unterstützung von Workflow Patterns, Diplomarbeit
    • A. Mies
      Von BPEL zu BPEL4People: Motivation, Ansatz und Bewertung, Diplomarbeit
  • 2007
    • M. Büttner
      Konzeption und Implementierung des persistenten und verteilt zugreifbaren, annahmenbasierten Begründungsverwaltungssystems WEBATMS, Diplomarbeit
    • Ch. Fischer
      Anwendung statistischer Verfahren zur hydrologischen Modellierung in verschiedenen Thüringer Einzugsgebieten, Diplomarbeit
  • 2006
    • Ch. Fischer
      Kostensensitive Bewertung von stickstoffreduzierenden Maßnahmen auf Basis von HydroNET, Studienarbeit
    • Ch. Schäufler
      Definitionslehre aus algorithmischer Sicht, Diplomarbeit
  • 2005
    • N. Bichler
      Das Beschreibungslogiksystem POWERLOOM      , Studienarbeit
    • N. Bichler
      Ein Cluedospieler in PROLOG: Theoretische Überlegungen und praktische Umsetzung, Diplomarbeit
    • T. Brauer
      The Description Logic System FACT: Range, Implementation and Typical Application, Studienarbeit
    • Ch. Schäufler
      Freges aussagenlogischer Begriffskalkül und dessen Automatisierung, Studienarbeit
    • T. Brauer
      Intelligente Unterstützung bei der Indexerstellung in LATEX, Diplomarbeit
    • S. Fritsch
      Eine biomechanische Analyse des Bewegungslernens mittels Neuronaler Netze, Wissenschaftliche Hausarbeit zur Ersten Staatsprüfung für das Lehramt an Gymnasien im Fach Informatik
    • K. Krenzer
      Das Logik-System RACER: Leistungsumfang, Implementierung und beispielhafter Einsatz, Studienarbeit
    • K. Krenzer
      Ein Verfahren zur Online-Klassifikation anormaler Prozessdaten bei der Betonsteinfertigung, Diplomarbeit
  • 2004
    • D. Klan
      Anwendung von stochastischen Suchverfahren für das Training von Dynamischen Neuronalen Netzwerken, Diplomarbeit
  • 2003
    • K. Ertelt
      Annahmenbasierte Constraintprogrammierung für endliche Bereiche, Studienarbeit
    • Ch. Knüpfer
      Testdatengenerierung für die Inferenz von Genregulationsnetzen, Diplomarbeit
  • 2001
    • Ch. Knüpfer
      Ein Lernalgorithmus für das HYDRONN, Studienarbeit
  • 2000
    • T. Anders
      ARNO: Über den Einsatz eines Suchalgorithmus für die musikalische Komposition, Diplomarbeit,
      Hochschule für Musik FRANZ LISZT Weimar
    • M. Hülse
      Körperbasierte Repräsentationen -- Eine Fallstudie an ausgewählten autonomen Robotersystemen, Diplomarbeit
  • 1999
    • Chr. Günsel
      Eine Simulationsumgebung für die Ausführung verallgemeinerter nicht-linearer Pläne, Diplomarbeit
    • S. Kralisch
      Ein graphischer Editor für verallgemeinerte nicht-lineare Pläne, Diplomarbeit
  • 1998
    • V. Glauche
      Einsatz Neuronaler Netze zur Steuerung von Bewegungssystemen, Diplomarbeit
    • K. Kirchner
      Post-Mortem-Analyse WAM-compilierter PROLOG-Programme, Studienarbeit
    • S. Kralisch
      Induktives Lernen mit dem Evolving Transformation System, Studienarbeit
    • J. Popp
      Anlernen und Verfeinern von Wissensbasen, Studienarbeit
    • M. Rahneberg
      Beweisverfahren für die intuitionistische Aussagenlogik verallgemeinerter Hornklauseln, Diplomarbeit
    • J. Popp
      Anlernen und Verfeinern von Wissensbasen, Studienarbeit
  • 1995
    • J. Klausner
      RAM: The RISC Abstract Machine, Diplomarbeit,
      IMMD, Universität Erlangen-Nürnberg
    • T. Seifert
      Formalisierung von Heuristiken für spezielle Induktionsbeweise und ihre Implementierung in PROLOG, Diplomarbeit
  • 1994
    • T. Geisler
      Ein anwendungsunabhängiges Unterstützungssystem zum integrierten annahmenbasierten und temporalen Schließen, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg
    • B. Kemme
      Entscheidungs- und Modelltestalgorithmen propositionaler Temporallogiken: Vergleich und Untersuchung der Anwendbarkeit für temporale Wissensrepräsentation      , Studienarbeit,
    • IMMD, Universität Erlangen-Nürnberg, 1994
    • A. Küchler
      Rewrite Systems for Propositional Inference, Diplomarbeit,
      IMMD, Universität Erlangen-Nürnberg, 1994
    • S. Panne
      EAGLE: Ein Generator für erweiterte attribuierte LR(1) Grammatiken, Diplomarbeit,
      IMMD, Universität Erlangen-Nürnberg, 1994
    • T. Ruland
      Eine effiziente Implementierung von RISC in PROLOG, Diplomarbeit,
      IMMD, Universität Erlangen-Nürnberg, 1994
  • 1993
    • R. Dormeyer, Graphenalgorithmen in PROLOG und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993
    • R. Fuhge, Verteilte Begründungsverwaltung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993
    • S. Panne, REXIS: Ein Scanner-Generator für Scheme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993
    • A. Löhden, Eine PROLOG-Realisierung des Kern-ATMS und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993
    • R. Stolle, Explizite Kontrolle in Logik-Programmen, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993
  • 1992
    • J. Gövert, Integration einer graphischen Benutzerschnittstelle in FORK unter CommonLisp Interface Manager, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
    • A. Küchler, TRUMP: Ein auf Klausellogik basierendes Truth Maintenance System, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
    • J. Nägel, Standardannahmen bei der inkrementellen Strukturanalyse, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
    • S. Seybold, Fehlschlagsbehandlung im Logik-Programmier-System RISC, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
  • 1988
    • H. Kegelmann, FORK für Arbeitsplatzrechner, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1988
    • G. Tobermann, RISC: A Reason-Maintenance-Based Inference System for Generalized Hornclause Logic, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1988
  • 1987
    • L. Euler, PC-ATMS - eine Rekonstruktion von de Kleers Assumption-Based Truth Maintenance Systems in Scheme auf dem IBM PC, Studienarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg, 1987
    • G. Tobermann, Aspekte der Informationsverarbeitung durch Constraint-Systeme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1987
  • 1986
    • M. Tielemann, Eine regelorientierte Erweiterung des Repräsentationssystems FORK, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1986