default search action
GI Ausgezeichnete Informatikdissertationen 2019
- Steffen Hölldobler, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Rüdiger Reischuk, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle:
Ausgezeichnete Informatikdissertationen 2019. LNI D-20, GI 2020, ISBN 978-3-88579-775-3 - Daniel Arp:
Erkennung mobiler Schadsoftware mit maschinellen Lernverfahren. 9-18 - Sebastian Baltes:
Arbeitsgewohnheiten und Expertise von Softwareentwicklern. 19-28 - Max Bannach:
Parallele Parametrisierte Algorithmen. 29-38 - Gregor Behnke:
Hierarchisches Planen durch Propositionale Logik. 39-48 - Marco X. Bornschlegl:
Erweiterte Visuelle Benutzerschnittstellen für Big-Data-Analysen. 49-58 - Markus Eisenbach:
Personenwiedererkennung mittels maschineller Lernverfahren für öffentliche Einsatzumgebungen. 59-68 - Heiko Engel:
Auslesekarte zur schnellen Verarbeitung von Detektordaten. 69-78 - Alexander Fillbrunn:
Widening mit Hashbasierter Partitionierung des Hypothesenraums. 79-88 - Mehran Goli:
Automatisierte Analyse virtueller Prototypen auf der ESL. 89-98 - Gramoz Goranci:
Algorithmen für graphbasierte dynamische Probleme. 99-108 - Kerstin Hammernik:
Variationsnetzwerke für die medizinische Bildrekonstruktion. 109-118 - Simone Hantke:
Intelligentes, spielorientiertes Crowdsourcing für Audioverarbeitung. 119-128 - Benjamin Lucien Kaminski:
Erweiterte Verifikationskalküle für Probabilistische Programme. 129-138 - Lisa Kohl:
Verbesserte Kommunikationskomplexität in der Kryptographie. 139-148 - Giulio Malavolta:
Kryptographische Uhren und Anwendungen. 149-158 - Monique Meuschke:
Visuelle Risikoanalyse und Therapieplanung zerebraler Aneurysmen. 159-168 - Christopher Morris:
Lernen mit Graphen: Kern- und neuronale Methoden. 169-178 - Florian Müller:
Around-Body Interaction. 179-188 - Maximilian Pensel:
Schlussfolgern in Defeasible Beschreibungslogiken. 189-198 - Johannes Späth:
Synchronisierte Pushdown Systeme für Datenfluss-Analysen. 199-208 - Jakub Tarnawski:
Neue Graphen-Algorithmen mittels polyedrischer Methoden. 209-218 - Florian Wahl:
Methoden zum Monitoring des zirkadianen Rhythmus im Alltag. 219-228 - Wolfram Wingerath:
Skalierbare Push-basierte Echtzeitanfragen für Pull-basierte DBs. 229-238 - Kyrill Winkler:
Lösbarkeit von Consensus unter Nachrichtengegnern. 239-248 - Alwin Zulehner:
Entwurfsautomatisierung für Quantencomputer. 249-258
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.