Search for "ST" returned 10339 results

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

Railways won’t tell us how their train tickets work - shall we force them to?
79 min

Railways won’t tell us how their train tickets work - shall we force them to?

Reality Check! Basel/Lagos?? In virtual reality?
56 min

Reality Check! Basel/Lagos?? In virtual reality?

An African tale of art, culture and technology

PostgreSQL: Zeitreihenanalyse
45 min

PostgreSQL: Zeitreihenanalyse

Tips und Tricks für Zeitreihen ...

Funktioniert Datenschutz im Unsichtbaren? Datenschutzgarantien, Transparenz und Intervenierbarkeit in versteckter Informationstechnik
61 min

Funktioniert Datenschutz im Unsichtbaren? Datenschutzgarantien, Transparenz und…

Jailbreaking iOS
47 min

Jailbreaking iOS

From past to present

Damn Vulnerable Chemical Process
61 min

Damn Vulnerable Chemical Process

Exploitation in a new media

Supplements und Social Media – wenn der Online-Hype zur realen Gesundheitsgefahr wird
58 min

Supplements und Social Media – wenn der Online-Hype zur realen Gesundheitsgefahr wird

Open Source Artificial Intelligence
31 min

Open Source Artificial Intelligence

What the f*** is up with Europe? A conversation about digital EU politics in the present and future
48 min

What the f*** is up with Europe? A conversation about digital EU politics in the present…

How to Research Modern History
55 min

How to Research Modern History

Alpaka.Connect
4 min

Alpaka.Connect

Wanderalpakas
4 min

Wanderalpakas

Was haben Atome je für uns getan?
43 min

Was haben Atome je für uns getan?

I have lasers. You have atoms.

OpenSC - die freie Smartcard Unterstützung
57 min

OpenSC - die freie Smartcard Unterstützung

AI Fairness – Erfahrungen aus der Praxis
30 min

AI Fairness – Erfahrungen aus der Praxis

Eine Schnittstelle zur länderübergreifenden Bereitstellung von ALKIS-Daten
21 min

Eine Schnittstelle zur länderübergreifenden Bereitstellung von ALKIS-Daten

Logging containers
36 min

Logging containers

Collecting host, docker and container logs centrally

Comparison of WAN IGP protocols
103 min

Comparison of WAN IGP protocols

RSTP+flooding/learning for Ethernet, OSPFv2 for IPv4, and…

Taxation
33 min

Taxation

Lightning talks V
62 min

Lightning talks V

Inkscape UI Vision Going Forward
21 min

Inkscape UI Vision Going Forward

GeoServer Microservices: der Weg von GeoServer in die Cloud
20 min

GeoServer Microservices: der Weg von GeoServer in die Cloud

From Haunted Karaoke to the Humour Feature: an Exploration of Auto-Generated Comedy
40 min

From Haunted Karaoke to the Humour Feature: an Exploration of Auto-Generated Comedy

Efficient RAUC Updates using composefs
5 min

Efficient RAUC Updates using composefs