Allgemein

Invarianten für Formale Kontexte

Invarianten für Formale Kontexte Es ist nicht einfach zu erkennen ob zwei (reduzierte) Formale Kontexte isomorph sind, bzw. gegeben eine Menge Formaler Kontexte zu erkennen wie viele verschiedene Formale Kontexte dort enthalten sind. Ein Hilfsmittel Read more…

Von felde, vor
Allgemein

Begriffliches Skalieren von Datensätzen

Begriffliches Skalieren von Datensätzen Begriffliches Skalieren ist eine Methode der Formalen Begriffsanalyse um einen mehrwertigen Kontext (d.h. einen tabellarischen Datensatz) in einen (einwertigen) formalen Kontext zu überführen. Dazu wurde am Fachgebiet eine Anwendung entwickelt, die Read more…

Von felde, vor
Bachelorarbeit

Eigenschaften von Knoteneinbettungen

Eigenschaften von Knoteneinbettungen In dieser Arbeit sollen verschiedene Einbettungsverfahren für Netzwerke dahingehend untersucht werden, inwiefern Eigenschaften wie „Nähe“ im Ko-Autorengraphen mit der Nähe in der Einbettung korrespondiert. Bei welchen Verfahren werden Nachbarn „nahe“ eingebettet? Korrespondiert Read more…

Von stubbemann, vor
Allgemein

Ensemble Concept based Classification

Ensemble Concept based Classification Ein Problem der Klassifikation mit Formalen Begriffen ist die potentiell exponentielle Anzahl an Begriffen eines Datensatzes. Eine Strategie zur Verringerung der Anzahl sind Reduktionstechniken für Formale Kontexte. Untersuchen sie diese hinsichtlich Read more…

Von hirth, vor
Allgemein

Erklärbarkeit von Klassifikatoren

Erklärbarkeit von Klassifikatoren Viele der gegenwärtig genutzten Lernmodelle zur Klassifikation erzeugen sogenannte Blackbox-Funktionen, z.B. Random Forests oder Neuronale Netze. Diese entziehen sich einer direkten Erklärbarkeit und sind daher für Nuetzer*innen schwer nachvollzieh- und überprüfbar. Es Read more…

Von hanika, vor
Allgemein

Dynamische Topic Models

Thematische Trajektorien mit Dynamischen Topic Models Am Fachgebiet Wissensverarbeitung wird zur Zeit an thematischen Trajektorien von wissenschaftlichen Konferenzen und Journalen geforscht. Um automatisiert Themen zu erkennen haben sich sogenannte Topic Models bewährt. In unserer Forschung Read more…

Von schaefermeier, vor
Allgemein

CUDA

Formal Concept Computation with CUDA Die Berechnung von formalen Begriffen (cf. bi-Cliquen in Graphen) ist ein schweres Problem. Eine Vielzahl von Algorithmen und Techniken wurde entwickelt, darunter „Langdon, W.B., Yoo, S., Harman, M.: Formal Concept Read more…

Von hanika, vor