Tootfinder

Airline-Verbandschef fordert Abschuss von Drohnen
Der Chef des deutschen Airline-Verbands ist über die Zögerlichkeit der Politik verärgert – und hat schlechte Nachrichten für Passagiere.
https://www.

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
https://arxiv.org/abs/2509.08804

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
The verification of differential privacy algorithms that employ Gaussian distributions is little understood. This paper tackles the challenge of verifying such programs by introducing a novel approach to approximating probability distributions of loop-free programs that sample from both discrete and continuous distributions with computable probability density functions, including Gaussian and Laplace. We establish that verifying $(ε,δ)$-differential privacy for these programs is \emph{almost …

Zweiter Prototyp einer Kartenmischmaschine aus Lego. Da der Legomotor innerlich zerfällt (nach zwanzig Jahren), habe ich einen von Sonos genommen.
Die Karten werden in zwei gleich große Stapel aufgeteilt und in das jeweilige Fach gelegt. Der Motor treibt zwei Gummiräder unter den Stapeln an, sodass jeweils ein bis zwei Karten herausgezogen und in den Auffangbehälter in der Mitte geworfen werden.
Grundsätzlich funktioniert ist. Probleme gibt es wenn der Stapel zu hoch ist, dann is…

Die Klimakatastrophe kommt viel schneller als in den pessimistischsten Szanarien vorhergesagt:
https://www.dpg-physik.de/veroeffentlichungen/publikationen/stellungnahmen-der-dpg/klima-energie/klimaaufruf/st…

Gemeinsamer Aufruf der DMG und der DPG

Vor einiger Zeit gab es eine #Bundestagspetition die eine Anhebung des #Pflaschenpfand​es gefordert hat, um #Flaschensammler finanziell zu unterstützen. Allein das wirft ein sc…

Mehrwegflaschen: Stadtwerkeverband fordert höheres Flaschenpfand
Pfandflaschen werden nach Angaben des Verbands kommunaler Unternehmen immer häufiger im öffentlichen Raum stehen gelassen. Der Verband fordert deshalb Reformen.

Deutsch-österreichischer Angriff auf Metas Geschäftsmodell
5.000 Euro für jeden deutschen Facebook- oder Instagram Nutzer fordert eine neue Verbandsklage gegen die Meta Business Tools. Doppelt so viel für Kinder.

Verifying Graph Neural Networks with Readout is Intractable
Artem Chernobrovkin, Marco S\"alzer, Fran\c{c}ois Schwarzentruber, Nicolas Troquard
https://arxiv.org/abs/2510.08045

Verifying Graph Neural Networks with Readout is Intractable
We introduce a logical language for reasoning about quantized aggregate-combine graph neural networks with global readout (ACR-GNNs). We provide a logical characterization and use it to prove that verification tasks for quantized GNNs with readout are (co)NEXPTIME-complete. This result implies that the verification of quantized GNNs is computationally intractable, prompting substantial research efforts toward ensuring the safety of GNN-based systems. We also experimentally demonstrate that quan…

Freier Zugang zu Forschung: Mecklenburg-Vorpommern investiert in Open Access
Damit Wissenschaft nicht hinter Bezahlschranken bleibt, möchte Mecklenburg-Vorpommern Publikationen leichter zugänglich machen. Es gibt Beratung und Geld.

Etwas mehr der heute besonders häufig geteilten #News:
Forschung ohne Schranken: Mecklenburg-Vorpommern stellt Open-Access-Konzept vor

"Ernsthafte Zweifel am Überleben": Cowboy veröffentlicht Finanzbericht für 2024
Die Zukunft des belgischen E-Bike-Startups scheint alles andere als sicher. Eine neue Strategie soll das Unternehmen auf die Füße zurückbringen.