Hauptseite
Das Institutsseminar des Instituts für Programmstrukturen und Datenorganisation (IPD) ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten am Institut zu informieren. Insbesondere soll Studierenden am Institut die Gelegenheit gegeben werden, über ihre Bachelor- und Masterarbeiten vor einem größeren Auditorium zu berichten. Schwerpunkte liegen dabei auf der Problemstellung, den Lösungsansätzen und den erzielten Ergebnissen. Das Seminar steht aber allen Studierenden und Mitarbeiter/-innen des KIT sowie sonstigen Interessierten offen.
| Ort | Gebäude 50.34, Seminarraum 348 oder online, siehe Beschreibung |
|---|---|
| Zeit | jeweils freitags, 11:30–13:00 Uhr / 14:00–15:30 Uhr |
Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten:
- Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
- Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion
- Proposal: 12 Minuten Redezeit + 8 Minuten Diskussion
Weitere Informationen: https://sdqweb.ipd.kit.edu/wiki/Institutsseminar. Bei Fragen und Anmerkungen können Sie eine E-Mail an das Institutsseminar-Team schreiben.
Nächste Vorträge
Freitag, 12. August 2022, 11:30 Uhr
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Maximilian Georg | |
|---|---|---|
| Titel | A Comparative Analysis of Data-Efficient Dependency Estimators | |
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Bela Böhnke | |
| Vortragsmodus | online | |
| Kurzfassung | Dependency estimation is a significant part of knowledge
discovery and allows strategic decisions based on this information. Many dependency estimation algorithms require a large amount of data for a good estimation. But data can be expensive, as an example experiments in material sciences, consume material and take time and energy. As we have the challenge of expensive data collection, algorithms need to be data efficient. But there is a trade-off between the amount of data and the quality of the estimation. With a lack of data comes an uncertainty of the estimation. However, the algorithms do not always quantify this uncertainty. As a result, we do not know if we can rely on the estimation or if we need more data for an accurate estimation. In this bachelor’s thesis we compare different state-of-the-art dependency estimation algorithms using a list of criteria addressing the above-mentioned challenges. We partly developed the criteria our self as well as took them from relevant publications. Many of the existing criteria where only formulated qualitative, part of this thesis is to make these criteria measurable quantitative, where possible, and come up with a systematic approach of comparison for the rest. We also conduct a quantitative analysis of the dependency estimation algorithms by experiment on well-established and representative data sets that performed well in the qualitative analysis. | |
Freitag, 19. August 2022, 11:30 Uhr
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Elizaveta Danilova | |
|---|---|---|
| Titel | Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Abschlusspräsentation) | |
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Jakob Bach | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Kurzfassung | |
Mittwoch, 21. September 2022, 09:15 Uhr
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Martin Wittlinger | |
|---|---|---|
| Titel | Identification and refactoring of bad smells in model-based analyses | |
| Vortragstyp | Masterarbeit | |
| Betreuer(in) | Sandro Koch | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Kurzfassung | |
Freitag, 14. Oktober 2022, 11:30 Uhr
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Pascal Tobias Krieg | |
|---|---|---|
| Titel | Preventing Code Insertion Attacks on Token-Based Software Plagiarism Detectors | |
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Timur Sağlam | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | TBD | |
Freitag, 21. Oktober 2022, 11:30 Uhr
Ort: MS Teams
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Philipp Klaus | |
|---|---|---|
| Titel | Entity Linking für Softwarearchitekturdokumentation | |
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Jan Keim | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Kurzfassung | |
| Vortragende(r) | Raoul Teichmann | |
|---|---|---|
| Titel | Entwicklung einer Entwurfszeit-DSL zur Formalisierung von Runtime Adaptationsstrategien für SAS zum Zweck der Strategie-Optimierung | |
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Martina Rapp | |
| Vortragsmodus | online | |
| Kurzfassung | Softwaresysteme der heutigen Zeit werden zunehmend komplexer und unterliegen immer
mehr variierenden Bedingungen. Dadurch gewinnen selbst-adaptive Systeme an Bedeutung, da diese sich neuen Bedingungen dynamisch anpassen können, indem sie Veränderungen an sich selbst vornehmen. Domänenspezifische Modellierungssprachen (DSL) zur Formalisierung von Adaptionsstrategien stellen ein wichtiges Mittel dar, um den Entwurf von Rückkopplungsschleifen selbst-adaptiver Softwaresysteme zu modellieren und zu optimieren. Hiermit soll eine Bachelorarbeit vorgeschlagen werden, die sich mit der Fragestellung befasst, wie eine Optimierung von Adaptionsstrategien in einer DSL zur Entwurfszeit beschrieben werden kann. | |