Heuristiken für das Sugiyama-Framework Das Sugiyama Framework ist ein Framework für die automatische Generierung von Zeichnungen von Graphen und Netzwerken. Dabei müssen mehrere NP-schwere Probleme mit Hilfe von Heuristiken gelöst. Das Ziel deses Projektes ist Read more…
K-Means und FCA K-means, oder genauer Lloyds Algorithmus ist eine Technik durch welche Datenpunkte im Euklidischen Raum in eine Anzahl von k Clustern zerlegt werden kann. Durch wiederholtest ausführen mit unterschiedlichem k entstehen eine Menge Read more…
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…
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…
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…
Feature Selectors for Concept based Classification Ein Problem der Klassifikation mit Formalen Begriffen ist die potentiell exponentielle Anzahl an Begriffen eines Datensatzes. Vergleichen Sie verschiedene Maße und Selektionsmethoden aus dem Bereich der Formalen Begriffsanalyse hinsichtlich Read more…
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…
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…
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…
Reduktionstechniken in der Formalen Begriffs Analyse Eine Problem für Algorithmen der Formalen Begriffsanalyse ist die Größe der Daten. In dieser Arbeit sollen verschiedene Techniken zur Größenreduktion oder Kompression zusammengetragen und gegenüber gestellt werden. Informationen: Johannes Read more…