Category: AI, GenAI, Big Data, Analytical Data Platforms and Data Science – PhD and Master Thesis

Security, Privacy, and Provenance for Generative AI

Jaiden Fairoze EECS Department, University of California, Berkeley Technical Report No. UCB/EECS-2026-126 May 14, 2026 http://www2.eecs.berkeley.edu/Pubs/TechRpts/2026/EECS-2026-126.pdf As generative AI transitions from novelty to critical infrastructure, ensuring its provenance, security, and privacy has become paramount....

Predicting Mood Disorder Risk — A Data Blending and Machine Learning Approach

Predicting Mood Disorder Risk A Data Blending and Machine Learning Approach MASTER’S THESIS by Alex Klein and Florian Reifschneider A thesis submitted in fulfillment of the requirements for the degree of Master of Science Frankfurt...

Path Predicate Abstraction for Sound System-Level Modeling of Digital Circuits

Dissertation Joakim Henrik Urdahl Fachbereich Elektrotechnik und Informationstechnik der Technische Universität Kaiserslautern December, 15 2015 Motivation and Overview Even after years of progress both in simulation-based and formal verification techniques, System- on-Chip (SoC) verification...