Dieses Projekt l\u00e4sst sich als Bachelor- und als Masterprojekt anrechnen.<\/p>\n\n\n\n
Das Fachgebiet Wissensverarbeitung forscht an der Entwicklung von Methoden zur Wissensentdeckung und Wissensrepr\u00e4sentation (Approximation und Exploration von Wissen, Ordnungsstrukturen in Wissen, Ontologieentwicklung) in Daten als auch in der Analyse von (sozialen) Netzwerkdaten und damit verbundenen Wissensprozessen (Metriken in Netzwerken, Anomalieerkennung, Charakterisierung von sozialen Netzwerken). Dabei liegt ein Schwerpunkt auf der exakten algebraischen Modellierung der verwendeten Strukturen und auf der Evaluierung und Neuentwicklung von Netzwerkma\u00dfen. Neben der Erforschung von Grundlagen in den Gebieten Ordnungs- und Verbandstheorie, Beschreibungslogiken, Graphentheorie und Ontologie werden auch Anwendungen \u2013 bspw. in sozialen Medien sowie in der Szientometrie \u2013 erforscht. <\/p>\n\n\n\n
In diesem Umfeld bietet das Fachgebiet regelm\u00e4\u00dfig eine Reihe von Projektthemen an. Sollten Sie eigene Ideen f\u00fcr ein Projekt im Fachgebiet Wissensverarbeitung haben, sprechen Sie uns gerne an. \nDie einzelnen Themen sind im Folgenden beschrieben:<\/p>\n\n\n
How much a municipality or city receives in its annual budget through the federal equalization mechanism depends on a huge number of factors, the interaction of which is difficult for out- and insiders to understand. For example, it is not only the municipality’s own tax revenue that is decisive, but also indirectly the population in the other municipalities. The aim of the project is to provide a tool with which the calculations can be carried out automatically and, if possible, presented in a graphically appealing way. In addition to finding and entering raw data, the difficulties of the project are the sometimes changing legal regulations over time. Nevertheless, the main scientific focus will be on how sensitive the system is to the parameter of the “Grundsteuer-Hebesatz”, which can be set by each local authority.<\/p>\n\n\n\n
Note: In terms of content, this project is very much geared towards dual students of the tax office, as a great deal of specialized knowledge will be required. Nevertheless, the topic is of course open to all students.<\/p>\n\n\n\n
Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Methodischer Schwerpunkt<\/a>, Technischer 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> Es gibt diverse Algorithmen zur Berechnung der Ordnungsdimension. In diesem Projekt implementieren Sie diese und evaluieren ihre Qualit\u00e4t im Hinblick auf Laufzeit und Speicherplatzbedarf.<\/p>\n\n\n\n Informationen: Dominik D\u00fcrrschnabel<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/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> The geographically organised objects in OpenStreetMap are usually tagged with a large number of tags. A side effect of the wiki ethos, however, is that tags are not used consistently and there is a lot of duplication and overlap. Building on previous work analysing tags, we will now look for tags that that have similar meanings or serve the same purpose. A demonstration application is to be developed for the project, which will give suggestions for combining or changing the current tags assigned to an object. Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Methodischer Schwerpunkt<\/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> The package fcaR<\/a> is a software to perform various computations for formal concept analysis in R. Thereby, the algorithms are implemented in C. The goal of this project is to develop python bindings for this C-backend, such that the package can be used in python without relying on R.<\/p>\n\n\n\n Informationen: Dominik D\u00fcrrschnabel<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/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> Ziel dieser Arbeit ist es, zu evaluieren, welche “weichen” Kriterien f\u00fcr Graphzeichnungen in der Praxis wie stark mit als “sch\u00f6n” wahrgenommenen Zeichnungen korellieren. Au\u00dferdem soll untersucht werden, inwieweit die “wichtigen” Kriterien sich beim Zeichnen von Graphen und Ordnungsdiagrammen unterscheiden.<\/p>\n\n\n\n Informationen: Dominik D\u00fcrrschnabel<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/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 Weitere Themen auf Nachfrage.<\/p>\n\n\n\n Nach Absprache mit der\/dem jeweiligen Betreuer. Je nach Thema kann die Aufgabe in Kleingruppen oder einzeln bearbeitet werden.<\/p>\n\n\n\n Montag, 28.10.2024, 16.00 Uhr in Raum 0445\/E. Informatik Grundstudium<\/p>\n\n\n\n Informatik Bachelor und Master, Math. NF Inf. Hauptstudium<\/p>\n\n\n\n 6 oder 12 Credits im Bachelor, bzw. 8 Credits im Master<\/p>\n\n\n\n Implementierung, schriftliche Ausarbeitung, ein Poster und zwei Vortr\u00e4ge (bei 6 Credits 20 min, bei 8\/12 Credits 30 min, jeweils zzgl. ca 15 min Diskussion)<\/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\n\n\n In der Regel sollte die Projektarbeit mit Semesterbeginn begonnen werden. Nach 4-6 Wochen findet eine Zwischenpr\u00e4sentation statt, in der der Stand der Projektarbeit vorgestellt wird. In der Regel in der ersten Vorlesungswoche des folgenden Semesters werden dann die Endergebnisse vorgestellt. Eine kurze Beschreibung der Arbeit (5 Seiten) ist 3 Tage vor dem Vortrag einzureichen.<\/p>\n\n\n\n Eine Woche nach der Annahme des Themas gibt die\/der Studierende eine einseitige Beschreibung der Aufgabe, sowie einen Arbeitsplan f\u00fcr das Semester ab. Zur besseren Koordination und Kommunikation wird erwartet, dass die\/der Studierende bei einem 6 (8-12) Credits-Projekt regelm\u00e4\u00dfig an einem (zwei) Tagen in der Softwarewerkstatt anwesend ist. Der genaue Tag ist in Absprache mit der\/m Betreuer*in festzulegen.<\/p>\n\n\n\n Als Richtlinie f\u00fcr die Erstellung einer guten Ausarbeitung wird das Buch<\/p>\n\n\n\n Markus Deininger and Horst Lichter and Jochen Ludewig and Kurt Schneider. Studien-Arbeiten: ein Leitfaden zur Vorbereitung, Durchf\u00fchrung und Betreuung von Studien-, Diplom- Abschluss- und Doktorarbeiten am Beispiel Informatik. 5. Auflage. vdf Hochschulverlag, Z\u00fcrich, 2005.<\/p>\n<\/blockquote>\n\n\n\n empfohlen, welches in der Bibliothek im Semesterapparat des Fachgebiets Wissensverarbeitung ausliegt, und welches auch in einigen Exemplaren ausleihbar ist. Wir empfehlen die Anschaffung dieses Buchs (9,50 \u20ac), da es Sie bis zur Masterarbeit (und weiter) begleiten kann.<\/p>\n\n\n\n Alle verwendeten Referenzen sind zus\u00e4tzlich zum Literaturverzeichnis der Ausarbeitung in BibSonomy<\/a> einzugeben, mit den Tags “projekt kde < laufendes Semester in der Form ss24 bzw. ws24 > ” und weiteren sinnvollen Tags.<\/p>\n","protected":false},"excerpt":{"rendered":" Projekt Knowledge Discovery and Data Engineering Dieses Projekt l\u00e4sst sich als Bachelor- und als Masterprojekt anrechnen. Das Fachgebiet Wissensverarbeitung forscht an der Entwicklung von Methoden zur Wissensentdeckung und Wissensrepr\u00e4sentation (Approximation und Exploration von Wissen, Ordnungsstrukturen Read more…<\/a><\/p>\n","protected":false},"author":15,"featured_media":0,"parent":9757,"menu_order":26,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-9761","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\/9761","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=9761"}],"version-history":[{"count":6,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/9761\/revisions"}],"predecessor-version":[{"id":9838,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/9761\/revisions\/9838"}],"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=9761"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Formalizing Results of Formal Concept Analysis<\/h3>\n\n\n\n
Implementierung von Algorithmen f\u00fcr die Ordnungsdimension<\/h3>\n\n\n\n
Formal Concept Analysis mit Attribut und Objektordnungen<\/h3>\n\n\n\n
Tag Combination and Synthesis in OpenStreetMap<\/h3>\n\n\n\n
Most (if not all) of the programming will be done in Python. <\/p>\n\n\n\nInvariants 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\nPython-Bindings for fcaR<\/h3>\n\n\n\n
Stabilit\u00e4t von Formalen Kontexten<\/h3>\n\n\n\n
Evaluierung von Graphzeichnungen<\/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
Projektvorbesprechung<\/h3>\n\n\n\n
Bei Interesse k\u00f6nnen Sie auch gerne vorab die\/den jeweiligen Betreuer ansprechen.<\/p>\n\n\n\nVorkenntnisse<\/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
Ablauf<\/h3>\n\n\n\n
\n