Projekte

Derzeit ist der nächste Call noch nicht fixiert
Alle Infos

Stipendien

Derzeit ist der nächste Call noch nicht fixiert
Alle Infos

Science

Science Call Start Date
Alle Infos

Virtuelle Währungen in der Insolvenz

Bereits seit den starken Kurszuwächsen des Jahres 2017 sind virtuelle Währungen – allen voran der Bitcoin – im Fokus der Aufmerksamkeit.

Automated Software Verification with First-Order Theorem Provers

Automating formal methods is an ongoing effort in software verification necessary to conclusively prove that critical software infrastructure is error-free. Applications such as IoT, cloud computing and blockchain show that bugs can have severe...

Die Preispersonalisierung im E-Commerce

In dieser Arbeit wird erörtert, welches Umfeld für die Personalisierung von Preisen nötig ist, die technische Ausführung und Machbarkeit, ökonomischen Vor- und Nachteile einer derartigen Differenzierung und...

Synthetic Content for Probe-Resistant Proxies

Proxies sind ein gängiges Mittel um in Ländern wie China, Indien, Iran etc., die Internet-Zensur zu umgehen. Ziel des Zensors ist es, jene Zugänge die zur Zensurumgehung verwendet werden zu finden und zu blockieren.

A Serverless Platform for Automated Machine Learning

In der Arbeit geht es um den Einsatz von Serverless-Computing im Bereich Machine-Learning.