Viele Aufgabenstellungen besch\u00e4ftigen sich mit der Implementierung verschiedener Komponenten in eines der Websysteme, die am Fachgebiet betrieben werden, oder mit der Analyse der in solchen Systemen 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\n\n\n
Die Themenstellung erfolgt in Absprache mit den Studierenden; die Ausrichtung und der Umfang der Arbeit richten 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\n\n\n
Zu folgenden Themengebieten k\u00f6nnen wir Arbeiten anbieten; zu konkreten Themen k\u00f6nnen die jeweiligen Betreuer genauere Auskunft geben:<\/p>\n\n\n
\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> 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> \n In this project, we will conduct a practical investigation into the random generation of bipartite graphs.\n We will build upon previous works in the field and analyze the properties of the produced distributions.\n Additionally, we will simulate real-world data, potentially using approaches like GAN training.\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> Wir nennen einen formalen Kontext stabil, wenn sich beim Setzen oder Entfernen jedes Kreuzes die Gr\u00f6\u00dfe des Begriffsverbandes nicht verkleinert. Untersuchen Sie Echtweltdaten auf Stabilit\u00e4t und untersuchen Sie, inwiefern sich die Stabilit\u00e4t als Bewertungsma\u00df f\u00fcr intrinsisch sinnvolle Daten eignet.<\/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> \n Recent work investigating geometry and topology of loss landscapes of neural networks\n revealed interesting properties regarding connectivity of clusters of local minima\n [1]<\/a>,\n [2]<\/a>.\n In this work you will try to apply advances in computation intrinsic triangulation for 3d rendering\n [3]<\/a> towards those surfaces\n (or reasonable hyperplane projections).\n One possible motivation for this is the change for an ability to construct geodesic\n paths on the constructed approximation.\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div><\/div>\n\n\n\n Sprechen Sie uns gern zu weiteren Themen an.\nInformationen zu den einzelnen Themen geben Ihnen gerne vorab die Betreuer.\n<\/p>\n\n\n\n Nach Absprache mit der\/dem jeweiligen Betreuer.<\/p>\n\n\n\n Informatik Grundstudium bzw. 30 absolvierte Credits des Masterstudiums<\/p>\n\n\n\n Informatik Bachelor und Master, Math. NF Inf. Hauptstudium<\/p>\n\n\n\n 9 Wochen f\u00fcr Bachelor und 6 Monate f\u00fcr Master<\/p>\n\n\n\n In der Regel Implementierung, schriftliche Ausarbeitung, Vortrag und ein Poster<\/p>\n\n\n\n Prof. Dr. Gerd Stumme<\/a>, Dr. Dominik D\u00fcrrschnabel<\/a>, Mohammad Abdulla, M.Sc. M.Sc.<\/a>, Tobias Hille, M.Sc.<\/a>, Johannes Hirth, M.Sc.<\/a><\/p>\n","protected":false},"excerpt":{"rendered":" Bachelor- und Masterarbeiten Themen Viele Aufgabenstellungen besch\u00e4ftigen sich mit der Implementierung verschiedener Komponenten in eines der Websysteme, die am Fachgebiet betrieben werden, oder mit der Analyse der in solchen Systemen vorhandenen Daten. Dar\u00fcber hinaus werden Read more…<\/a><\/p>\n","protected":false},"author":15,"featured_media":0,"parent":9757,"menu_order":29,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-9759","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\/9759","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\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/comments?post=9759"}],"version-history":[{"count":3,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/9759\/revisions"}],"predecessor-version":[{"id":9828,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/9759\/revisions\/9828"}],"up":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/9757"}],"wp:attachment":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/media?parent=9759"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}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\nGenerators for and Properties of random bipartite Graphs<\/h3>\n\n\n\n
Most (if not all) of the programming will be done in Python.\n<\/p>\n\n\n\nStabilit\u00e4t von Formalen Kontexten<\/h3>\n\n\n\n
Intrinsic Triangulation of Loss Landscapes of Neural Networks<\/h3>\n\n\n\n
Most (if not all) of the programming will be done in Python.\n<\/p>\n\n\n\nAufgabenstellung und Termin<\/h3>\n\n\n\n
Vorkenntnisse<\/h3>\n\n\n\n
Angesprochener H\u00f6rendenkreis<\/h3>\n\n\n\n
Umfang<\/h3>\n\n\n\n
Leistungsnachweis<\/h3>\n\n\n\n
Veranstalter<\/h3>\n\n\n\n