Optimierung von Maßnahmenvorschlägen für Versorgungsnetze durch Lösen eines MWCS-Problems
Institutstermine
Entwicklung eines Compilers in Rust zu Lehrzwecken
"Analyse und Vergleich aktueller Parallelisierungsmöglichkeiten in C++"
Learning to Classify Texts without Labels: An NLP Adaptation of SCAN
Klassifikation und Benchmarking von String-Such Bibliotheken
"Explanation of the Model Checker Verification Result"
Virtual Reality-Lernanwendung im Rahmen der Tischlerausbildung
Untersuchung der Unterschiede in der Erfahrung mit verschiedenen Fortbewgungstechniken im virtuellen Raum
Ein Vergleich der Forschungsschwerpunkt zu Alltagsvorstellungen über Computer und künstliche Intelligenz
Überprüfung der Tinhofer-Eigenschaft bei zirkulanten Graphen