http://www.tu-ilmenau.de

Logo TU Ilmenau


Ansprechpartner

Prof. Dr. Patrick Mäder (JP)

Fachgebietsleiter

Telefon +49 3677 69-4839

E-Mail senden

Ihre Position

INHALTE

Hauptseminar/Proseminar

Softwaretechnik für sicherheitskritische Systeme

Ziel des Hauptseminars ist die Methodik des wissenschaftlichen Arbeitens und Publizierens anhand interessanter aktueller Forschungsthemen zu erlernen. Dabei schreiben die Teilnehmer zum gewählten Thema einen Übersichtsartikel (Review Paper), welches durch die Betreuer begutachtet wird (Peer Review) und welches abschließend in gemeinsamer Runde aller teilnehmenden Studierenden präsentiert wird (ähnlich einer Konferenz). Dabei beschäftigen sich die Studierenden nicht nur mit aktuellen Forschungsthemen, sondern erhalten auch Einblick in den aktuellen Wissenschaftsbetrieb und werden auf künftiges wissenschaftliches Arbeiten vorbereitet.

Zielgruppe:

Informatik, Ingenieurinformatik, Wirtschaftsinformatik

jeweils im: 4. Semester Bachelor, 2. Semester Master, 8. Semester Diplom

Erstellung der Ausarbeitung:

Die Ausarbeitung ist mit dem Textsatzsystem LaTeX zu erstellen. Bitte verwenden Sie als Vorlage das: LaTeX-KOMA-template von Karl Voit. Lesen Sie vor dem Schreiben die Datei topic.txt im Archiv zu Ihrer Aufgabenstellung. Wenn Sie noch nicht über eine LaTeX-Installation verfügen, finden Sie diese für Windows unter http://miktex.org, für Mac OS unter https://www.tug.org/mactex/ und für Linux im Paket-Manager Ihrer Distribution.

Die folgenden Ratgeber liefern Ihnen grundlegende Hinweise zum Schreiben eines Review-Papers: [1], [2] und [3].

Sprache:

Die Ausarbeitung kann wahlweise in Deutsch oder Englisch verfasst werden, gleiches gilt für die Präsentation.

Liste der Themen:

Folgende Themen stehen für das aktuelle Semester zur Auswahl. Die Download-Links für das Material werden erst nach Anmeldung sichtbar.

Zur Themendiskussion und -vorstellung vereinbaren Sie bitte einen individuellen Termin mit dem jeweiligen Betreuer.

 
ThemaBetreuerMaterial
1Regularisierungstechniken in neuronalen Netzwerken M.Sc. Martin HofmannArchiv
2Bomimetische Verfahren im Bereich Deep Learning M.Sc. Martin HofmannArchiv
3Approximative und Heuristische Frequent Subgraph Mining AlgorithmenM.Sc. Mario JankeArchiv
4Design SlicingProf.(JP) Patrick MäderArchiv
5Transformer-basierte NLP MethodenM.Sc. Alexander PritzkauArchiv
6Hazard and risk analysisM.Sc. Martin RabeArchiv
7Visual Query LanguagesDipl.-Inf. Michael RathArchiv
8Automated Software TraceabilityDipl.-Inf. Michael RathArchiv
9Deep Infomax für unbalancierte GraphenDr. Marco SeelandArchiv
10Recent Progress in Graph Neural NetworksDr. Marco SeelandArchiv
11Geometric Learning in Quantum ChemistryDr. Marco SeelandArchiv
12Angriff und Verteidigung von Tiefen Neuronalen NetzwerkenM.Sc. Dominik WaltherArchiv
13Hyperparameteroptimierung durch Reinforcement LearningM.Sc. Dominik WaltherArchiv
14NN-Architekturen für Semi-supervised Metric EmbeddingDipl.-Inf. Hans-Christian WittichArchiv
15Neuronale Netze für Species Distribution ModelingDipl.-Inf. Hans-Christian WittichArchiv

Zusätzlich zu den aufgelisteten Themen, können mit den Betreuern auch individuell andere Themen besprochen werden.