Tootfinder

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schr\"oder
https://arxiv.org/abs/2506.01010

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
The semantics of alternating-time temporal logic (ATL) and the more expressive alternating-time μ-calculus (AMC) is standardly given in terms of concurrent game frames (CGF). The information required to interpret AMC formulas is equivalently represented in terms of effectivity frames in the sense of Pauly; in many cases, this representation is more compact than the corresponding CGF, and in principle allows for faster evaluation of coalitional modalities. In the present work, we investigate wh…

Big Bird: Privacy Budget Management for W3C's Privacy-Preserving Attribution API
Pierre Tholoniat, Alison Caulfield, Giorgio Cavicchioli, Mark Chen, Nikos Goutzoulias, Benjamin Case, Asaf Cidon, Roxana Geambasu, Mathias L\'ecuyer, Martin Thomson
https://arxiv.org/abs/2506.05290

Big Bird: Privacy Budget Management for W3C's Privacy-Preserving Attribution API
Privacy-preserving advertising APIs like Privacy-Preserving Attribution (PPA) are designed to enhance web privacy while enabling effective ad measurement. PPA offers an alternative to cross-site tracking with encrypted reports governed by differential privacy (DP), but current designs lack a principled approach to privacy budget management, creating uncertainty around critical design decisions. We present Big Bird, a privacy budget manager for PPA that clarifies per-site budget semantics and in…

'Chilling effect': Outrage as FBI announces investigation into Supreme Court's Dobbs leak - Alternet.org
https://www.alternet.org/dobbs-leak-investigation/

Once again: #FuckEricAdams
Unbelievable how he's managed to avoid jailtime breaking federal/state laws while City Council allows him to continue to break _their_laws as well.

https://…

No to 15 mph e-bike speed limit, yes to real safety! - Transportation Alternatives
A ridiculous 15 mph speed limit for e-bikes won't work. Tell Mayor Adams and City Council: We need effective, data-driven policies that protect everyone, and accountability for the corporations fueling chaos on our streets — not the cyclists surviving it.

Alternate Epistemologies: Esoteric Knowledge & Conspiracism
https://ift.tt/MgnvhFu
updated: Wednesday, June 4, 2025 - 7:33pmfull name / name of organization: Robert…
via Input 4 RELCFP h…

Two-Phase Treatment with Noncompliance: Identifying the Cumulative Average Treatment Effect via Multisite Instrumental Variables
Guanglei Hong, Xu Qin, Zhengyan Xu, Fan Yang
https://arxiv.org/abs/2506.03104

Two-Phase Treatment with Noncompliance: Identifying the Cumulative Average Treatment Effect via Multisite Instrumental Variables
In evaluating a multi-phase intervention, the cumulative average treatment effect (ATE) is often the causal estimand of key interest. Yet some individuals who do not respond well to the Phase-I treatment may subsequently display noncompliant behaviors. However, noncompliance tends to be constrained by the stochastic availability of slots under the alternative treatment condition in Phase II, which makes the notion of the "complier average treatment effect" problematic. Moreover, the Phase-I tre…

This https://arxiv.org/abs/2505.13816 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Smooth Solutions of the Navier-Stokes Equation
Smooth solutions of the Navier-Stokes equation with smooth but otherwise unconstrained initial conditions are constructed, to solve the Millennium fluids problem in the positive. The smooth solutions are the mean values of general weak solutions and are alternately characterized as the entropy production minimizing solutions. The construction occurs in a finite periodic cube.

This https://arxiv.org/abs/2505.24298 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…

AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning
Reinforcement learning (RL) has become a trending paradigm for training large language models (LLMs), particularly for reasoning tasks. Effective RL for LLMs requires massive parallelization and poses an urgent need for efficient training systems. Most existing large-scale RL systems for LLMs are synchronous by alternating generation and training in a batch setting, where the rollouts in each training batch are generated by the same (or latest) model. This stabilizes RL training but suffers fro…

Introducing multiverse analysis to bibliometrics: The case of team size effects on disruptive research
Christian Leibel, Lutz Bornmann
https://arxiv.org/abs/2506.03726

Introducing multiverse analysis to bibliometrics: The case of team size effects on disruptive research
Although bibliometrics has become an essential tool in the evaluation of research performance, bibliometric analyses are sensitive to a range of methodological choices. Subtle choices in data selection, indicator construction, and modeling decisions can substantially alter results. Ensuring robustness, meaning that findings hold up under different reasonable scenarios, is therefore critical for credible research and research evaluation. To address this issue, this study introduces multiverse an…

Half-life determination of heavy ions in a storage ring considering feeding and depleting background processes
R. J. Chen, G. Leckenby, R. S. Sidhu, J. Glorius, M. S. Sanjari, Yu. A. Litvinov, F. C. Akinci, M. Bai, K. Blaum, F. Bosch, C. Brandau, T. Dickel, I. Dillmann, D. Dmytriiev, T. Faestermann, O. Forstner, B. Franczak, B. S. Gao, H. Geissel, R. Gernh\"auser, C. Griffin, A. Gumberidze, E. Haettner, R. He{\ss}, P. -M. Hillenbrand, P. Kienle, W. Korten, Ch. Kozhuharov, N. Kuzmi…

Half-life determination of heavy ions in a storage ring considering feeding and depleting background processes
Heavy-ion storage rings have relatively large momentum acceptance which allows for multiple ion species to circulate at the same time. This needs to be considered in radioactive decay measurements of highly charged ions, where atomic charge exchange reactions can significantly alter the intensities of parent and daughter ions. In this study, we investigate this effect using the decay curves of ion numbers in the recent $^{205}$Tl$^{81+}$ bound-state beta decay experiment conducted using the Exp…