Thomas van Dijk

281 subscribers

59 videos

Thomas van Dijk, doing computer science and geo stuff. Currently at TU Eindhoven,, previously at Ruhr-Uni Bochum, Universität Würzburg and Universiteit Utrec...

Latest Videos

There is no magic, only implementation details.

People tend to get the Turing Test slightly wrong

Sorting without if! [33] - Super Scalar Sample Sort

Sorting without if! [23] - Predicated instructions

Sorting without if! [13] - Sample Sort

Mooey – an algorithmically-assisted schematic map editor

Visualizing Geophylogenies GIScience 2023

Linear Time Order Statistics - [Look It Up]

O-Star and O-Tilde - [Look It Up]

Expected Value Pathology - [Look It Up]

Currying, or There Are Only Functions with One Argument - [Look It Up]

Concurrency, Mutual Exclusion and Peterson's Algorithm - An Introduction

Decision, Optimisation, Construction Problem variants - [Look It Up]

Existential Theory of the Reals - [Look It Up]

Some Handy Expressions in Cartesian Coordinates - [Look It Up]

The Sum of Radicals Problem - [Look It Up]

Binary Encoding for Arbitrarily Large Integers - [Look It Up]

Totally Unimodular Matrices - [Look It Up]

The Intermediate Value Theorem - [Look It Up]

NP-Hardness and Reasonable Encodings - [Look It Up]

Homogeneous Coordinates - [Look It Up]

PP is overpowered - Probabilistic Polynomial Time [Look It Up]

SQL can do more than you remember... - [Look It Up]

NP-hard doesn't mean you can't solve it - [Look It Up]

Can't look it up if you've never heard of it. - [Look It Up series introduction]

Algorithmically-Assisted Interactive Metro Map Design (SIGSPATIAL 2022)

Open Mic Thomas van Dijk - Animated Metro Maps [SMW '22]

Archana Prabhakar - Transit Maps How They Shape Our Minds [SMW '22]

Samantha Fuchs - MetroSAT Logic-based Computation of Metro Maps [SMW '22]

Patrick Brosi - A Toolchain for Generating Transit Maps from Schedule Data [SMW '22]