Search for "Math" returned 1259 results

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

Embarrassingly Parallel
57 min

Embarrassingly Parallel

Intro to Realtime 3D Computer Graphics

Stadt.Land.Klima! - Für Transparenz im Kommunalen Klimaschutz
47 min

Stadt.Land.Klima! - Für Transparenz im Kommunalen Klimaschutz

Confessions of a command line geek: why I don't use GNOME but everyone else should
56 min

Confessions of a command line geek: why I don't use GNOME but everyone else should

card10 Badge
31 min

card10 Badge

Collection and use of data about entrances of buildings
34 min

Collection and use of data about entrances of buildings

Neither Snow Nor Rain Nor MITM… The State of Email Security in 2015
49 min

Neither Snow Nor Rain Nor MITM… The State of Email Security in 2015

SCION for a greener Internet?
21 min

SCION for a greener Internet?

BGP Analytics with OpenConfig Telemetry and gRPC
35 min

BGP Analytics with OpenConfig Telemetry and gRPC

A Failure Enthusiast
24 min

A Failure Enthusiast

Patching Democracy
62 min

Patching Democracy

Automated derivation of public urban green spaces via activity-related barriers using OpenStreetMap.
26 min

Automated derivation of public urban green spaces via activity-related barriers using…

What to do when someone close to you takes their life and you are not Tech-Savvy
33 min

What to do when someone close to you takes their life and you are not Tech-Savvy

The smart home I didn't ask for
31 min

The smart home I didn't ask for

London Underground open data: much more than you ever wanted to know
27 min

London Underground open data: much more than you ever wanted to know

Cyber Security Myths and Monsters: how to change behaviours for the better
36 min

Cyber Security Myths and Monsters: how to change behaviours for the better

🌟 B&B Panel: Global Justice and Digitalisation (EN)
90 min

🌟 B&B Panel: Global Justice and Digitalisation (EN)

Rust Binary Analysis, Feature by Feature
42 min

Rust Binary Analysis, Feature by Feature

Building a transparent Layer 1 Switch using P4
10 min

Building a transparent Layer 1 Switch using P4

Informationssicherheit & IT-Risikomanagement am Beispiel der Bank B
50 min

Informationssicherheit & IT-Risikomanagement am Beispiel der Bank B

Don't Ruck Us Too Hard - Owning Ruckus AP Devices
48 min

Don't Ruck Us Too Hard - Owning Ruckus AP Devices

3 different RCE vulnerabilities on Ruckus Wireless access…

Schroedinger’s net neutrality
18 min

Schroedinger’s net neutrality

Solving problems of the Anthropocene -- The tricky, the hard and the impossible
45 min

Solving problems of the Anthropocene -- The tricky, the hard and the impossible

Identify map problems in OSM by connectivity check
26 min

Identify map problems in OSM by connectivity check

Gieß a bit more the Bäume
23 min

Gieß a bit more the Bäume