Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:rakel [2018/11/07 11:36]
chomicz [Laufende Abschlussarbeiten]
lehrstuhl:mitarbeiter:rakel [2019/01/29 12:31]
rakel [Betreute Abschlussarbeiten]
Zeile 29: Zeile 29:
 ===== Offene Abschlussarbeiten ===== ===== Offene Abschlussarbeiten =====
 ===== Laufende Abschlussarbeiten ===== ===== Laufende Abschlussarbeiten =====
-  * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_semantic_interpretation_with_logic.pdf | Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik}} 
-  * {{ :​lehre:​abschlussarbeiten:​pc:​180509_ba_ma_evaluation_of_hara_controlled_languages.pdf | Evaluation kontrollierter Sprachen für die Gefährdungsanalyse}} 
   * {{ :​lehre:​abschlussarbeiten:​pc:​180808_ba_ma_classification_with_machine_learning.pdf | Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren}}   * {{ :​lehre:​abschlussarbeiten:​pc:​180808_ba_ma_classification_with_machine_learning.pdf | Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren}}
   * {{ :​lehre:​abschlussarbeiten:​pc:​180808_ba_ma_word_embedding_for_semantic_analysis.pdf | Word Embedding für semantische Textvergleiche in Gefährdungsanalysen}}   * {{ :​lehre:​abschlussarbeiten:​pc:​180808_ba_ma_word_embedding_for_semantic_analysis.pdf | Word Embedding für semantische Textvergleiche in Gefährdungsanalysen}}
Zeile 40: Zeile 38:
   * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_grammatical_framework.pdf | Implementierung kontrollierter Sprachen im Grammatical Framework}}   * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_grammatical_framework.pdf | Implementierung kontrollierter Sprachen im Grammatical Framework}}
   * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_identification_of_contradictions.pdf | Methoden und Algorithmen zur Identifikation von Widersprüchen}}   * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_identification_of_contradictions.pdf | Methoden und Algorithmen zur Identifikation von Widersprüchen}}
 +  * {{ :​lehre:​abschlussarbeiten:​sr:​gsn_editor.pdf |Goal Structuring Notation Editor}}
 +  * {{ :​lehre:​abschlussarbeiten:​ba_pc_database_driven_input_support.pdf | Datenbankbasierte Eingabeunterstützung für Gefährdungsanalysen}}
 +  * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_semantic_interpretation_with_logic.pdf | Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik}}
 +  * {{ :​lehre:​abschlussarbeiten:​pc:​180509_ba_ma_evaluation_of_hara_controlled_languages.pdf | Evaluation kontrollierter Sprachen für die Gefährdungsanalyse}}
 +  * Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung
 +  ​
 ===== Publikationen ===== ===== Publikationen =====
 <BIBTEX: file=publikationen style=i11 sort=year filter=Rakel>​ <BIBTEX: file=publikationen style=i11 sort=year filter=Rakel>​