Readspeaker Menü

Studien- und Diplomarbeiten

Studienarbeiten:

Zu vergeben:

In Arbeit:

  • Kostensensitive Bewertung von stickstoffreduzierenden Maßnahmen auf Basis von Hydro-NET

Beendet:

  • Beschreibung und Implementierung von induktivem Lernen mit dem Evolving Transformation System (ETS)
  • Post-mortem-Analyse von WAM-kompilierten Prolog-Programmen
  • Anlernen und Verfeinern von Wissensbasen
  • Ein Lernalgorithmus für das Hydro-NN
  • Annahmenbasierte Constraint-Programmierung für endliche Bereiche
  • Freges aussagenlogischer Begriffskalkül und dessen Automatisierung
  • Neuronale Kontrolle eines muskel-versehenen einbeinigen Hüpfers
  • Die Beschreibungslogik-Systeme Racer, Fact und Loom: Leistungsumfang, Implementierung und beispielhafter Einsatz

Diplomarbeiten:

Zu vergeben:

In Arbeit:

  • Konzeption und Implementierung einer Rahmenumgebung zum annahmenbasierten Schliessen und deren Erweiterung um endliche Bereichsconstraints

Beendet:

  • Beweisverfahren für die intuitionistische Logik verallgemeinerter Hornklauseln
  • Einsatz neuronaler Netze zur Steuerung von Bewegungssystemen
  • Ein graphischer Editor für verallgemeinerte nicht-lineare Pläne
  • Eine Simulationsumgebung für die Ausführung verallgemeinerter nicht-linearer Pläne
  • ARNO: Über den Einsatz eines Suchalgorithmus für die musikalische Komposition
  • Körperbasierte Repräsentationen - Eine Fallstudie an ausgewählten autonomen Robotersystemen
  • Erzeugung künstlicher Genexpressionsdaten für die Evaluierung von Analyse- und Rekonstruktionsverfahren
  • Anwendung von stochastischen Suchverfahren für das Training von Dynamischen Neuronalen Netzwerken
  • Ein Verfahren zur Online-Klassifikation anomaler Prozesszustände bei der Betonsteinfertigung
  • Algorithmische Aspekte der Definitionslehre

Dissertationen:

In Arbeit:

  • Constraint-basierte Modellierung von Organisationsaspekten von Workflows
  • Extrapolation von Punktmessungen mit der Methode der neuronalen Netze
  • Einsatz moderner KI-Methoden zur Beschreibung komplexer biologischer Prozesse unter besonderer Berücksichtigung dynamischer Aspekte
  • Topic Maps - Grundlagen, Algorithmisierung und Anwendung insbesondere für das Semantic Web

Beendet:

  • Neuronale Netze zur Steuerung von einbeinigen Bewegungssystemen - Entwurf und optoelektronische Implementierung
  • Intelligentes Workflow-Management
  • Darstellung und Analyse hydrologischer Topologien auf der Basis künstlicher neuronaler Netze