Search for "pde" returned 1946 results

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Digital Transformations in Art
78 min

Digital Transformations in Art

Building a cloud-free digital voice assistant with FOSS
47 min

Building a cloud-free digital voice assistant with FOSS

Bid3 and CounterMilitarisim Mapping
39 min

Bid3 and CounterMilitarisim Mapping

Neue Narrative für eine nachhaltige Digitalisierung
44 min

Neue Narrative für eine nachhaltige Digitalisierung

Green Coding - Measuring energy use of arbitrary applications and software stacks (EN)
53 min

Green Coding - Measuring energy use of arbitrary applications and software stacks (EN)

InGridEditor – Next Generation: Ein neues Open Source-Werkzeug (nicht nur) zur Erfassung von INSPIRE-konformen Metadaten
27 min

InGridEditor – Next Generation: Ein neues Open Source-Werkzeug (nicht nur) zur Erfassung…

Memories Transformation - How electronic music shapes my thoughts and movements
12 min

Memories Transformation - How electronic music shapes my thoughts and movements

Hacking washing machines
56 min

Hacking washing machines

Open mapping through tropical forest biodiversity conservation
24 min

Open mapping through tropical forest biodiversity conservation

Netzpolitik in der Schweiz: Zwischen Bodensee und Matterhorn
40 min

Netzpolitik in der Schweiz: Zwischen Bodensee und Matterhorn

ISDN + POTS Telephony at Congress and Camp
35 min

ISDN + POTS Telephony at Congress and Camp

Transhuman Expression
62 min

Transhuman Expression

Interdisciplinary research in Painting and Robotics. with…

Wo lässt Du zwecklose Widerstände?
13 min

Wo lässt Du zwecklose Widerstände?

Automatic Configuration and Deployment of Workshop Environments
40 min

Automatic Configuration and Deployment of Workshop Environments

The hitchhiker's guide to asyncio
38 min

The hitchhiker's guide to asyncio

Designing a power bank inside a can of Volt Cola
51 min

Designing a power bank inside a can of Volt Cola

Local Emission Framework - Klimaschutz vor deiner Haustür
27 min

Local Emission Framework - Klimaschutz vor deiner Haustür

busd: There is a new D-Bus broker in town
39 min

busd: There is a new D-Bus broker in town

The road to a trusted and measured boot chain in Bootable Containers
40 min

The road to a trusted and measured boot chain in Bootable Containers

eBPF Data Collection for Everyone – empowering the community to obtain Linux insights using Inspektor Gadget
32 min

eBPF Data Collection for Everyone – empowering the community to obtain Linux insights…

Building Your First LoRa Mesh Network From Scratch
32 min

Building Your First LoRa Mesh Network From Scratch

Exploring Opportunities and Challenges for Emerging Cognitive Human-centric Personal Data Ecosystems: Empowering humans in the age of the GDPR
39 min

Exploring Opportunities and Challenges for Emerging Cognitive Human-centric Personal Data…

Lab Manager Light: Self Service Virtualisierung als private Cloud
21 min

Lab Manager Light: Self Service Virtualisierung als private Cloud

The OSDL/freedesktop.org Portland project explained
43 min

The OSDL/freedesktop.org Portland project explained