Tootfinder

Importance of User Control in Data-Centric Steering for Healthcare Experts
Aditya Bhattacharya, Simone Stumpf, Katrien Verbert
https://arxiv.org/abs/2506.18770

Importance of User Control in Data-Centric Steering for Healthcare Experts
As Artificial Intelligence (AI) becomes increasingly integrated into high-stakes domains like healthcare, effective collaboration between healthcare experts and AI systems is critical. Data-centric steering, which involves fine-tuning prediction models by improving training data quality, plays a key role in this process. However, little research has explored how varying levels of user control affect healthcare experts during data-centric steering. We address this gap by examining manual and aut…

#3GuteDingeDesTages
🙂 Schon wieder was auf LinkedIn gepostet!
🙂 Sommerschnitt beim Lieblingscoiffeur: eine gute Stunde einfach über alles erzählen und lachen, extrem guter Expresso, einmal kalt abgepustet werden und hinterher edgy Kurzhaarfrise — fühlt sich an wie Ferien
🙂 Für morgen sieht alles vorbereitet aus

Increasing the Expressiveness of a Gradual Verifier
Priyam Gupta
https://arxiv.org/abs/2507.13533 https://arxiv.org/pdf/2507.13533

Increasing the Expressiveness of a Gradual Verifier
Static verification provides strong correctness guarantees for code; however, fully specifying programs for static verification is a complex, burdensome process for users. Gradual verification was introduced to make this process easier by supporting the verification of partially specified programs. The only currently working gradual verifier, Gradual C0, successfully verifies heap manipulating programs, but lacks expressiveness in its specification language. This paper describes the design and …

Kinetic contribution to the arbitrary order odd frequency moments of the dynamic structure factor
Panagiotis Tolias, Tobias Dornheim, Jan Vorberger
https://arxiv.org/abs/2508.17810

Kinetic contribution to the arbitrary order odd frequency moments of the dynamic structure factor
An exact expression is derived for the kinetic contribution to the odd (arbitrary order) frequency moments of the dynamic structure factor via a finite summation that features averages of even (all lower orders) powers of the momentum over the exact momentum distribution. The derivation is carried out for the non-interacting Fermi gas and generalized to the interacting case based on the conjecture that averages over the Fermi distribution can be substituted with averages over the exact distribu…

Russland verhängt Einreisesperren gegen 21 Personen
Russland belegt 21 Personen mit Einreisesperren. Ihnen werde vorgeworfen, mit "destruktiven britischen Medien" zusammenzuarbeiten, um anti-russische Narrative zu verbreiten, teilte das Außenministerium in Moskau mit. Unter den Betroffenen sind demnach Journalisten, Experten und Mitglieder von Nichtregierungsorganisationen.
Ihre Namen würden einer "Stopp-Liste" hinzugefügt, …
📑

Ukraine-Liveblog: ++ Russland fordert Mitsprache in Sicherheitsfragen ++
Der russische Außenminister Lawrow fordert die Beteiligung des Kreml in der Debatte um Sicherheitsgarantien für die Ukraine. Bei einem russischen Angriff auf die Region Sumy sind 14 Menschen verletzt worden.

Extreme #Hitze beeinträchtigt Produktivität, #Gesundheit und #Lieferketten – jährlich entstehen wirtschaftliche

Gefährliche Klimafolgen: „Die Hitze kostet uns Milliarden“
Hitzewellen machen Menschen unproduktiv, richten Materialschäden an und gefährden Lieferketten. Zwei Experten erklären, wie Unternehmen sich jetzt aufstellen müssen, um vorbereitet zu sein.

«Beat #Jans, der Vorsteher des für das Geschäft verantwortlichen Justiz- und Polizei­departements, betrieb dabei ein geschicktes und irreführendes Spiel. So liess er in der Antwort sinngemäss schreiben: Mit der #Vüpf-Revision ändert sich nichts.
De facto aber weitete das Justiz­departement di…

Well made documentary about the 7/7/2005 bombings in London. Analysis and overview of events. Great interviews with various people who experienced it.
Good to remember how vulnerable we are for terrorist attacks.
https://www.netflix.com/nl/title/81715711?

Attack on London: Hunting The 7/7 Bombers | Officiële Netflix-website
Getuigenissen van insiders en nooit eerder vertoonde beelden vertellen het verhaal van de bomaanslagen op 7 juli 2005 op het Londense openbaar vervoer en de explosieve nasleep.

Für ein Verfahren, in dem vier Personen von drei Expert*innen vergleichend begutachtet werden sollen, ermittle ich nun gemeinsam mit der Abteilung für Qualitätssicherung in einem kleinen Fach einen Pool von 15 potenziell geeigneten Gutachtenden (sprich: keine Befangenheiten), da die Absagequote bei solchen Anfragen mittlerweile recht hoch ist. Das ist nicht einfach.

Supporting Software Formal Verification with Large Language Models: An Experimental Study
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
https://arxiv.org/abs/2507.04857

Supporting Software Formal Verification with Large Language Models: An Experimental Study
Formal methods have been employed for requirements verification for a long time. However, it is difficult to automatically derive properties from natural language requirements. SpecVerify addresses this challenge by integrating large language models (LLMs) with formal verification tools, providing a more flexible mechanism for expressing requirements. This framework combines Claude 3.5 Sonnet with the ESBMC verifier to form an automated workflow. Evaluated on nine cyber-physical systems from Lo…