Tootfinder

Series A, Episode 12 - Deliverance
SERVALAN: So I agreed to buy it.
TRAVIS: Do you have the authority?
https://blake.torpidity.net/m/112/250 B7B3

Measurement and Qualitative Explanation of Decay Lengths of Attractive and Repulsive Forces between Natural and Artificial Atoms
Marco Weiss, Fabian Stilp, Max Reinhart, Franz J. Giessibl
https://arxiv.org/abs/2507.19392

Measurement and Qualitative Explanation of Decay Lengths of Attractive and Repulsive Forces between Natural and Artificial Atoms
Artificial atoms, such as quantum corrals, offer an excellent platform to study fundamental interactions between localized quantum states and nanoscale probes. We performed atomic force microscopy measurements inside square quantum corrals on Cu(111) using CO- and metal-terminated tips. Using chemically unreactive CO-terminated tips repulsive Pauli forces can be probed, while metallic tips are attracted to the localized quantum states due to chemical bonding. We found distinct exponential decay…

Sense of Self and Time in Borderline Personality. A Comparative Robustness Study with Generative AI
Marcin Moskalewicz, Anna Sterna, Marek Pokropski, Paula Flores
https://arxiv.org/abs/2508.19008

Sense of Self and Time in Borderline Personality. A Comparative Robustness Study with Generative AI
This study examines the capacity of large language models (LLMs) to support phenomenological qualitative analysis of first-person experience in Borderline Personality Disorder (BPD), understood as a disorder of temporality and selfhood. Building on a prior human-led thematic analysis of 24 inpatients' life-story interviews, we compared three LLMs (OpenAI GPT-4o, Google Gemini 2.5 Pro, Anthropic Claude Opus 4) prompted to mimic the interpretative style of the original investigators. The models w…

Empowering Computing Education Researchers Through LLM-Assisted Content Analysis
Laurie Gale, Sebastian Mateos Nicolajsen
https://arxiv.org/abs/2508.18872 https://

Empowering Computing Education Researchers Through LLM-Assisted Content Analysis
Computing education research (CER) is often instigated by practitioners wanting to improve both their own and the wider discipline's teaching practice. However, the latter is often difficult as many researchers lack the colleagues, resources, or capacity to conduct research that is generalisable or rigorous enough to advance the discipline. As a result, research methods that enable sense-making with larger volumes of qualitative data, while not increasing the burden on the researcher, have sign…

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Bar{\i}\c{s} Bayaz{\i}t, Yao Li, Xujie Si
https://arxiv.org/abs/2508.18587 https://

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Large language models (LLMs) can potentially help with verification using proof assistants by automating proofs. However, it is unclear how effective LLMs are in this task. In this paper, we perform a case study based on two mature Rocq projects: the hs-to-coq tool and Verdi. We evaluate the effectiveness of LLMs in generating proofs by both quantitative and qualitative analysis. Our study finds that: (1) external dependencies and context in the same source file can significantly help proof gen…

Mit dem ganzen Team im RE70 Plätze beisammen gesichert. Teamarbeit läuft.
Dann wird der Wagen evakuiert, weil alle Türen zum Ein- und Aussteigen defekt sind. Jetzt sitzen wir verteilt in einem anderen Wagen.
Der große Vorteil der Bahn wäre die Möglichkeit, zu arbeiten während man reist. Diese Möglichkeit müssten die die Bundesregierung, DB und das deutsche Schienennetz mit Technik, Schienennetz, Qualitatssicherung verlässlich schaffen.

Towards reliable use of artificial intelligence to classify otitis media using otoscopic images: Addressing bias and improving data quality
Yixi Xu, Al-Rahim Habib, Graeme Crossland, Hemi Patel, Chris Perry, Kris Bock, Tony Lian, William B. Weeks, Rahul Dodhia, Juan Lavista Ferres, Narinder Pal Singh
https://arxiv.org/abs/2507.18842…

Towards reliable use of artificial intelligence to classify otitis media using otoscopic images: Addressing bias and improving data quality
Ear disease contributes significantly to global hearing loss, with recurrent otitis media being a primary preventable cause in children, impacting development. Artificial intelligence (AI) offers promise for early diagnosis via otoscopic image analysis, but dataset biases and inconsistencies limit model generalizability and reliability. This retrospective study systematically evaluated three public otoscopic image datasets (Chile; Ohio, USA; Türkiye) using quantitative and qualitative methods.…

Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
Clara Scalzer, Saurav Pokhrel, Sara Hunt, Greg L Nelson
https://arxiv.org/abs/2507.17230

Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
Students continue their education when they feel their learning is meaningful and relevant for their future careers. Computing educators now face the challenge of preparing students for careers increasingly shaped by generative AI (GenAI) with the goals of supporting their learning, motivation, ethics, and career development. Our longitudinal qualitative study of students in a GenAI-integrated creative media course shows how this is a "wicked" problem: progress on one goal can then impede progr…

Phantom Crossing and Oscillating Dark Energy with $F(R)$ Gravity
Shin'ichi Nojiri, S. D. Odintsov, V. K. Oikonomou
https://arxiv.org/abs/2506.21010 htt…

Phantom Crossing and Oscillating Dark Energy with $F(R)$ Gravity
In this work, we shall consider how a dynamical oscillating and phantom crossing dark energy era can be realised in the context of $F(R)$ gravity. We approach the topic from a theoretical standpoint, considering all the conditions that may lead to a consistent phantom crossing behaviour and separately how the $F(R)$ gravity context may realise an oscillating dark energy era. Apart from our qualitative considerations, we study quantitatively two $F(R)$ gravity dark energy models, which are viabl…

Synthesis of timeline-based planning strategies avoiding determinization
Dario Della Monica, Angelo Montanari, Pietro Sala
https://arxiv.org/abs/2507.17988 https://

Synthesis of timeline-based planning strategies avoiding determinization
Qualitative timeline-based planning models domains as sets of independent, but interacting, components whose behaviors over time, the timelines, are governed by sets of qualitative temporal constraints (ordering relations), called synchronization rules. Its plan-existence problem has been shown to be PSPACE-complete; in particular, PSPACE-membership has been proved via reduction to the nonemptiness problem for nondeterministic finite automata. However, nondeterministic automata ca…