Tootfinder

Mit dem Smartphone kann man direkt im Laden #Kosmetikprodukte auf bedenkliche #Inhaltsstoffe prüfen. 📱Ist deine #Gesichtscreme unbedenklich? Beinhaltet dein Peeling

App CodeCheck - Direkt im Laden die Produkte auf bedenkliche Inhaltsstoffe prüfen
Die CodeCheck App ist meine Lieblings-App beim Kauf von Kosmetik und Lebensmitteln.Direkt über den Barcode auf dem Produkt prüft CodeCheck über das Internet, ob im Produkt bedenkliche Inhaltsstoffe enthalten sind.

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…

POL-SBR-STADT: Unbekannter Mann spritzt ätzende Flüssigkeit in Kassenautomaten von Parkplätzen in Saarbrücken - Öffentlichkeitsfahndung nach Sachbeschädigung und gefährlicher Körperverletzung
https://www.presseportal.de/blaulicht/pm/138303/6040936
> Saa…

POL-SBR-STADT: Unbekannter Mann spritzt ätzende Flüssigkeit in Kassenautomaten von Parkplätzen in...
Saarbrücken (ots) - Seit April 2025 wurden in Saarbrücken insgesamt sieben Parkschein-/Kassenautomaten auf Parkplätzen durch die Kontamination mit säure- oder basenhaltigen...

Two-gap superconductor ZrB12 with dynamic stripes and charge density waves: Crystal structure, physical properties and pairing mechanism
A. N. Azarevicha, N. B. Bolotinab, O. N. Khrykinab, A. V. Bogacha, K. M. Krasikova, A. Yu. Tsvetkovc, S. Yu. Gavrilkinc, V. V. Voronova, S. Gabanid, K. Flachbartd, A. N. Azarevich, N. B. Bolotina, O. N. Khrykina, A. V. Bogach, K. M. Krasikov, A. Yu. Tsvetkov, S. Yu. Gavrilkin, V. V. Voronov, S. Gabani, K. Flachbart, A. V. Kuznetsov, N. E. Sluchanko

Two-gap superconductor ZrB12 with dynamic stripes and charge density waves: Crystal structure, physical properties and pairing mechanism
A review of long-term studies of ZrB12 and LuB12 superconductors with very similar conduction bands and phonon spectra, but with radically different (by a factor of 15-20) critical temperatures and magnetic fields is presented. A detailed analysis of well-known studies in combination with new results of structural, thermodynamic and charge transport measurements obtained here for these metallic dodecaborides with Jahn-Teller instability of the rigid boron network and with dynamic charge stripes…

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

Some remarks on Quillen's Dévissage theorem
In this paper we give a different proof of Quillen's Dévissage theorem using Barwick's theorem of the heart. The key ingredient is a certain short exact sequence of dg categories, which is closely related with the Auslander-type construction for nilpotent extensions which was used in the papers of Kuznetsov-Lunts \cite{KL15}, Land-Tamme \cite{LT19} and the author \cite{E20}.