Name | Thema |
Tobias Böhnisch | Operationsbasierte einstufige Synthese von Digital Microfluidic Biochips |
Steven Bösel | Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen Modelleisenbahn |
Carina Harrius | Exploiting Design for Testability for Fault Diagnosis in Reversible Circuits |
Stefan Hillmich | Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik |
Hannes Mau | Unidirektionaler Datenaustausch mittels Zweileitertechnik |
Tim Meywerk | Neue Strategieansätze für Stratego-Bots |
Tom Vincent Peters | Implementierung und Vergleich von Computergegnern für Käsekästchen |
Janosch Reinking | Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation Standard |
Rhea C. Rinaldo | Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten |
Jöran Schlömer | Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen |
Michael A. Schulze | The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital spaceplane, in the drop tower, and in other microgravity platforms |
Hubert Fred Tchambo | Emotion based Lyric Classification with Natural Language Processing |
Marcel Walter | Optimierung von Quantenschaltkreisen durch lokale Umordnung von Qubits |