Tootfinder

Diversity in planetary architectures from pebble accretion: Water delivery to the habitable zone with pebble snow
Sean McCloat, Gijs Mulders, Sherry Fieber-Beyer
https://arxiv.org/abs/2509.14101

Diversity in planetary architectures from pebble accretion: Water delivery to the habitable zone with pebble snow
"Pebble snow" describes a planet formation mechanism where icy pebbles in the outer disk reach inner planet embryos as the water ice line evolves inward. We model the effects pebble snow has on sculpting planetary system architectures by developing "The PPOLs Model". The model is capable of growing any number of protoplanet seed masses by pebble accretion simultaneously and accounts for differences in rocky and icy pebble composition, the filtering of pebbles by other protoplanets, the pebble i…

GenFlowRL: Shaping Rewards with Generative Object-Centric Flow in Visual Reinforcement Learning
Kelin Yu, Sheng Zhang, Harshit Soora, Furong Huang, Heng Huang, Pratap Tokekar, Ruohan Gao
https://arxiv.org/abs/2508.11049

GenFlowRL: Shaping Rewards with Generative Object-Centric Flow in Visual Reinforcement Learning
Recent advances have shown that video generation models can enhance robot learning by deriving effective robot actions through inverse dynamics. However, these methods heavily depend on the quality of generated data and struggle with fine-grained manipulation due to the lack of environment feedback. While video-based reinforcement learning improves policy robustness, it remains constrained by the uncertainty of video generation and the challenges of collecting large-scale robot datasets for tra…

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
Philippe Balbiani
https://arxiv.org/abs/2509.13038 https://arxiv.org/pdf/2509.1…

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
In this article, we add a diamond to the parametrized box-based propositional language of intuitionistic doxastic logic and intuitionistic epistemic logic introduced by Artemov and Protopopescu. The main results of this article are the proofs of completeness with respect to their appropriate relational semantics of the resulting intuitionistic doxastic logic and intuitionistic epistemic logic with distributed knowledge.

Competing color superconductivity and color Kondo effect in quark matter
Pradip Kattel, Abay Zhakenov, Natan Andrei
https://arxiv.org/abs/2507.11617 https:…

Competing color superconductivity and color Kondo effect in quark matter
The competition between bulk color superconductivity and the localized screening of a heavy quark impurity, analogous to the Kondo effect, leads to a rich spectrum of phenomena in dense quark matter. We investigate this competition at the edge of a superconducting quark bulk, where both the superconducting gap and the Kondo scale are dynamically generated in a tractable toy model. Utilizing the exact Bethe Ansatz method, we elucidate the resulting boundary physics. We identify distinct regimes …

Uncertainty-Informed Scheduling of Decision Points for Intelligent Mobile Health Interventions
Asim H. Gazi, Bhanu T. Gullapalli, Daiqi Gao, Benjamin M. Marlin, Vivek Shetty, Susan A. Murphy
https://arxiv.org/abs/2507.10798

Uncertainty-Informed Scheduling of Decision Points for Intelligent Mobile Health Interventions
Timely decision making is critical to the effectiveness of mobile health (mHealth) interventions. At predefined timepoints called "decision points," intelligent mHealth systems such as just-in-time adaptive interventions (JITAIs) estimate an individual's biobehavioral context from sensor or survey data and determine whether and how to intervene. For interventions targeting habitual behavior (e.g., oral hygiene), effectiveness often hinges on delivering support shortly before the target behavior…

Automatic Generation of a Cryptography Misuse Taxonomy Using Large Language Models
Yang Zhang, Wenyi Ouyang, Yi Zhang, Liang Cheng, Chen Wu, Wenxin Hu
https://arxiv.org/abs/2509.10814

Automatic Generation of a Cryptography Misuse Taxonomy Using Large Language Models
The prevalence of cryptographic API misuse (CAM) is compromising the effectiveness of cryptography and in turn the security of modern systems and applications. Despite extensive efforts to develop CAM detection tools, these tools typically rely on a limited set of predefined rules from human-curated knowledge. This rigid, rule-based approach hinders adaptation to evolving CAM patterns in real practices. We propose leveraging large language models (LLMs), trained on publicly available cryptogr…

Reconfigurable miniaturized computational spectrometer enabled by photoelastic effect
Linjun Zhai, Baolei Liu, Muchen Zhu, Yao Wang, Chaohao Chen, Zhaohua Yang, Lan Fu, Fan Wang
https://arxiv.org/abs/2508.12077

Reconfigurable miniaturized computational spectrometer enabled by photoelastic effect
Miniatured computational spectrometers, distinguished by their compact size and lightweight, have shown great promise for on-chip and portable applications in the fields of healthcare, environmental monitoring, food safety, and industrial process monitoring. However, the common miniaturization strategies predominantly rely on advanced micro-nano fabrication and complex material engineering, limiting their scalability and affordability. Here, we present a broadband miniaturized computational spe…

Effect of Galactic Chemical Evolution on Exoplanet Properties
Jason H. Steffen (UNLV), Cody Shakespeare (UNLV), Robert Royer (UNLV), David Rice (Open University of Israel), Allona Vazan (Open University of Israel)
https://arxiv.org/abs/2507.10942

Effect of Galactic Chemical Evolution on Exoplanet Properties
We couple a simplified model for the galactic chemical evolution, with software that models the condensation of dust in protoplanetary disks and software that models the interior structure of planets in order to estimate the effects that the galactic chemical evolution has on the properties of planets as they form over time. We find that the early abundance of elements formed from the evolution and death of high-mass stars (such as Oxygen, Silicon, and Magnesium) yields planets with larger mant…

Bridging the Gap in Phishing Detection: A Comprehensive Phishing Dataset Collector
Aditya Kulkarni, Shahil Manishbhai Patel, Shivam Pradip Tirmare, Vivek Balachandran, Tamal Das
https://arxiv.org/abs/2509.09592

Bridging the Gap in Phishing Detection: A Comprehensive Phishing Dataset Collector
To combat phishing attacks -- aimed at luring web users to divulge their sensitive information -- various phishing detection approaches have been proposed. As attackers focus on devising new tactics to bypass existing detection solutions, researchers have adapted by integrating machine learning and deep learning into phishing detection. Phishing dataset collection is vital to developing effective phishing detection approaches, which highly depend on the diversity of the gathered datasets. The l…

Primordial planet spin driven by boundary layer effects in a decretion disc
Rebecca G. Martin, Stephen H. Lubow, David Vallet, Madeline Overton, Stephen Lepp, Zhaohuan Zhu, Shunquan Huang
https://arxiv.org/abs/2508.09273

Primordial planet spin driven by boundary layer effects in a decretion disc
Accretion of material from a protoplanetary disc on to a forming giant planet can spin the planet up to close to its breakup rate, $Ω_{\rm b}=(G M_{\rm p}/R_{\rm p}^3)$, where $M_{\rm p}$ is the mass and $R_{\rm p}$ is the radius of the planet. After the protoplanetary disc dissipates, the rapidly rotating planet may eject a decretion (outflowing) disc in a similar way to a Be star. Boundary layer effects in a hydrodynamic disc allow for decretion disc formation at spin rates below the breakup…