Readspeaker Menü

Studien- und Diplomarbeiten

  • T. Anders, ARNO: Über den Einsatz eines Suchalgorithmus für die musikalische Komposition, Diplomarbeit, Hochschule für Musik FRANZ LISZT Weimar, 2000

  • N. Bichler, Das Beschreibungslogiksystem POWERLOOM, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

  • N. Bichler, Ein Cluedospieler in PROLOG: Theoretische Überlegungen und praktische Umsetzung, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

  • T. Brauer, The Description Logic System FACT: Range, Implementation and Typical Application, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

  • T. Brauer, Intelligente Unterstützung bei der Indexerstellung in LATEX, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

  • M. Büttner, Konzeption und Implementierung des persistenten und verteilt zugreifbaren, annahmenbasierten Begründungsverwaltungssystems WEBATMS, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2007

  • R. Dormeyer, Graphenalgorithmen in PROLOG und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

  • K. Ertelt, Annahmenbasierte Constraintprogrammierung für endliche Bereiche, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2003

  • 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

  • Ch. Fischer, Kostensensitive Bewertung von stickstoffreduzierenden Maßnahmen auf Basis von HydroNET, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2006

  • Ch. Fischer, Anwendung statistischer Verfahren zur hydrologischen Modellierung in verschiedenen Thüringer Einzugsgebieten, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2007

  • 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, Friedrich-Schiller-Universität Jena, 2005

  • R. Fuhge, Verteilte Begründungsverwaltung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

  • T. Geisler, Ein anwendungsunabhängiges Unterstützungssystem zum integrierten annahmenbasierten und temporalen Schließen, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

  • V. Glauche, Einsatz Neuronaler Netze zur Steuerung von Bewegungssystemen, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

  • J. Gövert, Integration einer graphischen Benutzerschnittstelle in FORK unter CommonLisp Interface Manager, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

  • Chr. Günsel, Eine Simulationsumgebung für die Ausführung verallgemeinerter nicht-linearer Pläne, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1999

  • J. Günther, Entwicklung und Erprobung eines starken ConHex-Spielers, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2009

  • M. Hülse, Körperbasierte Repräsentationen -- Eine Fallstudie an ausgewählten autonomen Robotersystemen, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2000

  • H. Kegelmann, FORK für Arbeitsplatzrechner, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1988

  • 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

  • K. Kirchner, Post-Mortem-Analyse WAM-compilierter PROLOG-Programme, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

  • D. Klan, Anwendung von stochastischen Suchverfahren für das Training von Dynamischen Neuronalen Netzwerken, Diplomarbeit, Institut für Informatik, Universität Jena, 2004

  • J. Klausner, RAM: The RISC Abstract Machine, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1995

  • Ch. Knüpfer, Ein Lernalgorithmus für das HYDRONN, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2001.

  • Ch. Knüpfer, Testdatengenerierung für die Inferenz von Genregulationsnetzen, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2003.

  • S. Kralisch, Induktives Lernen mit dem Evolving Transformation System, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

  • S. Kralisch, Ein graphischer Editor für verallgemeinerte nicht-lineare Pläne, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1999

  • K. Krenzer, Das Logik-System RACER: Leistungsumfang, Implementierung und beispielhafter Einsatz, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

  • K. Krenzer, Ein Verfahren zur Online-Klassifikation anormaler Prozessdaten bei der Betonsteinfertigung, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

  • J. Kretzschmar, Untersuchung der Workflow-Sprache WS-BPEL 2.0 im Hinblick auf ihre Unterstützung von Workflow Patterns, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2009

  • A. Küchler, TRUMP: Ein auf Klausellogik basierendes Truth Maintenance System, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

  • A. Küchler, Rewrite Systems for Propositional Inference, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

  • A. Löhden, Eine PROLOG-Realisierung des Kern-ATMS und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

  • A. Mies, Von BPEL zu BPEL4People:
    Motivation, Ansatz und Bewertung    , Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2009

  • J. Nägel, Standardannahmen bei der inkrementellen Strukturanalyse, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

  • S. Panne, REXIS: Ein Scanner-Generator für Scheme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

  • S. Panne, EAGLE: Ein Generator für erweiterte attribuierte LR(1) Grammatiken, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

  • J. Popp, Anlernen und Verfeinern von Wissensbasen, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

  • M. Rahneberg, Beweisverfahren für die intuitionistische Aussagenlogik verallgemeinerter Hornklauseln, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

  • T. Ruland, Eine effiziente Implementierung von RISC in PROLOG, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

  • Ch. Schäufler, Freges aussagenlogischer Begriffskalkül und dessen Automatisierung, Studienarbeit, Institut für Informatik, Universität Jena, 2005

  • Ch. Schäufler, Definitionslehre aus algorithmischer Sicht, Diplomarbeit, Institut für Informatik, Universität Jena, 2006

  • T. Seifert, Formalisierung von Heuristiken für spezielle Induktionsbeweise und ihre Implementierung in PROLOG, Diplomarbeit, Institut für Informatik, Universität Jena, 1995

  • S. Seybold, Fehlschlagsbehandlung im Logik-Programmier-System RISC, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

  • R. Stolle, Explizite Kontrolle in Logik-Programmen, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

  • M. Tielemann, Eine regelorientierte Erweiterung des Repräsentationssystems FORK, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1986

  • G. Tobermann, Aspekte der Informationsverarbeitung durch Constraint-Systeme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1987

  • G. Tobermann, RISC: A Reason-Maintenance-Based Inference System for Generalized Hornclause Logic, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1988