Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:rakel [2018/09/11 10:17] chomicz [Offene Abschlussarbeiten] |
lehrstuhl:mitarbeiter:rakel [2018/09/11 10:17] chomicz [Laufende Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 35: | Zeile 35: | ||
| * {{ :lehre:abschlussarbeiten:171113_ba_ma_semantic_interpretation_with_logic.pdf | Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik}} | * {{ :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: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}} | ||
| + | | ||
| ===== Betreute Abschlussarbeiten ===== | ===== Betreute Abschlussarbeiten ===== | ||
| * {{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}} | * {{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}} | ||