Search for "10" returned 5090 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…

Sensor.Community - Global Open Environmental Data Platform
48 min

Sensor.Community - Global Open Environmental Data Platform

Finding Eastereggs in Broadcom's Bluetooth Random Number Generator
41 min

Finding Eastereggs in Broadcom's Bluetooth Random Number Generator

Detecting informal settlements via topological analysis
39 min

Detecting informal settlements via topological analysis

SNAC - The only way to beat Facebook
49 min

SNAC - The only way to beat Facebook

Source Code and Cross-Domain Authorship Attribution
64 min

Source Code and Cross-Domain Authorship Attribution

The Role of Stylometry in Privacy

Fast insight about the severity of hurricane impact with spatial analysis of Twitter posts
24 min

Fast insight about the severity of hurricane impact with spatial analysis of Twitter posts

The year in post-quantum crypto
70 min

The year in post-quantum crypto

Programming microcontrollers in Go using TinyGo
30 min

Programming microcontrollers in Go using TinyGo

„Elektromobilität“ und warum sie so, wie sie derzeit vorgeschlagen wird, nicht funktionieren kann
65 min

„Elektromobilität“ und warum sie so, wie sie derzeit vorgeschlagen wird, nicht…

Von proprietär zu Open-Source -Umstellung der kommunalen GDI bei der Stadt Reutlingen
23 min

Von proprietär zu Open-Source -Umstellung der kommunalen GDI bei der Stadt Reutlingen

Saving the World with Space Solar Power
25 min

Saving the World with Space Solar Power

or is it just PEWPEW?!

How to Test Enterprise Java Applications
40 min

How to Test Enterprise Java Applications

GeoNetwork UI: Eine andere Sicht auf die (Meta-)Daten
26 min

GeoNetwork UI: Eine andere Sicht auf die (Meta-)Daten

Infrastructure at Arch - Making servers go brrrrr
46 min

Infrastructure at Arch - Making servers go brrrrr

The future of cryptology: which 3 letters algorithm(s) could be our Titanic?
56 min

The future of cryptology: which 3 letters algorithm(s) could be our Titanic?

RMS Olympic, RMS Titanic, HMHS Britannic vs Discrete…

Elektronische Beweisführung
35 min

Elektronische Beweisführung

Exploring the Degrees of Freedom in Designing Interactive Fiction
58 min

Exploring the Degrees of Freedom in Designing Interactive Fiction

Fine spatial scale modelling of Trentino past forest landscape (TRENTINOLAND): a case study of FOSS application
24 min

Fine spatial scale modelling of Trentino past forest landscape (TRENTINOLAND): a case…

Urban Geo Big Data
26 min

Urban Geo Big Data

How to Break PDFs
58 min

How to Break PDFs

Breaking PDF Encryption and PDF Signatures

Map-Matching at Scale: Open-Source und (fast) kostenloses Map-Matching für Millionen von Trajektorien
23 min

Map-Matching at Scale: Open-Source und (fast) kostenloses Map-Matching für Millionen von…

Boiling Mind
40 min

Boiling Mind

Analysing the link between audience physiology and…

Preparing for disasters with open map data and tools - learning through anticipatory action in Zimbabwe, Liberia and Timor Leste
18 min

Preparing for disasters with open map data and tools - learning through anticipatory…

Economy, Human, and Policy Impact on Mapping in Public Sector
26 min

Economy, Human, and Policy Impact on Mapping in Public Sector