Tootfinder

Agent Interpolation for Knowledge
Marta B\'ilkov\'a, Wesley Fussner, Roman Kuznets
https://arxiv.org/abs/2505.23401 https://a…

Agent Interpolation for Knowledge
We define a new type of proof formalism for multi-agent modal logics with S5-type modalities. This novel formalism combines the features of hypersequents to represent S5 modalities with nested sequents to represent the T-like modality alternations. We show that the calculus is sound and complete, cut-free, and terminating and yields decidability and the finite model property for multi-agent S5. We also use it to prove the Lyndon (and hence Craig) interpolation property for multi-agent S5, consi…

Recursive Difference Categories and Topos-Theoretic Universality
Andreu Ballus Santacana
https://arxiv.org/abs/2505.22931 https://arx…

Recursive Difference Categories and Topos-Theoretic Universality
We introduce a radically minimal categorical foundation for logic, semantics, and computation, built from a single generative axiom of recursive difference. From the null mnema M0 and iterated labeled extensions by D, we form the free category M and its sheaf topos Sh(M). We prove: Modal completeness: Lawvere-Tierney topologies on Sh(M) classify all standard modal logics (K, T, S4, S5) purely via submonoids of the free monoid D*. Fixed-point expressivity: The internal mu-calculus over infin…

Unveiling the Complex Jet Dynamics in the Blazar 2021 317 through Multi-Epoch VLBI Observations
Haitian Shang, Wei Zhao, Xiaoyu Hong, Leonid I. Gurvits, Ailing Zeng, Tao An, Xiaopeng Cheng
https://arxiv.org/abs/2505.23082

Unveiling the Complex Jet Dynamics in the Blazar 2021+317 through Multi-Epoch VLBI Observations
We present an investigation of the compact structure of the AGN 2021+317 based on multi-epoch Very Long Baseline Interferometry (VLBI) observations at 15, 22, and 43 GHz in the period from 2013 through 2024. The VLBI images show a core-jet structure extended to the south, with two stationary components in the northern region, one of which likely to be the core of the source. We also detected two new moving jet components (S4 and S5) in the observations of 2021. Based on these observational find…

Aus Sicht der Union¹ ist Politik das Geschäft von Parteien, aus dem sich alle anderen gefälligst raushalten sollen. Viel mehr gibt es zum Selbstverständnis dieser Partei nicht zu sagen.
Ich zitiere Art 21 (1) Satz 1 GG: „Die Parteien wirken bei der politischen Willensbildung des Volkes mit.“ Sie wirken mit. Eine andere Aufgabe haben sie laut Grundgesetz nicht. Der ganze Zauber oben drauf ist eine Erfindung der Parteien selbst und müßte nicht so sein.
__
¹

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

Baseline Systems and Evaluation Metrics for Spatial Semantic Segmentation of Sound Scenes
Immersive communication has made significant advancements, especially with the release of the codec for Immersive Voice and Audio Services. Aiming at its further realization, the DCASE 2025 Challenge has recently introduced a task for spatial semantic segmentation of sound scenes (S5), which focuses on detecting and separating sound events in spatial sound scenes. In this paper, we explore methods for addressing the S5 task. Specifically, we present baseline S5 systems that combine audio taggin…

Description and Discussion on DCASE 2025 Challenge Task 4: Spatial Semantic Segmentation of Sound Scenes
Masahiro Yasuda, Binh Thien Nguyen, Noboru Harada, Romain Serizel, Mayank Mishra, Marc Delcroix, Shoko Araki, Daiki Takeuchi, Daisuke Niizumi, Yasunori Ohishi, Tomohiro Nakatani, Takao Kawamura, Nobutaka Ono
https://arxiv.org…

Description and Discussion on DCASE 2025 Challenge Task 4: Spatial Semantic Segmentation of Sound Scenes
Spatial Semantic Segmentation of Sound Scenes (S5) aims to enhance technologies for sound event detection and separation from multi-channel input signals that mix multiple sound events with spatial information. This is a fundamental basis of immersive communication. The ultimate goal is to separate sound event signals with 6 Degrees of Freedom (6DoF) information into dry sound object signals and metadata about the object type (sound event class) and representing spatial information, including d…

"Poland pilots solar arrays near major highway"
#Poland #Solar #SolarPower #Energy

Poland pilots solar arrays near major highway
Poland has installed solar arrays along the S5 expressway as part of a project to cut infrastructure operating costs. Surplus electricity will feed the grid or supply electric vehicle charging stations.

Performance improvement of spatial semantic segmentation with enriched audio features and agent-based error correction for DCASE 2025 Challenge Task 4
Jongyeon Park, Joonhee Lee, Do-Hyeon Lim, Hong Kook Kim, Hyeongcheol Geum, Jeong Eun Lim
https://arxiv.org/abs/2506.21174

Performance improvement of spatial semantic segmentation with enriched audio features and agent-based error correction for DCASE 2025 Challenge Task 4
This technical report presents submission systems for Task 4 of the DCASE 2025 Challenge. This model incorporates additional audio features (spectral roll-off and chroma features) into the embedding feature extracted from the mel-spectral feature to im-prove the classification capabilities of an audio-tagging model in the spatial semantic segmentation of sound scenes (S5) system. This approach is motivated by the fact that mixed audio often contains subtle cues that are difficult to capture wit…