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…

AI isn’t an existential threat to humanity, capitalism and corporations are.
You see, we created capitalism, a religion modeled on cancer, and the corporation, a new, artificial species; a parasite that co-opts human beings to do its bidding; an organism that’s psychopathic by design and grows by extracting from and exploiting us and our habitat.
And we now find ourselves ruled by this religion and driven to ruin by these parasites as they drain our humanity, destroy our habitat,…

2025 seems to be a good year for #metal music so far ..
I'd be lying if I said that Bury Tomorrow's latest album wasn't a banger. Really does feel like a band at the top of their game.
https://album.link/i/1776533809

Will You Haunt Me, With That Same Patience by Bury Tomorrow
Listen now on your favorite streaming service. Powered by Songlink/Odesli, an on-demand, customizable smart link service to help you share songs, albums, podcasts and more.

Spectrotemporal Modulation: Efficient and Interpretable Feature Representation for Classifying Speech, Music, and Environmental Sounds
Andrew Chang, Yike Li, Iran R. Roman, David Poeppel
https://arxiv.org/abs/2505.23509

Spectrotemporal Modulation: Efficient and Interpretable Feature Representation for Classifying Speech, Music, and Environmental Sounds
Audio DNNs have demonstrated impressive performance on various machine listening tasks; however, most of their representations are computationally costly and uninterpretable, leaving room for optimization. Here, we propose a novel approach centered on spectrotemporal modulation (STM) features, a signal processing method that mimics the neurophysiological representation in the human auditory cortex. The classification performance of our STM-based model, without any pretraining, is comparable to …

China kontrolliert den Großteil des weltweiten Angebots dieser kritischen Rohstoffe und hat kürzlich die Exportkontrollen verschärft, was den Zugang für europäische Länder weiter erschwert.
Zum Artikel: https://heise.de/-10418878?wt_mc=sm.re

Polymer-modulated evaporation flow enables scalable self-assembly of highly aligned nanowires
Liyiming Tao, Zechao Jiang, Shiyuan Hu, Lin Du, Qiuting Zhang, Jiajia Zhou, Masao Doi, Xiaojun Wu, Xingkun Man, Ye Xu
https://arxiv.org/abs/2505.23227

Polymer-modulated evaporation flow enables scalable self-assembly of highly aligned nanowires
Highly aligned nanowire networks are essential for enabling anisotropic optical, electrical, and sensing functionalities in next-generation devices. However, achieving such alignment typically requires complex fabrication methods or high-energy processing. Here, we present a simple and scalable self-assembly strategy that uses a viscosity-enhancing polymer additive to modulate fluid flows during solvent evaporation. The addition of carboxymethylcellulose sodium (CMC-Na) reshapes the evaporation…

Verletzte nach Drohnenangriff auf Charkiw
Die russische Armee hat in der Nacht die ostukrainische Großstadt Charkiw mit einem größeren Drohnenschwarm angegriffen. Wie der regionale Militärverwalter Oleh Synjehubow auf Telegram mitteilte, galt der Angriff einem nicht näher beschriebenen "kommunalen Unternehmen", das von mindestens acht Kampfdrohnen getroffen worden sei. Mindestens acht Menschen seien verletzt worden, unter ihn…
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.

Two phase micropolar fluid flow with unmatched densities modeled by Navier--Stokes--Cahn--Hilliard systems: Local strong well-posedness and consistency estimates
Kin Shing Chan, Kei Fong Lam
https://arxiv.org/abs/2505.23235

Two phase micropolar fluid flow with unmatched densities modeled by Navier--Stokes--Cahn--Hilliard systems: Local strong well-posedness and consistency estimates
We study a thermodynamically consistent phase field model for binary mixtures of micropolar fluids, i.e., fluids exhibiting internal rotations. Furnishing with classical no-slip, no-spin and no-flux boundary conditions, in a smooth and bounded three-dimensional domain, we establish the well-posedness of local-in-time strong solutions. Since the model studied is a generalization of the earlier model introduced by Abels, Garcke and Grün for binary Newtonian fluids with unmatched densities, we pr…

Integrated thin film lithium niobate mid-infrared modulator
Pierre Didier, Prakhar Jain, Mathieu Bertrand, Jost Kellner, Oliver Pitz, Zhecheng Dai, Mathias Beck, Baile Chen, Jerome Faist, Rachel Grange
https://arxiv.org/abs/2505.23632

Integrated thin film lithium niobate mid-infrared modulator
The mid-infrared spectral range holds great promise for applications such as molecular spectroscopy and telecommunications. Many key molecules exhibit strong absorption features in this range, and free-space optical communication benefits from reduced atmospheric attenuation and low transmission losses in specific wavelength bands spanning from 3 to 14 μm. Recent progress in MIR photonics has been fuelled by the rapid development of efficient light sources and detectors. However, further advan…

U narednim danima objavljujemo seriju izvještaja sa koncerata koje smo posjetili. Počinjemo sa nastupom francuskih bendova Barren? i Short Days koji su razdrmali DKC Sarajevo.
Piše Minel Abaz: https://izvansvakekontrole.com/short-days-barren-report-dkc-saraje…

DKC Sarajevo: Odlična svirka bendova Barren? i Short Days - ISK WEB MAGAZIN
Dva francuska benda, pariški Barren? i Short Days iz Lillea su u sklopu turneje 24. maja posjetili i DKC Sarajevo. Prethodno su, javio je kolega Ilić,