Tootfinder

Tight complexity bounds for diagram commutativity verification
Artem Malko, Igor Spiridonov
https://arxiv.org/abs/2509.11331 https://arxiv.org/pdf/2509.113…

Tight complexity bounds for diagram commutativity verification
A diagram $\mathcal{D} = (G, l)$ over a monoid $M$ is an oriented graph $G = (V, E)$ endowed with a labeling $l\colon E \to M$. A diagram is commutative if and only if for any two oriented paths with the same endpoints, the products in $M$ of their edge labels coincide. We propose the first asymptotically optimal algorithm for diagram commutativity verification applicable to all graph families. For graphs with $\lvert V\rvert \preceq \lvert E\rvert \preceq \lvert V\rvert^2$, which covers most p…

The European Commission says France, Spain, Italy, Denmark, and Greece will test an age verification app meant to protect kids online (Foo Yun Chee/Reuters)
https://www.reuters.com/sustainability/boards-pol…

Experimental Verification of a Time-Domain Load Identification Method for Single-Phase Circuits
Francisco M. Arrabal-Campos, Francisco G. Montoya, Jorge Ventura, Santiago S\'anchez-Acevedo, Raymundo E. Torres-Olguin, Francisco de Le\'on
https://arxiv.org/abs/2506.12593

Experimental Verification of a Time-Domain Load Identification Method for Single-Phase Circuits
This paper presents experimental validation of a time-domain load parameter determination method for single-phase circuits. The verification is performed in a state-of-the-art smart grid laboratory equipped with power hardware and real-time emulators. The proposed method enables the identification of circuit parameters using only instantaneous voltage and current measurements at the point of common coupling. The experimental setup includes a range of test cases covering linear and non-sinusoida…

Die #CDU - sie rudert und wird herumgeschaukelt wie eine Nußschale im Ozean bei stürmischen Wind. Was Christoph #Ploß von sich gibt und seine Taktik sind in höchstem Maße beschämend.
Die Selbstgefälligkeit von CDU Funktionären und Abgeordneten ist atemraubend, nervtötend. 👎👎👎👎👎

"Oblivion Remastered": Erster Patch für Performance-Probleme ist da
Über zwei Monate nach dem Release von "Oblivion Remastered" gibt es nun einen Patch, der die mangelhafte Performance verbessern soll.

EU-Kommission: Bald nächstes Sanktionspaket gegen Russland
Die EU-Kommission hofft darauf, im September über das nächste Paket mit Strafmaßnahmen gegen Russland abstimmen zu lassen. "Hoffentlich können wir es nächsten Monat verabschieden", sagte eine Sprecherin der EU-Kommission. Details zum möglichen Inhalt des Pakets nannte sie nicht.
Die Außenbeauftragte der EU, Kaja Kallas, hatte jüngst nach einer Videokonferenz der EU-A…
📑

Ukraine-Liveblog: ++ Russland und Ukraine tauschen erneut Gefangene aus ++
Jeweils 84 Kriegsgefangene haben Moskau und Kiew heute ausgetauscht. Die Ukraine hat nach Angaben von Präsident Selenskyj von europäischen Verbündeten 1,5 Milliarden Dollar für den Kauf von US-Waffen erhalten.

AI Feedback Enhances Community-Based Content Moderation through Engagement with Counterarguments
Saeedeh Mohammadi, Taha Yasseri
https://arxiv.org/abs/2507.08110

AI Feedback Enhances Community-Based Content Moderation through Engagement with Counterarguments
Today, social media platforms are significant sources of news and political communication, but their role in spreading misinformation has raised significant concerns. In response, these platforms have implemented various content moderation strategies. One such method, Community Notes on X, relies on crowdsourced fact-checking and has gained traction, though it faces challenges such as partisan bias and delays in verification. This study explores an AI-assisted hybrid moderation framework in whi…

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
Zhuohang Shen, Mohammed Yaseen, Denini Silva, Kevin Guan, Junho Lee, Marcelo d'Amorim, Owolabi Legunsen
https://arxiv.org/abs/2509.06324

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
Runtime verification (RV) now scales for testing thousands of open-source Java projects, helping find hundreds of bugs. The popular Python ecosystem could use such benefits. But, today's Python RV systems are limited to a domain or specification logic, or slow. We propose PyMOP, a generic, extensible, and efficient RV system for Python. PyMOP supports five logics, implements five existing monitoring algorithms, ships with 73 API specs of Python and widely-used libraries, supports three instrume…

RobQFL: Robust Quantum Federated Learning in Adversarial Environment
Walid El Maouaki, Nouhaila Innan, Alberto Marchisio, Taoufik Said, Muhammad Shafique, Mohamed Bennai
https://arxiv.org/abs/2509.04914

RobQFL: Robust Quantum Federated Learning in Adversarial Environment
Quantum Federated Learning (QFL) merges privacy-preserving federation with quantum computing gains, yet its resilience to adversarial noise is unknown. We first show that QFL is as fragile as centralized quantum learning. We propose Robust Quantum Federated Learning (RobQFL), embedding adversarial training directly into the federated loop. RobQFL exposes tunable axes: client coverage $γ$ (0-100\%), perturbation scheduling (fixed-$\varepsilon$ vs $\varepsilon$-mixes), and optimization (fine-tun…

OmniLLP: Enhancing LLM-based Log Level Prediction with Context-Aware Retrieval
Youssef Esseddiq Ouatiti, Mohammed Sayagh, Bram Adams, Ahmed E. Hassan
https://arxiv.org/abs/2508.08545

OmniLLP: Enhancing LLM-based Log Level Prediction with Context-Aware Retrieval
Developers insert logging statements in source code to capture relevant runtime information essential for maintenance and debugging activities. Log level choice is an integral, yet tricky part of the logging activity as it controls log verbosity and therefore influences systems' observability and performance. Recent advances in ML-based log level prediction have leveraged large language models (LLMs) to propose log level predictors (LLPs) that demonstrated promising performance improvements (AU…