Tootfinder

Graphene structure modification under tritium exposure: 3H chemisorption dominates over defect formation by \b{eta}-radiation
Alexandra Becker, Genrich Zeller, Holger Lippold, Ismail Eren, Lara Rkaya M\"uller, Paul Chekhonin, Agnieszka Beata Kuc, Magnus Schl\"osser, Cornelius Fischer
https://arxiv.org/abs/2506.20304

Graphene structure modification under tritium exposure: 3H chemisorption dominates over defect formation by \b{eta}-radiation
Potential structural modifications of graphene exposed to gaseous tritium are important for membrane-based hydrogen isotope separation. Such modifications cannot be explained by electron irradiation alone. Instead, tritiation, caused by the tritium radicals remaining after the decay, is the primary effect causing the modification of the graphene surface, as confirmed by confocal Raman spectroscopy. The effect of the interaction of tritium atoms with the graphene surface exceeds that of electron…

This one is for the Brits, abbreviated from Simon Clark:
"The Met Office is currently looking for people to suggest up to 5 names for storms.
It would be great if thousands suggested the same 5 names (in alphabetical order as that's how storm names appear):
BigOil, BP, Equinor, Exxon, Shell.
Met Office page:

Name our Storms

Faster Fixed-Point Methods for Multichain MDPs
Matthew Zurek, Yudong Chen
https://arxiv.org/abs/2506.20910 https://arxiv.org/pdf/2506…

Faster Fixed-Point Methods for Multichain MDPs
We study value-iteration (VI) algorithms for solving general (a.k.a. multichain) Markov decision processes (MDPs) under the average-reward criterion, a fundamental but theoretically challenging setting. Beyond the difficulties inherent to all average-reward problems posed by the lack of contractivity and non-uniqueness of solutions to the Bellman operator, in the multichain setting an optimal policy must solve the navigation subproblem of steering towards the best connected component, in additi…

Solving MDPs with LTLf and PPLTL Temporal Objectives
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
https://arxiv.org/abs/2505.17264

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of LTL on infinite traces while enabling efficient DFA-based techniques, which have been crucial to the scalability of reactive synthesis and adversarial planning in LTLf and PPLTL over finite traces. In this paper, we demonstrate that these logics are also highly effective in the context of MDPs. Introducing a technique …

Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition
Alexandros Evangelidis, Gricel V\'azquez, Simos Gerasimou
https://arxiv.org/abs/2506.17792

Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition
Software-intensive systems, such as software product lines and robotics, utilise Markov decision processes (MDPs) to capture uncertainty and analyse sequential decision-making problems. Despite the usefulness of conventional policy synthesis methods, they fail to scale to large state spaces. Our approach addresses this issue and accelerates policy synthesis in large MDPs by dynamically refining the MDP and iteratively selecting the most fragile MDP regions for refinement. This iterative procedu…

Phenylalanine modification in plasma-driven biocatalysis revealed by solvent accessibility and reactive dynamics in combination with protein mass spectrometry
Hanna-Friederike Poggemann, Sabrina Klopsch, Simon Homann, Tim Dirks, Sina Sch\"akermann, Julia E. Bandow, Timo Jacob, Christoph Jung
https://arxiv.org/abs/2506.20205…

Phenylalanine modification in plasma-driven biocatalysis revealed by solvent accessibility and reactive dynamics in combination with protein mass spectrometry
Biocatalysis is an emerging field that provides an environmentally friendly alternative to conventional catalysis, but still it faces some challenges. One of the major difficulties for biocatalysts that require reactive species like H2O2 as co-substrates lies in the concentration of these reactive species. On the one hand, they are used as reactants, but on the other hand, they inactivate the enzymes at high concentrations. When utilizing non-thermal plasma to deliver H2O2 for biocatalysis, it …

Modifications of the BIC for order selection in finite mixture models
Hien Duy Nguyen, TrungTin Nguyen
https://arxiv.org/abs/2506.20124 https://

Modifications of the BIC for order selection in finite mixture models
Finite mixture models are ubiquitous tools in modern statistical modeling, and a frequently encountered problem that arises in their implementation is the choice of model order. In Kerebin (2000, Sankhya: The Indian Journal of Statistics, Series A, 62, pp. 49-66), the frequently used Bayesian information criterion (BIC) was proved to provide consistent order estimation in the mixture model setting. However, the result requires particularly strong model regularity, including the existence of hig…

Novel Approximation of the Modified Mild Slope Equation
Chengnian Xiao
https://arxiv.org/abs/2506.19854 https://arxiv.org/pdf/2506.19…

Novel Approximation of the Modified Mild Slope Equation
The mild-slope equation and its various modifications aim to model, with varying degrees of success, linear water wave propagation over sloping or undulating seabed topography. However, despite multiple modifications and attempted simplifications, the different variants of the equation include multiple higher order terms involving the nonlinear water wave dispersion relation and thus remain analytic intractable. To further facilitate its use, we derive a drastically simplified alternative versi…

Existence of nuclear modifications on longitudinal-transverse structure function ratio
S. Kumano
https://arxiv.org/abs/2506.18305 https://

Existence of nuclear modifications on longitudinal-transverse structure function ratio
It has been assumed that nuclear modification does not exist in the longitudinal-transverse structure function ratio $R_N=F_L^N/(2xF_1^N)$ in lepton deep inelastic scattering. This assumption is widely used in obtaining structure functions of the ``nucleon" from nuclear data such as the deuteron ones. However, nuclear modifications do exist theoretically at least at medium- and large-$x$ regions because nucleons in a nucleus move in any direction, which is not necessary the longitudinal directi…

Evaluating Disassembly Errors With Only Binaries
Lambang Akbar Wijayadi, Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Zhuohao Liu
https://arxiv.org/abs/2506.20109

Evaluating Disassembly Errors With Only Binaries
Disassemblers are crucial in the analysis and modification of binaries. Existing works showing disassembler errors largely rely on practical implementation without specific guarantees and assume source code and compiler toolchains to evaluate ground truth. However, the assumption of source code is contrary to typical binary scenarios where only the binary is available. In this work, we investigate an approach with minimal assumptions and a sound approach to disassembly error evaluation that doe…