Bachelor- und Masterarbeiten
Themen
Viele Aufgabenstellungen beschäftigen sich mit der Implementierung verschiedener Komponenten in eines der Websysteme die am Fachgebiet betrieben werden oder mit der Analyse der in solchen System vorhandenen Daten. Darüber hinaus werden weitere Themen angeboten, die in der Regel einen inhaltlichen Bezug zu aktuellen Forschungsprojekten des Fachgebiets Wissensverarbeitung haben.
Die Themenstellung erfolgt in Absprache mit dem Studierenden; die Ausrichtung und der Umfang der Arbeit richtet sich nach dem jeweils angestrebten Anschluss. Prinzipiell liegt der Schwerpunkt bei Abschlussarbeiten auf der Methodik, während er bei Projektarbeiten auf der technischen Umsetzung liegt.
Zu folgenden Themengebieten können wir Arbeiten anbieten; zu konkreten Themen können die jeweiligen Betreuer genauere Auskunft geben.
PCA auf formalen Kontexten
Principal Component Analysis dient dazu, Datensätze zu vereinfachen. Hierbei wird eine große Menge an (möglicherweise) korrelierten Variablen in eine möglichst aussagekräftige kleinere Menge transformiert. Dieses Vorgehen soll auf formale Kontexte übertragen werden, um ihre Merkmalsmenge einzuschränken.
Informationen: Maren Koyda
Begriffsverband der Maße
Es gibt eine Vielzahl von Maßen zur Identifikation von interessanten formalen Begriffen in Begriffsverbänden. Diese besitzen wiederum sehr verschiedene Eigenschaften wie zum Beispiel Monotonie. Dieser Arbeit besteht aus dem Zusammentragen und der Erstellung einer begriffliche Ordnung aller bekannten Maße.
Informationen: Tom Hanika
Dichtebasiertes Clustering und FBA
Die zentrale Fragestellung dieser Arbeit ist die Verbindung zwischen dichtebasiertem Clustering und der Formalen Begriffsanalyse (FBA). Inwiefern können Ideen und Methoden des dichtebasiertem Clustering auf FBA übertragen werden?
Informationen: Gerd Stumme
Entropie in formalen Kontexten
Entropie ist eine zentrales Maß für viele Objekte in der Wissenschaft. Es gibt verschiedene Ansätze die Idee von Entropie auf soziale Netzwerke zu übertragen. In dieser Arbeit soll ein Schritt weiter gegangen werden, indem eine Weiterübertragung auf formale Kontexte versucht wird. Neben der Modellierung soll eine Evaluierung hinsichtlich der Nutzbarkeit durchgeführt werden.
Informationen: Gerd Stumme
Heuristiken zum Finden maximaler Cliquen
Die maximale Cliquen in einem bipartiten Graphen $G$ entsprechen den formalen Begriffen eines Kontext welcher Isomorph zu Adjazenzmatrix von $G$ ist. Die Berechnung der Menge der formalen Begriffe ist aufwändig. Inwiefern können maximale Cliquen einer gewissen Größe durch heuristische Algorithmen leichter gefunden werden?
Informationen: Tom Hanika
Generator für zufällige bipartite Graphen
In diesem Projekt sollen verschiedene Ansätze für die zufällige Erzeugung bipartiter Graphen praktisch untersucht werden. Dabei soll insbesondere versucht werden, realweltliche Daten zu simulieren. Die Algorithmen sollen in Python3 oder Clojure implementiert werden.
Informationen: Tom Hanika
Pedestrian Dead Reckoning Methoden zur Schätzung der Lage von Orten zueinander
Bei der Erstellung topologischer Karten mithilfe von Sensordaten ist eine ungefähre Abschätzung der Lage der Orte zueinander interessant. Dies kann mit Methoden des Pedestrian Dead Reckoning realisiert werden, bei denen die Bewegung anhand einer Schrittdetektion und der Schätzung der jeweiligen Schrittrichtung und -länge modelliert wird. Je nach Umfang des Projektes ist eine Fokussierung auf einen der Teilaspekte möglich (zum Beispiel Entfernungen oder Himmelsrichtungen zwischen Orten).
Informationen: Bastian Schäfermeier
Aufgabenstellung und Termin
Nach Absprache mit dem jeweiligen Betreuer.
Vorkenntnisse
Informatik Grundstudium bzw. 30 absolvierte Credits des Masterstudiums
Angesprochener HörerInnenkreis
Informatik Bachelor und Master, Math. NF Inf. Hauptstudium
Umfang
9 Wochen für Bachelor und 6 Monate für Master
Leistungsnachweis
In der Regel Implementierung, schriftliche Ausarbeitung und Vortrag
Veranstalter
Prof. Dr. Gerd Stumme, Master Math. Dominik Dürrschnabel, Master Math. Maximilian Felde, Dr. Tom Hanika, Master Math. Maren Koyda, Master Inform. Bastian Schäfermeier, Master Inform. Andreas Schmidt, Master Math. Maximilian Stubbemann