Tootfinder

The Urban Model Platform: A Public Backbone for Modeling and Simulation in Urban Digital Twins
Rico H Herzog, Till Degkwitz, Trivik Verma
https://arxiv.org/abs/2506.10964

The Urban Model Platform: A Public Backbone for Modeling and Simulation in Urban Digital Twins
Urban digital twins are increasingly perceived as a way to pool the growing digital resources of cities for the purpose of a more sustainable and integrated urban planning. Models and simulations are central to this undertaking: They enable "what if?" scenarios, create insights and describe relationships between the vast data that is being collected. However, the process of integrating and subsequently using models in urban digital twins is an inherently complex undertaking. It raises questions…

Dowker's theorem for higher-order relations
Vin de Silva, Chad Giusti, Vladimir Itskov, Michael Robinson, Radmila Sazdanovic, Nikolas Schonsheck, Melvin Vaupel, Iris H. R. Yoon
https://arxiv.org/abs/2506.10909

Dowker's theorem for higher-order relations
Given a relation $R \subseteq I \times J$ between two sets, Dowker's Theorem (1952) states that the homology groups of two associated simplicial complexes, now known as Dowker complexes, are isomorphic. In its modern form, the full result asserts a functorial homotopy equivalence between the two Dowker complexes. What can be said about relations defined on three or more sets? We present a simple generalization to multiway relations of the form $R \subseteq I_1 \times I_2 \times \cdots \times I_…

Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD
Luke Halpin, Phillip Benachour, Tracy Hall, Ann-Marie Houghton, Emily Winter
https://arxiv.org/abs/2506.10598

Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD
Coding forms a key part of computer science education in universities. As part of this education, Integrated Development Environments (IDEs) are essential tools for coding. However, it is currently unknown how the design of an IDE's interface impacts on students with Attention Deficit Hyperactivity Disorder (ADHD). In this study we investigated the use of IDEs by students with ADHD. We conducted a think aloud study with nine university computing students, followed by qualitative observational…

Approximate Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Dirichlet Boundary Condition with a Bounded Control
Larissa Fardigola, Kateryna Khalina
https://arxiv.org/abs/2506.10466

Approximate Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Dirichlet Boundary Condition with a Bounded Control
In the paper, the problems of approximate controllability are studied for the control system $w_t=Δw$, $w(0,x_2,t)=u(x_2,t)$, $x_1\in\mathbb R_+=(0,+\infty)$, $x_2\in\mathbb R$, $t\in(0,T)$, where $u$ is a control belonging to a special subset of $L^\infty(\mathbb R\times (0,T))\cap L^2(\mathbb R\times (0,T))$. It is proved that each initial state belonging to $L^2(\mathbb R_+\times\mathbb R)$ is approximately controllable to an arbitrary end state belonging to $L^2(\mathbb R_+\times\mathbb R)…

Adaptive Job Scheduling in Quantum Clouds Using Reinforcement Learning
Waylon Luo (Kent State University), Jiapeng Zhao (Cisco), Tong Zhan (Meta), Qiang Guan (Kent State University)
https://arxiv.org/abs/2506.10889

Adaptive Job Scheduling in Quantum Clouds Using Reinforcement Learning
Present-day quantum systems face critical bottlenecks, including limited qubit counts, brief coherence intervals, and high susceptibility to errors-all of which obstruct the execution of large and complex circuits. The advancement of quantum algorithms has outpaced the capabilities of existing quantum hardware, making it difficult to scale computations effectively. Additionally, inconsistencies in hardware performance and pervasive quantum noise undermine system stability and computational accu…

Two things that @… made me realise with this latest dispatch:
1. Saying an LLM can replace a human is nonsense for many reasons, but one is that LLMs are generic, whereas a human is specific. They’re bad at chess, and so is the average human, but you don’t hire the average human to do a job, you hire a skilled one

Topological A-Model for $AdS_5\times S^5$ Superstring and the Maldacena Conjecture
Nathan Berkovits (ICTP-SAIFR/IFT-UNESP, Sao Paulo)
https://arxiv.org/abs/2506.10907

Topological A-Model for $AdS_5\times S^5$ Superstring and the Maldacena Conjecture
A topological A-model constructed from $CP^{3|4}$ supertwistor variables is proposed for the $AdS_5\times S^5$ superstring. At zero $AdS$ radius, free N=4 d=4 super-Yang-Mills amplitudes are reproduced by topological amplitudes of the corresponding gauged linear sigma model where the closed superstring vertex operator for a trace of $k$ super-Yang-Mills fields is described by a boundary state with U(1) worldsheet instanton number $k$. After turning on a Fayet-Iliopoulis term in the sigma m…

A cavity array microscope for parallel single-atom interfacing
Adam L. Shaw, Anna Soper, Danial Shadmany, Aishwarya Kumar, Lukas Palm, Da-Yeon Koh, Vassilios Kaxiras, Lavanya Taneja, Matt Jaffe, David I. Schuster, Jonathan Simon
https://arxiv.org/abs/2506.10919

A cavity array microscope for parallel single-atom interfacing
Neutral atom arrays and optical cavity QED systems have developed in parallel as central pillars of modern experimental quantum science. While each platform has demonstrated exceptional capabilities-such as high-fidelity quantum logic in atom arrays, and strong light-matter coupling in cavities-their combination holds promise for realizing fast and non-destructive atom measurement, building large-scale quantum networks, and engineering hybrid atom-photon Hamiltonians. However, to date, experime…

Solving Package Management via Hypergraph Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp, Michael Winston Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam, Anil Madhavapeddy
https://arxiv.org/abs/2506.10803

Solving Package Management via Hypergraph Dependency Resolution
Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that multi-lingual projects are unable to express precise dependencies across language ecosystems, and external system and hardware dependencies are typically implicit and unversioned. We define HyperRes, a formal system for describing versioned dependency resolution using a hypergraph that is expressive enough to model man…

Precise Zero-Shot Pointwise Ranking with LLMs through Post-Aggregated Global Context Information
Kehan Long, Shasha Li, Chen Xu, Jintao Tang, Ting Wang
https://arxiv.org/abs/2506.10859

Precise Zero-Shot Pointwise Ranking with LLMs through Post-Aggregated Global Context Information
Recent advancements have successfully harnessed the power of Large Language Models (LLMs) for zero-shot document ranking, exploring a variety of prompting strategies. Comparative approaches like pairwise and listwise achieve high effectiveness but are computationally intensive and thus less practical for larger-scale applications. Scoring-based pointwise approaches exhibit superior efficiency by independently and simultaneously generating the relevance scores for each candidate document. Howeve…