Tootfinder

Can Internal Software Metrics Predict App Popularity at Launch? Yeas! and Nays!
Md Nahidul Islam Opu, Fatima Islam Mouri, Rick Kazman, Yuanfang Cai, Shaiful Chowdhury
https://arxiv.org/abs/2507.02110

Can Internal Software Metrics Predict App Popularity at Launch? Yeas! and Nays!
Predicting mobile app popularity before release can provide developers with a strategic advantage in a competitive marketplace, yet it remains a challenging problem. This study explores whether internal software metrics, measurable from source code before deployment, can predict an app's popularity, defined by user ratings (calculated from user reviews) and DownloadsPerYear (yearly downloads). Using a dataset of 446 open-source Android apps from F-Droid, we extract a wide array of features, inc…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies

Ghislaine Maxwell is quietly moved to cushy new Texas prison as she pushes for deal to tell all on Epstein, his associates (Ben Kochman/New York Post)
https://nypost.com/2025/08/01/us-news/ghislaine-maxwell-quietly-moved-to-cushy-new-texas-prison-as-she-pushes-for-deal-to-tell-all-on-epstein-his-associates/?utm§source=nypost&utm§campaign=android§nyp&utm§medium=social
http://www.memeorandum.com/250801/p69#a250801p69

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Complexity classification of counting graph homomorphisms modulo a prime number
Andrei A. Bulatov, Amirhossein Kazeminia

Spinning Boundary Correlators from (A)dS$_4$ Twistors
Mariana Carrillo Gonz\'alez, Th\'eo Keseman
https://arxiv.org/abs/2510.00096 https://arxiv.or…

Spinning Boundary Correlators from (A)dS$_4$ Twistors
We develop a twistor-space framework to compute boundary correlators via a boundary limit of nested Penrose transforms in (A)dS$_4$. Starting from correlators of (anti-)self-dual bulk fields, the boundary limit reproduces the correlators of the dual conserved currents; we demonstrate this explicitly for two- and three-point functions. The two-point correlator is rendered finite by working in Euclidean signature. At three points, we obtain compact rational twistor-space representatives obeying a…

Effective Dynamics for Weakly Interacting Bosons in an Iterated High-Density Thermodynamic Limit
Daniele Ferretti, Kalle Koskinen
https://arxiv.org/abs/2510.00839 https://

Effective Dynamics for Weakly Interacting Bosons in an Iterated High-Density Thermodynamic Limit
We study the time evolution of weakly interacting Bose gases on a three-dimensional torus of arbitrary volume. The coupling constant is supposed to be inversely proportional to the density, which is considered to be large and independent of the number of particles. We take into account a class of initial states exhibiting quasi-complete Bose-Einstein condensation. For each fixed time in a finite interval, we prove the convergence of the one-particle reduced density matrix to the projection onto…

🇺🇦 #NowPlaying on BBCRadio3's #BBCProms
Gustav Mahler, Hallé & Kahchun Wong:
🎵 Symphony No. 2 in C minor, 'Resurrection'
#GustavMahler #Hallé #KahchunWong

MM-LMPC: Multi-Modal Learning Model Predictive Control via Bandit-Based Mode Selection
Wataru Hashimoto, Kazumune Hashimoto
https://arxiv.org/abs/2510.00410 https://

MM-LMPC: Multi-Modal Learning Model Predictive Control via Bandit-Based Mode Selection
Learning Model Predictive Control (LMPC) improves performance on iterative tasks by leveraging data from previous executions. At each iteration, LMPC constructs a sampled safe set from past trajectories and uses it as a terminal constraint, with a terminal cost given by the corresponding cost-to-go. While effective, LMPC heavily depends on the initial trajectories: states with high cost-to-go are rarely selected as terminal candidates in later iterations, leaving parts of the state space unexpl…

Replaced article(s) found for cs.CC. https://arxiv.org/list/cs.CC/new
[1/1]:
- Complexity classification of counting graph homomorphisms modulo a prime number
Andrei A. Bulatov, Amirhossein Kazeminia

Crosslisted article(s) found for gr-qc. https://arxiv.org/list/gr-qc/new
[1/1]:
- Spinning Boundary Correlators from (A)dS$_4$ Twistors
Mariana Carrillo Gonz\'alez, Th\'eo Keseman