Browsing D20 (2019) - Ausgezeichnete Informatikdissertationen by Issue Date - Digitale Bibliothek

Now showing items 1-20 of 26

Methoden zum Monitoring des zirkadianen Rhythmus im Alltag

Wahl, Florian
219-228
Entwurfsautomatisierung für Quantencomputer

Zulehner, Alwin
249-258
Lernen mit Graphen: Kern- und neuronale Methoden

Morris, Christopher
169-178
Auslesekarte zur schnellen Verarbeitung von Detektordaten

Engel, Heiko
69-78
Lösbarkeit von Consensus unter Nachrichtengegnern

Winkler, Kyrill
239-248
Widening mit Hashbasierter Partitionierung des Hypothesenraums

Fillbrunn, Alexander
79-88
Visuelle Risikoanalyse und Therapieplanung zerebraler Aneurysmen

Meuschke, Monique
159-168
Variationsnetzwerke für die medizinische Bildrekonstruktion

Hammernik, Kerstin
109-118
Personenwiedererkennung mittels maschineller Lernverfahren für öffentliche Einsatzumgebungen

Eisenbach, Markus
59-68
Kryptographische Uhren und Anwendungen

Malavolta, Giulio
149-158
Erweiterte Veriﬁkationskalküle für Probabilistische Programme

Kaminski, Benjamin
129-138
Erkennung mobiler Schadsoftware mit maschinellen Lernverfahren

Arp, Daniel
9-18
Parallele Parametrisierte Algorithmen

Bannach, Max
29-38
Neue Graphen-Algorithmen mittels polyedrischer Methoden

Tarnawski, Jakub
209-218
Intelligentes, spielorientiertes Crowdsourcing für Audioverarbeitung

Hantke, Simone
119-128
Hierarchisches Planen durch Propositionale Logik

Behnke, Gregor
39-48
Automatisierte Analyse virtueller Prototypen auf der ESL

Goli, Mehran
89-98
Verbesserte Kommunikationskomplexität in der Kryptographie

Kohl, Lisa
139-148
Synchronisierte Pushdown Systeme für Datenﬂuss-Analysen

Späth, Johannes
199-208
Skalierbare Push-basierte Echtzeitanfragen für Pull-basierte DBs

Wingerath, Wolfram
229-238

Now showing items 1-20 of 26

All of DSpace

This Collection

Browsing D20 (2019) - Ausgezeichnete Informatikdissertationen by Issue Date