Browsing D21 (2020) - Ausgezeichnete Informatikdissertationen by Page Number - Digitale Bibliothek

Now showing items 1-20 of 37

Robuster und Hybrider Ansatz zur Schätzung von Gesichtsbewegungen

Hassan, Teena
109-118
Verbessertes Virtual Prototyping für den Entwurfsablauf

Herdt, Vladimir
119-128
Über Diskriminierung durch Künstliche Intelligenz

Iosifidis, Vasileios
129-138
Verbesserung der Qualität von automobilen Testfallspezifikationen

Juhnke, Katharina
139-148
Verständnis und Weiterentwicklung der Programmiersprache Rust

Jung, Ralf
149-158
Synthese im Kontext Parametrischer Markow-Modelle

Junges, Sebastian
159-168
Formale Verifikation von Multiplizierern mit Computeralgebra

Kaufmann, Daniela
169-178
Approximationsalgorithmen für geometrische Optimierungsprobleme

Keldenich, Phillip
179-188
Verifikation Nebenläufiger Programme

Kragl, Bernhard
189-198
Semantische und Interaktive Inhaltsbasierte Bildersuche

Barz, Björn
19-28
COGNICRYPT— Sichere Integration Kryptographischer Software

Krüger, Stefan
199-208
Semantik, Sprache und Geometrie: Szenenverständnis lernen

Laina, Iro
209-218
Privacy-Sovereign Interaction

Marky, Karola
219-228
Stabilität und Expressivität von tiefen generativen Modellen

Mescheder, Lars
229-238
Beweisbar Gesetzmäßigkeiten in Daten finden und ausnutzen

Neumann, Stefan
239-248
Ausdrucksstärke gewichteter Automaten und Logiken

Paul, Erik
249-258
Rechnergestützte Fertigung unter Berücksichtigung der Wahrnehmung

Piovarci, Michal
259-268
Transparenz öffentlicher Einkaufsdaten in Deutschland

Reuter, Britta
269-278
Flexible MRK durch dynamische Aufgabenteilung

Riedelbauch, Dominik
279-288
Bestärkendes Lernen und Metalernen in neuronalen Netzwerken

Scherr, Franz
289-298

Now showing items 1-20 of 37

All of DSpace

This Collection

Browsing D21 (2020) - Ausgezeichnete Informatikdissertationen by Page Number