Themen:<\/span><\/p>\n Viele Aufgabenstellungen besch\u00e4ftigen sich mit der Implementierung verschiedener Komponenten in eines der Websysteme die am Fachgebiet betrieben werden <!– des BibSonomy-Systems<\/a>–> oder mit der Analyse der in solchen System vorhandenen Daten. Dar\u00fcber hinaus werden weitere Themen angeboten, die in der Regel einen inhaltlichen Bezug zu aktuellen Forschungsprojekten des Fachgebiets Wissensverarbeitung haben.<\/p>\n 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\u00e4hrend er bei Projektarbeiten auf der technischen Umsetzung liegt.<\/p>\n Zu folgenden Themengebieten k\u00f6nnen wir Arbeiten anbieten; zu konkreten Themen k\u00f6nnen die jeweiligen Betreuer genauere Auskunft geben.<\/p>\n (M<\/span><\/a> = methodischer Schwerpunkt, T<\/span><\/a> = technischer Schwerpunkt, B<\/span><\/a> = als Bachelorarbeit m\u00f6glich, MA<\/span><\/a> = als Masterarbeit m\u00f6glich)<\/p>\n Structural patterns such as n-dimensional cubes, diamonds (M3\u200b), or pentagons (N5\u200b) frequently occur in lattices of real-world data. Identifying and highlighting these well-known sublattices simplifies the interpretation of complex relational data by anchoring the visualization to familiar geometric forms. This project aims to develop a drawing algorithm that detects a predefined sublattice, pins its nodes to fixed positions, and subsequently arranges the remaining structure around this scaffold to investigate how different anchor choices improve lattice readability.<\/p>\n\n\n\n Inquiries: Marcel N\u00f6hre<\/a><\/p>\n\n\n\n <\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> Doubly-additive line diagrams define a concept’s position as the sum of vectors from its extent and complement intent, which naturally produces parallelograms, making the lattice easier to read and enabling interactive features such as drag-and-drop editing. However, the core challenge lies in finding a vector assignment that yields a readable drawing rather than a cluttered one. Therefore, this project aims to extend the force-directed approach of Ralph Freese’s lattice drawing algorithm by optimizing base vectors, rather than refining node positions directly.<\/p>\n\n\n\n Inquiries: Marcel N\u00f6hre<\/a><\/p>\n\n\n\n <\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> \n In the book Conceptual Exploration<\/i> by Ganter and Obiedkov (2016),\n Section 4.2.2 gives the example of exploring the different ways of arranging\n two squares in two dimensions. Later, in Section 6.1.1, the authors also consider\n part of the problem for the case of three squares. In this mostly theoretical\n project or thesis, we want to consider the complete case of three squares and, if\n possible, compute the lattice for the general four square setting.\n<\/p>\n\n\n\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> \n Formalization of a large number of definitions and theorems in Algebra, Number\n Theory and Analysis in\n the lean\n prover<\/a> brings the field of formal theorem proving to the forefront of\n mathematical research. However, mathematical notions and results from the\n field of Formal Concept Analysis are not yet included. Thus, the goal of this\n project (or thesis) is to formally prove the “Basic Theorem on Concept\n Lattices” (or a comparable result), in order to provide a stepping stone in\n this direction. Essentially, this involves building core definitions and\n necessary preliminary results\n by extending\n existing ones<\/a>. We will aim to build\n a lean blueprint<\/a>\n and if you are only interested in a small project, we will find a reasonable\n partial realization to stop at.\n<\/p>\n\n\n\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> Topic models are, often, dimension reduction techniques for large corpora of textual documents. A central aspect to these models is that they allow for text based explanations of the dimensions in the reduced space. A novel technique, called ordinal motifs, interpret and visualize these dimension hierarchically with respect to (ordinal) substructures of standard shape. With your work, you extent this technique towards ordinal motifs over time, develop visualization techniques, and show their applicability in a practical setting.<\/p>\n\n\n\n Informationen: Johannes Hirth<\/a><\/p><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> Topic models are, often, dimension reduction techniques for large corpora of textual documents. A central aspect to these models is that they allow for text based explanations of the dimensions in the reduced space. A novel technique, called ordinal motifs, interpret and visualize these dimension hierarchically with respect to (ordinal) substructures of standard shape. With your work, you extent this technique towards hierarchical topic models, define hierarchical motif structures, develop visualization techniques, and show their applicability in a practical setting.<\/p>\n\n\n\n Informationen: Johannes Hirth<\/a><\/p><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> In scientometrics, scientific collaboration is often analyzed by means of co-authorships. An aspect which is often overlooked and more difficult to quantify is the flow of expertise between authors from different research topics, which is an important part of scientific progress. With the Topic Flow Network (TFN) a graph structure for the analysis of research topic flows between scientific authors and their respective research fields was proposed. With your work, you identify and interpret substructures that are integral to this network.<\/p>\n\n\n\n Informationen: Johannes Hirth<\/a><\/p><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> In dieser Arbeit untersuchen Sie, inwiefern sich die Theorie der formalen Begriffsanalyse auf den Fall \u00fcbertragen l\u00e4sst, dass wir eine lineare Ordnung auf den Attributen und den Objekten vorliegen haben. <\/p>\n\n\n\n Das Ziel ist es, die in der FCA \u00fcblichen Ideen (Begriffe, Implikationen etc.) auf solche Datens\u00e4tze zu \u00fcbertragen und die Theorie mit Echtwelt-Datens\u00e4tzen zu evaluieren. <\/p>\n\n\n\n Informationen: Dominik D\u00fcrrschnabel<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> It is not easy to recognise whether two (reduced) formal contexts are isomorphic, or given a set of formal contexts, how many different formal contexts are contained there. One aid are invariants, i.e. derived quantities, that do not depend on the concrete representation of the formal context. Simple examples are the number of attributes of the context or the number of objects of the context. If two contexts have different values for an invariant, the contexts are not isomorphic. The aim is to examine formal contexts with regard to possible invariants. Formal contexts can be represented as bipartite graphs, therefore, known graph invariants in particular are to be considered. <\/p>\n\n\n\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> \n The project aims to develop a machine learning model that can detect (simple) graphs in images.\n This involves not only an extensive literature review but also gathering useful training data.\n Moreover, we need to train the model to recognize and segment images containing graphs.\n The project will use image classification algorithms and techniques to achieve this goal.\n Completing individual parts may already be enough for a successful conclusion.\n You will build upon work done by previous participants.\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div><\/div><\/p>\n Aufgabenstellung und Termin:<\/span><\/p>\n nach Absprache mit dem jeweiligen Betreuer<\/p>\n Vorkenntnisse:<\/span><\/p>\n Informatik Grundstudium bzw. 30 absolvierte Credits des Masterstudiums<\/p>\n Angesprochener Teilnehmerkreis:<\/span><\/p>\n Bachelor-, Diplom- und Masterstudierende Informatik, Math. NF Inf. Hauptstudium<\/p>\n Leistungsnachweis:<\/span><\/p>\n in der Regel Implementierung, schriftliche Ausarbeitung und Vortrag<\/p>\n Umfang:<\/span><\/p>\n 9 Wochen f\u00fcr Bachelor, 3 Monate f\u00fcr Diplom I und 6 Monate f\u00fcr Master und Diplom II<\/p>\n Veranstalter:<\/span><\/p>\n Prof. Dr. Gerd Stumme<\/span><\/u><\/a>, Master Math. Maximilian Felde<\/span><\/u><\/a>, Dipl.-Math. Tom Hanika<\/span><\/u><\/a>, Master Math. Maren Koyda<\/span><\/u><\/a>, Master Inform. Bastian Sch\u00e4fermeier<\/span><\/u><\/a>, Master Inform. Andreas Schmidt<\/span><\/u><\/a><\/p>\n <\/span><\/p>\n","protected":false},"excerpt":{"rendered":" Bachelor-, Diplom- und Masterarbeiten Themen: Viele Aufgabenstellungen besch\u00e4ftigen sich mit der Implementierung verschiedener Komponenten in eines der Websysteme die am Fachgebiet betrieben werden <!– des BibSonomy-Systems–> oder mit der Analyse der in solchen System vorhandenen Read more…<\/a><\/p>\n","protected":false},"author":8,"featured_media":0,"parent":4290,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-5130","page","type-page","status-publish","hentry"],"translation":{"provider":"WPGlobus","version":"3.0.2","language":"en","enabled_languages":["de","en"],"languages":{"de":{"title":true,"content":true,"excerpt":false},"en":{"title":false,"content":false,"excerpt":false}}},"_links":{"self":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/5130","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/comments?post=5130"}],"version-history":[{"count":2,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/5130\/revisions"}],"predecessor-version":[{"id":5319,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/5130\/revisions\/5319"}],"up":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/4290"}],"wp:attachment":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/media?parent=5130"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Drawing Line Diagrams through Sublattice Anchoring<\/h3>\n\n\n\n
A Doubly-Additive Extension of Freese’s Algorithm<\/h3>\n\n\n\n
The Lattice of Relations between Multiple Squares<\/h3>\n\n\n\n
Formalizing Results of Formal Concept Analysis<\/h3>\n\n\n\n
Temporal Ordinal Motifs in Topic Models<\/h3>\n\n\n\n
Ordinal Motifs in Hierarchical Topic Models<\/h3>\n\n\n\n
Network Motifs in Topic Flow Networks<\/h3>\n\n\n\n
Formal Concept Analysis mit Attribut und Objektordnungen<\/h3>\n\n\n\n
Invariants of Formal Contexts<\/h3>\n\n\n\n
Detecting Graphs in Images<\/h3>\n\n\n\n
Most (if not all) of the programming will be done in Python.\n<\/p>\n\n\n\n