Tootfinder

Omega-regular Verification and Control for Distributional Specifications in MDPs
S. Akshay (Dept of CSE, Indian Institute of Technology Bombay), Ouldouz Neysari (Singapore Management University, University of Tehran), {\DJ}or{\dj}e \v{Z}ikeli\'c (Singapore Management University)
https://arxiv.org/abs/2507.04286

Omega-regular Verification and Control for Distributional Specifications in MDPs
A classical approach to studying Markov decision processes (MDPs) is to view them as state transformers. However, MDPs can also be viewed as distribution transformers, where an MDP under a strategy generates a sequence of probability distributions over MDP states. This view arises in several applications, even as the probabilistic model checking problem becomes much harder compared to the classical state transformer counterpart. It is known that even distributional reachability and safety probl…

Reinforcement Learning in MDPs with Information-Ordered Policies
Zhongjun Zhang, Shipra Agrawal, Ilan Lobel, Sean R. Sinclair, Christina Lee Yu
https://arxiv.org/abs/2508.03904 …

Reinforcement Learning in MDPs with Information-Ordered Policies
We propose an epoch-based reinforcement learning algorithm for infinite-horizon average-cost Markov decision processes (MDPs) that leverages a partial order over a policy class. In this structure, $π' \leq π$ if data collected under $π$ can be used to estimate the performance of $π'$, enabling counterfactual inference without additional environment interaction. Leveraging this partial order, we show that our algorithm achieves a regret bound of $O(\sqrt{w \log(|Θ|) T})$, where $w…

Single-valued periods of meromorphic modular forms and a motivic interpretation of the Gross-Zagier conjecture
Francis Brown, Tiago J. Fonseca
https://arxiv.org/abs/2508.04844 h…

Single-valued periods of meromorphic modular forms and a motivic interpretation of the Gross-Zagier conjecture
A well-known conjecture of Gross and Zagier states that the values of the higher automorphic Green's function at pairs of points with complex multiplication in the upper half-plane are proportional to the logarithm of an algebraic number. It was recently settled in the case of congruence subgroups of the form $Γ_0(N)$ by analytic methods. In this paper we provide a geometric and motivic interpretation of the general conjecture, and show that it is a consequence of a standard conjecture in the …

Greene to introduce 'weather modification' bill (Ashleigh Fields/The Hill)
https://thehill.com/homenews/house/5386499-greene-to-introduce-weather-modification-bill/
http://www.memeorandum.com/250706/p4#a250706p4

"Kaksikon jatkuvasti muuttuvassa musiikissa voi kuulla vaikutteita niin IDM:stä ja teknosta kuin kokeellisesta electrosta ja konkreettisesta musiikistakin"
Miksi "electro" mutta "konkreettinen musiikki" (eikä musique concrete)?
(Flow-festivaalin Autechre-yhtyeen kuvauksesta.)
(Joo, harkitsen jospa tänä vuonna menisin taas, usean vuoden tauon jälkeen. On vaan niin tylsää siellä odottaa seuraavaa kiinnostavaa esiintyjää. Kun niitä kuitenkaan ei o…

Towards Motivic Coactions at Genus One from Zeta Generators
Axel Kleinschmidt, Franziska Porkert, Oliver Schlotterer
https://arxiv.org/abs/2508.02800 https://

Towards Motivic Coactions at Genus One from Zeta Generators
The motivic coaction of multiple zeta values and multiple polylogarithms encodes both structural insights on and computational methods for scattering amplitudes in a variety of quantum field theories and in string theory. In this work, we propose coaction formulae for iterated integrals over holomorphic Eisenstein series that arise from configuration-space integrals at genus one. Our proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple …

The Overview of Segmental Durations Modification Algorithms on Speech Signal Characteristics
Kyeomeun Jang, Jiaying Li, Yinuo Wang
https://arxiv.org/abs/2507.04264

The Overview of Segmental Durations Modification Algorithms on Speech Signal Characteristics
This paper deeply evaluates and analyzes several mainstream algorithms that can arbitrarily modify the duration of any portion of a given speech signal without changing the essential properties (e.g., pitch contour, power spectrum, etc.) of the original signal. Arbitrary modification in this context means that the duration of any region of the signal can be changed by specifying the starting and ending time for modification or the target duration of the specified interval, which can be either a…

If anyone else who's in the #OpenStreetMap/#opensource cosmos needs a reason to stop using Organic Maps and switch to some free/open alternatives:
In addition to them rolling their own 'data license', it seems like their recent license modifications for code could also be viewed as violating the Apache license/the creation of a non-FOSS license too.
That the devs are unwilling to give a clear answer to those questions speaks volumes imho…
https://github.com/organicmaps/organicmaps/pull/10987

Anisotropic modifications to the transport phenomena and observables in a hot QCD medium at finite baryon asymmetry
Shubhalaxmi Rath
https://arxiv.org/abs/2508.04934 https://

Anisotropic modifications to the transport phenomena and observables in a hot QCD medium at finite baryon asymmetry
We have studied how the transport of charge and heat as well as associated observables become influenced by a weak-momentum anisotropy arising due to the asymptotic expansion of baryon asymmetric matter in the initial stages of heavy ion collisions. This study facilitates the understanding of the local equilibrium property of the medium through the Knudsen number, and explores the correlation between the heat flow and the charge flow through the Lorenz number in the Wiedemann-Franz law for an a…

A gatinha preta e branca nem conseguindo comer direito porque toda hora passa uma moto modificada pelo dono babaca pra ficar barulhenta e aí a gata fica tomando susto.
Desculpem o body shaming, mas pra mim homem que faz isso com a moto é porque quer compensar um pinto pequeno e que ele não tem a menor ideia de como usar. 😤