Tootfinder

An adaptive delaminating Levin method in two dimensions
Shukui Chen, Kirill Serkh, James Bremer, Murdock Aubry
https://arxiv.org/abs/2506.02424 https://

An adaptive delaminating Levin method in two dimensions
We present an adaptive delaminating Levin method for evaluating bivariate oscillatory integrals over rectangular domains. Whereas previous analyses of Levin methods impose non-resonance conditions that exclude stationary and resonance points, we rigorously establish the existence of a slowly-varying, approximate solution to the Levin PDE across all frequency regimes, even when the non-resonance condition is violated. This allows us to derive error estimates for the numerical solution of the Lev…

#GerPol Dallman Schüller passt nicht wirklich oder?

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Tiziano Dalmonte, Marianna Girlando
https://arxiv.org/abs/2507.02767 ht…

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Intuitionistic conditional logic, studied by Weiss, Ciardelli and Liu, and Olkhovikov, aims at providing a constructive analysis of conditional reasoning. In this framework, the would and the might conditional operators are no longer interdefinable. The intuitionistic conditional logics considered in the literature are defined by setting Chellas' conditional logic CK, whose semantics is defined using selection functions, within the constructive and intuitionistic framework introduced for intuit…

Meine Science-Fiction und Fantasy-Besprechungen für den Mai sind online. Mit For All Mankind, Nils Westerboers neuem Roman Lyneham (den ich sehr empfehle) und der Hidden-Seas-Reihe von A.M. Dellamonica.
https://blog.till-westermayer.de/index.ph…

Science Fiction und Fantasy im Mai 2025
For All Mankind (Apple TV) funktioniert für mich einfach. Ich habe gerade das Finale der Staffel 4 gesehen (das in einer alternativen Realität in einer Marskolonie im Jahr 2012 endet), und bin begeistert davon, weil die Serie es schafft, Politik, halbwegs plausible Wissenschaft bzw. halbwegs plausib

Half-life determination of heavy ions in a storage ring considering feeding and depleting background processes
R. J. Chen, G. Leckenby, R. S. Sidhu, J. Glorius, M. S. Sanjari, Yu. A. Litvinov, F. C. Akinci, M. Bai, K. Blaum, F. Bosch, C. Brandau, T. Dickel, I. Dillmann, D. Dmytriiev, T. Faestermann, O. Forstner, B. Franczak, B. S. Gao, H. Geissel, R. Gernh\"auser, C. Griffin, A. Gumberidze, E. Haettner, R. He{\ss}, P. -M. Hillenbrand, P. Kienle, W. Korten, Ch. Kozhuharov, N. Kuzmi…

Half-life determination of heavy ions in a storage ring considering feeding and depleting background processes
Heavy-ion storage rings have relatively large momentum acceptance which allows for multiple ion species to circulate at the same time. This needs to be considered in radioactive decay measurements of highly charged ions, where atomic charge exchange reactions can significantly alter the intensities of parent and daughter ions. In this study, we investigate this effect using the decay curves of ion numbers in the recent $^{205}$Tl$^{81+}$ bound-state beta decay experiment conducted using the Exp…

Evaluating the Efficacy of LLM-Based Reasoning for Multiobjective HPC Job Scheduling
Prachi Jadhav, Hongwei Jin, Ewa Deelman, Prasanna Balaprakash
https://arxiv.org/abs/2506.02025

Evaluating the Efficacy of LLM-Based Reasoning for Multiobjective HPC Job Scheduling
High-Performance Computing (HPC) job scheduling involves balancing conflicting objectives such as minimizing makespan, reducing wait times, optimizing resource use, and ensuring fairness. Traditional methods, including heuristic-based (e.g., First-Come-First-Served) or intensive optimization techniques, often lack adaptability to dynamic workloads and heterogeneous HPC systems. To address this, we propose a novel Large Language Model (LLM)-based scheduler using a ReAct-style framework (Reason +…

The first major energy supplier in The Netherlands to introduce a 'modern' time-of-use tariff: a (modest) 6 cents/kWh cheaper during the day (11 - 17:00) and night (22-5:00)
https://www.eneco.nl/duurzame-energie/voordeelmomenten/

Duration and properties of the embedded phase of star formation in 37 nearby galaxies from PHANGS-JWST
Lise Ramambason, M\'elanie Chevance, Jaeyeon Kim, Francesco Belfiore, J. M. Diederik Kruijssen, Andrea Romanelli, Amirnezam Amiri, M\'ed\'eric Boquien, Ryan Chown, Daniel A. Dale, Simthembile Dlamini, Oleg V. Egorov, Ivan Gerasimov, Simon C. O. Glover, Kathryn Grasha, Hamid Hassani, Hwihyun Kim, Kathryn Kreckel, Hannah Koziol, Adam K. Leroy, Jos\'e Eduardo M\'endez…

Duration and properties of the embedded phase of star formation in 37 nearby galaxies from PHANGS-JWST
Light reprocessed by dust grains emitting in the infrared allows the study of the physics at play in dusty, embedded regions, where ultraviolet and optical wavelengths are attenuated. Infrared telescopes such as JWST have made it possible to study the earliest feedback phases, when stars are shielded by cocoons of gas and dust. This phase is crucial for unravelling the effects of feedback from young stars, leading to their emergence and the dispersal of their host molecular clouds. Here we show…

Differentiation, the exception not the rule -- Evidence for full miscibility in sub-Neptune interiors
Edward D. Young, Aaron Werlen, Sarah P. Marcum, Cornelis P. Dullemond
https://arxiv.org/abs/2507.00947

Differentiation, the exception not the rule -- Evidence for full miscibility in sub-Neptune interiors
We investigate the consequences of non-ideal mixing between silicate, iron metal, and hydrogen for the structures of the cores of sub-Neptunes with implications for super-Earths, warm Neptunes, and ice giants. A method of extrapolating what we know about the miscibility in the three bounding binary systems MgSiO$_3$-H$_2$, MgSiO$_3$-Fe, and Fe-H$_2$ to the ternary composition space is used to deduce the phase equilibria of this system at relevant temperature and pressure conditions. We find tha…

Replaced article(s) found for cs.HC. https://arxiv.org/list/cs.HC/new
[1/1]:
- Heuristics for AI-driven Graphical Asset Generation Tools in Game Design and Development Pipeline...
Kaisei Fukaya, Damon Daylamani-Zad, Harry Agius