Tootfinder

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
Marcelo Fiore, Sanjiv Ranchod
https://arxiv.org/abs/2505.24812 https:/…

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context structural rules given by exchange (linear theory) with weakening (affine theory) or with contraction (relevant theory) and with both (cartesian theory). Specifically, in all four scenarios, we uniformly: define abstract syntax with variable binding as free algebras for binding-signature endofunctors over variab…

Forward Reverse Kernel Regression for the Schr\"{o}dinger bridge problem
Denis Belomestny, John. Schoenmakers
https://arxiv.org/abs/2507.00640 https:/…

Forward Reverse Kernel Regression for the Schrödinger bridge problem
In this paper, we study the Schrödinger Bridge Problem (SBP), which is central to entropic optimal transport. For general reference processes and begin--endpoint distributions, we propose a forward-reverse iterative Monte Carlo procedure to approximate the Schrödinger potentials in a nonparametric way. In particular, we use kernel based Monte Carlo regression in the context of Picard iteration of a corresponding fixed point problem. By preserving in the iteration positivity and contractivity …

Synthesis of high-strength, radiopure, electroformed copper-based alloys for rare-event searches: A materials design perspective
Dimitra Spathara, Patrick Knights, Konstantinos Nikolopoulos
https://arxiv.org/abs/2507.00799

Synthesis of high-strength, radiopure, electroformed copper-based alloys for rare-event searches: A materials design perspective
Rare-event searches are key to unveiling the constituents of dark matter and to understanding the nature of neutrinos. These endeavors demand detectors with exceptionally low levels of radioactivity, leading to breakthroughs in related techniques. In this context, additive-free electroformed copper has emerged as the material of choice thanks to its excellent radiopurity, favorable physical properties, and affordable cost. However, its high ductility and limited mechanical strength pose challen…

Exploring Micro Frontends: A Case Study Application in E-Commerce
Ricardo Hideki Hangai Kojo (University of S\~ao Paulo), Luiz Fernando Corte Real (University of S\~ao Paulo), Renato Cordeiro Ferreira (University of S\~ao Paulo, Jheronimus Academy of Data Science, Technical University of Eindhoven, Tilburg University), Thatiane de Oliveira Rosa (University of S\~ao Paulo, Federal Institute of Tocantins), Alfredo Goldman (University of S\~ao Paulo)

Exploring Micro Frontends: A Case Study Application in E-Commerce
In the micro frontends architectural style, the frontend is divided into smaller components, which can range from a simple button to an entire page. The goal is to improve scalability, resilience, and team independence, albeit at the cost of increased complexity and infrastructure demands. This paper seeks to understand when it is worth adopting micro frontends, particularly in the context of industry. To achieve this, we conducted an investigation into the state of the art of micro frontends, …

Evaluating the effect of different non-informative prior specifications on the Bayesian proportional odds model in randomised controlled trials: a simulation study
Chris J. Selman, Katherine J. Lee, Michael Dymock, Ian C. Marschner, Steven Y. C. Tong, Mark Jones, Robert K. Mahar
https://arxiv.org/abs/2507.21491

Evaluating the effect of different non-informative prior specifications on the Bayesian proportional odds model in randomised controlled trials: a simulation study
Background: Ordinal outcomes combine multiple distinct ordered patient states into a single endpoint and are commonly analysed using proportional odds (PO) models in clinical trials. When using a Bayesian approach, it is not obvious what the influence of a 'non-informative' prior is in the analysis of a fixed design or on early stopping decisions in adaptive designs. Methods: This study compares different non-informative prior specifications for the Bayesian PO model in the context of both a …

Reviewing some #aspnetcore Minimal API endpoint code today, and the need to inject every dependency, even a “RedirectManager”, feels like a code smell.
There is an elegance to an MVC endpoint or Razor Page that exists in a self-aware context.

Exoplanet exploration in the context of the PLATO mission: From detection to population studies
Amadeo Castro-Gonz\'alez
https://arxiv.org/abs/2506.19898

Exoplanet exploration in the context of the PLATO mission: From detection to population studies
This thesis constitutes an observational effort to advance our understanding of planet formation and evolution across different regimes. To do so, we exploited Kepler/K2 and TESS data in combination with ground-based observations, serving as a preparation for the PLATO mission. This endeavour led to the discovery and statistical validation of four planets, the confirmation and characterisation of two other planets, the detection of 14 new planet candidates, and the revision of the properties of…

DEFENDCLI: {Command-Line} Driven Attack Provenance Examination
Peilun Wu, Nan Sun, Nour Moustafa, Youyang Qu, Ming Ding
https://arxiv.org/abs/2508.12553 https://

DEFENDCLI: {Command-Line} Driven Attack Provenance Examination
Endpoint Detection and Response (EDR) solutions embrace the method of attack provenance graph to discover unknown threats through system event correlation. However, this method still faces some unsolved problems in the fields of interoperability, reliability, flexibility, and practicability to deliver actionable results. Our research highlights the limitations of current solutions in detecting obfuscation, correlating attacks, identifying low-frequency events, and ensuring robust context awaren…

MAGNeT: Multimodal Adaptive Gaussian Networks for Intent Inference in Moving Target Selection across Complex Scenarios
Xiangxian Li, Yawen Zheng, Baiqiao Zhang, Yijia Ma, XianhuiCao XianhuiCao, Juan Liu, Yulong Bian, Jin Huang, Chenglei Yang
https://arxiv.org/abs/2508.12992

MAGNeT: Multimodal Adaptive Gaussian Networks for Intent Inference in Moving Target Selection across Complex Scenarios
Moving target selection in multimedia interactive systems faces unprecedented challenges as users increasingly interact across diverse and dynamic contexts-from live streaming in moving vehicles to VR gaming in varying environments. Existing approaches rely on probabilistic models that relate endpoint distribution to target properties such as size and speed. However, these methods require substantial training data for each new context and lack transferability across scenarios, limiting their pr…

Effective sample size estimation based on concordance between p-value and posterior probability of the null hypothesis
Han Wang, Yan Dora Zhang, Guosheng Yin
https://arxiv.org/abs/2507.16422

Effective sample size estimation based on concordance between p-value and posterior probability of the null hypothesis
Estimating the effective sample size (ESS) of a prior distribution is an age-old yet pivotal challenge, with great implications for clinical trials and various biomedical applications. Although numerous endeavors have been dedicated to this pursuit, most of them neglect the likelihood context in which the prior is embedded, thereby considering all priors as "beneficial". In the limited studies of addressing harmful priors, specifying a baseline prior remains an indispensable step. In this paper…