Logo des Repositoriums

Seminars

https://dl.gi.de/handle/20.500.12116/22
Im Strang "Seminars" werden Proceedings zu Dagstuhl-Seminare und Einreichungen zu den GI-Informatiktagen veröffentlicht.
Auflistung nach:

Auflistung Seminars nach Autor:in "Becker, Michael"

1 - 10 von 42
  • Konferenzbeitrag
    Adversarial N-player Search using Locality for the Game of Battlesnake
    (SKILL 2019 - Studierendenkonferenz Informatik, 2019) Schier, Maximilian Benedikt; Wüstenbecker, Niclas
    This paper presents an approach to designing a planning agent for simultaneous N-player games. We propose to reduce the complexity of such games by limiting the search to players in the locality of the acting agent. For Battlesnake, the game at hand, an iterative deepening search strategy utilizing both alpha-beta and max^n search is suggested. Useful metrics for estimating player advantage are presented, especially using a diamond flood filler for measuring board control. Furthermore, the process of our heuristic parameter tuning with a grid search and a genetic algorithm is described. We provide a qualitative analysis of our algorithm's performance at the international artificial intelligence competition Battlesnake, Victoria. Here, our agent placed second in the intermediate division.
  • Konferenzbeitrag
    Allgemeines Referenzmodell zur Digitalen Transformation im öffentlichen Sektor
    (SKILL 2020 - Studierendenkonferenz Informatik, 2020) Hanke, Karlsen
    Der öffentliche Sektor steht vor der Herausforderung, seine Verwaltung digital zu transformieren und einen durchgängigen Informationsfluss für alle Projektbeteiligten zu gewährleisten sowie Vorhaben (bspw. das Onlinezugangsgesetz) zu planen und umzusetzen. Ziel dieser Arbeit ist es, eine konsistente Vorgehensweise über alle föderalen Stufen bereitzustellen. Das erstellte Referenzmodell unter Einbeziehung aktueller Literatur umfasst sieben Elemente zur Digitalen Transformation der spezifischen Domäne. Mit dem kombinierten Reifegradmodell wird eine Klassifizierungs- und Vergleichsmöglichkeit nach festgelegten Kriterien geboten, um die Transformation in ihren Verwaltungsleistungen zu priorisieren und Umsetzungen zu verfolgen.
  • Konferenzbeitrag
    aMAZEing Programming — Providing SKILLs to Fellow Students
    (SKILL 2019 - Studierendenkonferenz Informatik, 2019) Gros, Timo P.; Held, Pascal L.; Lauer, Pascal; Metzger, Niklas O.; Weis, Kallistos
    Learning programming can be hard, especially for inexperienced freshman. An aMAZEing team of 30 students decided to lighten that challenge for their fellow students. This paper will present the attempt of volunteers to prepare their fellow students for their programming course, resulting in a week full of lectures, projects, coachings and didactical effort.
  • Konferenzbeitrag
    Anpassung von Stencil-Codes zur Laufzeit mit Hilfe von Umschreiben auf Binärebene für dynamisch bestimmtes Speicherlayout
    (SKILL 2018 - Studierendenkonferenz Informatik, 2018) Pröll, Konrad M.
    Die Optimierung von Stencil-Codes ist eine zentrale Herausforderung im Bereich des Hochleistungsrechnen. Die meisten Ansätze fokussieren sich entweder darauf, diese zur möglichst effizient zur Berechnung auf groSSen Parallelrechenstrukturen zu parallelisieren oder die möglichst effiziente Ausnutzung des Caches, um die Leistung zu steigern. Viele Stencil-Codes nutzen einfache Arrays zur Speicherung der Matrix. Komplexere Datenstrukturen erhöhen die Rechenzeit des Stencil-Codes dadurch, dass die Berechnung der Speicheradresse einer Zelle deutlich komplizierter wird und sogar bedingte Sprünge enthält. In dieser Arbeit wird ein Ansatz vorgeschlagen, wie aus bereits kompilierten Stencil-Codes zur Laufzeit das Speicherlayout analysiert werden kann und das Programm durch partielle Evaluation optimiert wird. Im Gegensatz zu konventioneller partieller Evaluation wird hierbei nicht für konstante Argumente, sondern für Wertebereiche, in denen sich ein Argument befindet, spezialisiert. Durch diese Methode können die Leistungseinbußen merklich reduziert werden.
  • Konferenzbeitrag
    Asynchronous and Decentral Group Management in Messengers with Delegated Proof of Stake
    (SKILL 2020 - Studierendenkonferenz Informatik, 2020) Hellenbrand, Andreas
    Mobile messaging applications are used widely for group communication using group chats. Most messenger platforms rely on their centralized infrastructure to maintain the group states. This can imply privacy issues and allow potential misuse by the messenger providers. To resolve this privacy implications, a decentral approach can be implemented. The decentral protocol presented in this work is based on the Delegated Proof of Stake consensus protocol and uses a blockchain to store the groups state. The main focus of this work is the optimization of the protocol to be able to deal with the asynchronous environment of mobile applications.
  • Konferenzbeitrag
    Auswirkung von Veränderungen des geomagnetischen Felds auf Migräneanfälle
    (SKILL 2018 - Studierendenkonferenz Informatik, 2018) Lankl, Noah; Kirsch, Marvin; Wünsche, Felix
    Innerhalb dieses Papers werden Veränderungen des geomagnetischen Felds in Verbindung mit dem Auftreten von Migräneanfällen von circa 6000 Patienten untersucht. Ziel ist es, eine Aussage darüber zu treffen, ob genannte Änderungen einen Einfluss auf Migräneanfälle haben. Als Basis für diese Untersuchung werden zunächst die Daten vorverarbeitet. Im Anschluss folgt die Analyse. Anschließend wird das Vorgehen kurz diskutiert und schlussendlich ein Fazit gezogen. Unsere Ergebnisse deuten auf einen statistisch signifikanten Einfluss des geomagnetischen Felds auf Migräneanfälle hin.
  • Konferenzbeitrag
    Automatic Aortic Wall Segmentation and Plaque Detection using Deep Convolutional Neural Networks
    (SKILL 2018 - Studierendenkonferenz Informatik, 2018) Beetz, Marcel
    Abnormal aortic wall thickness and the presence of aortic plaque have been linked to various types of cardiovascular disease. QuantiĄcation of both indicators currently depends on manual or semi-automatic methods which suffer from limited quality and long acquisition times. This work presents various fully automatic state-of-the art solutions to two medical image processing problems: aortic wall segmentation and plaque slice detection. A u-net derived residual convolutional neural network (CNN), a cascaded pipeline of two CNNs and a 3D CNN architecture are used for aortic wall segmentation. Plaque detection is performed by a standard multilayer residual CNN classification architecture, a u-net derived CNN classifier and a capsule CNN. The experiments show that the u-net inspired residual CNN performs best at the aortic wall segmentation task with a Dice score of around 0.8 while the capsule CNN achieves the best results in slice-wise plaque detection with a precision of 0.74 and an accuracy of 0.68.
  • Konferenzbeitrag
    Baumautomaten als notationelle Variante logischer Matrix-Semantik
    (SKILL 2019 - Studierendenkonferenz Informatik, 2019) Grätz, Lukas
    Automaten sind als Grundlage der theoretischen Informatik in der Regel Bestandteil einer Vorlesung über Automaten und Sprachen im Bachelor. Wahrheitsfunktionen werden für die Semantik der Aussagenlogik ebenfalls in einer Grundlagenveranstaltung behandelt. Wie sich nun herausstellt, sind beide Konzepte ab einem gewissen Abstraktionsgrad äquivalent und nur bezüglich Terminologie und Notation unterschiedlich: (aufsteigende) Baumautomaten und Matrizen für mehrwertige Logik. Neben dem deterministischen Fall ist die nicht-deterministische Semantik Thema meiner Masterarbeit.
  • Konferenzbeitrag
    Community Detection in Complex Networks using Genetic Algorithms
    (SKILL 2018 - Studierendenkonferenz Informatik, 2018) Lehnerer, Simon
    Detecting the community structure is of great interest when analyzing the topology of a network, however it is not a trivial problem. In this article a genetic algorithm is proposed which Ąnds the community structure of a network based on the maximization of a quality function called modularity. Tests using several sample networks show that it reliably Ąnds the community structure. However it does not resolve sufficiently small communities as intuitively expected due to an effect known as resolution limit.
  • Konferenzbeitrag
    Datenbasierter Vergleich von statistischen Tests mithilfe von Simulationen
    (SKILL 2019 - Studierendenkonferenz Informatik, 2019) Welter, Felix
    Die Wahl des richtigen statistischen Verfahrens ist für einen A/B-Test essentiell. Bei Nutzung eines mächtigen Tests kann ein Experiment schneller zu Erkenntnissen führen und es können früher datengetriebene Entscheidungen getroffen werden. In dieser Untersuchung wurden der Permutationstest und der Wilcoxon-Rangsummentest bezüglich Mächtigkeit und Alpharobustheit verglichen. Die Vorgehensweise kann zudem abstrahiert und auf andere Tests oder Anwendungen übertragen werden.