Tootfinder

Mean-field and Monte Carlo Analysis of Multi-Species Dynamics of agents
Eduardo Velasco Stock, Roberto da Silva, Sebastian Gon\c{c}alves
https://arxiv.org/abs/2506.16717

Mean-field and Monte Carlo Analysis of Multi-Species Dynamics of agents
We propose a mean-field (MF) approximation for the recurrence relation governing the dynamics of $m$ species of particles on a square lattice, and we simultaneously perform Monte Carlo (MC) simulations under identical initial conditions to emulate the intricate motion observed in environments such as subway corridors and scramble crossings in large cities. Each species moves according to transition probabilities influenced by its respective static floor field and the state of neighboring cells.…

A facility for thermo-mechanical characterization of fusion magnet materials during cryogenic ion irradiation
Akarsh Aurora, Alexis R Devitre, Angus PC Wylie, Jonas A Rajagopal, Michael P Short
https://arxiv.org/abs/2506.17358

A facility for thermo-mechanical characterization of fusion magnet materials during cryogenic ion irradiation
Commercial fusion power plants demand magnet materials that retain structural integrity and thermal conductivity while operating under the bombardment of energetic neutrons at cryogenic temperatures. Understanding how thermo-mechanical properties evolve under such extreme loads is crucial for selecting materials with high radiation tolerance and predictable failure mechanisms. Presented here is a facility that combines cryogenic transient grating spectroscopy (TGS) with simultaneous ion irradia…

A Structural Causal Model for Electronic Device Reliability: From Effects to Counterfactuals
Federico Mattia Stefanini (Department of Environmental Science and Policy, University of Milan, Via Celoria 2, 20133 Milan, Italy), Nedka Dechkova Nikiforova (Department of Statistics Computer Science Applications 'G. Parenti', University of Florence, viale Morgagni 59, Florence, 50134 Florence, Italy), Rossella Berni (Department of Statistics Computer Science Applications 'G. Paren…

A Structural Causal Model for Electronic Device Reliability: From Effects to Counterfactuals
Electronic devices exhibit changes in electrical resistance over time at varying rates, depending on the configuration of certain components. Since measuring overall electrical resistance requires partial disassembly, only a limited number of measurements are performed over thousands of operating hours. This leads to censored failure times, whether under natural stress or under accelerated stress conditions. To address these challenges, including device-specific failure thresholds, a parametric…

Life Improvement Update:
I decided to move to a smaller apartment outside the city, where there is more nature. After six years of living very close to the city center on a busy street with lots of noise, I encountered some problems with allergies.
I moved from a bed to the floor. The last few days have been very interesting; I haven’t slept this well in years. I fall asleep in a matter of seconds and sleep for eight hours straight.
I have implemented fasting again to eat l…

InflationEasy: A C Lattice Code for Inflation
Angelo Caravano
https://arxiv.org/abs/2506.11797 https://arxiv.org/pdf/2506.11797

InflationEasy: A C++ Lattice Code for Inflation
InflationEasy is the first lattice code specifically developed for cosmological inflation. It simulates the nonlinear dynamics of a scalar field on a three-dimensional lattice in an expanding FLRW universe, using finite-difference spatial derivatives and a staggered leapfrog integrator for time evolution. Based in part on the well-known LATTICEEASY, it incorporates several improvements tailored to inflationary applications. Among other features, InflationEasy implements a nonperturbative $δN$ …

Join our #Luanti server they said. A few days have passed and I built this. Now what?
Contemplating my life choices.

This https://arxiv.org/abs/2502.13033 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Classical notions of computation and the Hasegawa-Thielecke theorem
In the spirit of the Curry-Howard correspondence between proofs and programs, we define and study a syntax and semantics for classical logic equipped with a computationally involutive negation, using a polarised effect calculus. A main challenge in designing a denotational semantics is to accommodate both call-by-value and call-by-name evaluation strategies, which leads to a failure of associativity of composition. Building on the work of the third author, we devise the notion of dialogue duplo…

TrioXpert: An automated incident management framework for microservice system
Yongqian Sun, Yu Luo, Xidao Wen, Yuan Yuan, Xiaohui Nie, Shenglin Zhang, Tong Liu, Xi Luo
https://arxiv.org/abs/2506.10043

TrioXpert: An automated incident management framework for microservice system
Automated incident management plays a pivotal role in large-scale microservice systems. However, many existing methods rely solely on single-modal data (e.g., metrics, logs, and traces) and struggle to simultaneously address multiple downstream tasks, including anomaly detection (AD), failure triage (FT), and root cause localization (RCL). Moreover, the lack of clear reasoning evidence in current techniques often leads to insufficient interpretability. To address these limitations, we propose T…