Tootfinder

Italy is the first country in Europe where people launch straight into English to talk to me. Apparently I don't look at all Italian? Or they're actually nice and like speaking English unlike a certain country to the northwest.

Technical Aspects of Plasma Operational Simulation (POPSIM): A Framework for Data-Driven Simulation and Control
Allen M. Wang, Zander Keith, Mark Dan Boyer, Andrew Oakleigh Nelson, Alex Saperstein, Alessandro Pau, Cristina Rea
https://arxiv.org/abs/2509.10244

Technical Aspects of Plasma Operational Simulation (POPSIM): A Framework for Data-Driven Simulation and Control
This paper reports on technical aspects of Plasma Operational Simulation (POPSIM), a research framework for data-driven simulation and control built in the machine learning framework JAX. The objective of the project is to address the extremely challenging simulation and modeling requirements of tokamak operations and control by combining simple principles-based models with data-driven models, spanning everything from power laws to new neural network architectures. This paper reports on key sof…

Structuring Definitions in Mathematical Libraries
Alena Gusakov, Peter Nelson, Stephen Watt
https://arxiv.org/abs/2509.10828 https://arxiv.org/pdf/2509.108…

Structuring Definitions in Mathematical Libraries
Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definitions. This results in a steep learning curve for new users and slow progress in formalizing even undergraduate level mathematics. There are many considerations one has to make, such as level of generality, readability, and ease of use in the type system, and there are typically multiple equivalent or related definition…

Meta-Metrics and Best Practices for System-Level Inference Performance Benchmarking
Shweta Salaria, Zhuoran Liu, Nelson Mimura Gonzalez
https://arxiv.org/abs/2508.10251 https://…

Meta-Metrics and Best Practices for System-Level Inference Performance Benchmarking
Benchmarking inference performance (speed) of Foundation Models such as Large Language Models (LLM) involves navigating a vast experimental landscape to understand the complex interactions between hardware and software components. However, evaluating every possible test configuration is impractical, unfeasible and unnecessary. To address this challenge, we introduce FMwork, a comprehensive and methodical approach to creating a controlled testing environment that accurately reflects and characte…

A lovely day touring around central Aberdeen. Here is Marischal College, an enormous 19th century granite building. The stonework is quite delicate, almost lacey albeit with simpler shapes.

Optimal Evacuation Control in Large Urban Networks With Stochastic Demand
Alexander Hammerl, Wenlong Jin, Ravi Seshadri, Thomas Kj{\ae}r Rasmusssen, Otoo Anker Nielsen
https://arxiv.org/abs/2508.06797 …

Optimal Evacuation Control in Large Urban Networks With Stochastic Demand
We develop a risk-aware Model Predictive Control (MPC) framework for large-scale vehicular evacuations. Traffic dynamics are captured by the Generalized Bathtub Model, which describes the network-wide trip completion rate by tracking the time evolution of the distribution of remaining trip distances. We model evacuation inflow as a stochastic inflow process, and employ origin gating as the control policy, implemented through staged departure orders or adaptive ramp metering. A convex objective …

Wise words on the Hickel-Liegey/Nelson debate.
Neither the either nor the or: for a sideways degrowth | degrowth.info
https://degrowth.info/en/blog/neither-the-either-nor-the-or-for-a-sideways-degrowth

Neither the either nor the or: for a sideways degrowth
Here we are again: a position in the degrowth movement becomes apparent, strong, almost dominant, and the other side responds, feeling misrepresented. And in reacting, it inevitably ends up claiming to be the herald of the “true Degrowth” and rejecting the contribution of the other side.

This train smells like pizza. I am at Naples Central, so it makes sense.

Risk Aware Reservoir Control For Safer Urban Traffic Networks
Alexander Hammerl, Wenlong Jin, Ravi Seshadri, Thomas Kj{\ae}r Rasmussen, Otto Anker Nielsen
https://arxiv.org/abs/2508.06790

Risk Aware Reservoir Control For Safer Urban Traffic Networks
We present a risk-aware perimeter-style controller that couples safety and efficiency targets in large, heterogeneous urban traffic networks. The network is compressed into two interacting "reservoirs" whose dynamics follow the Generalized Bathtub Model, while accidents are described by a self-exciting (Hawkes) counting process whose intensity depends on vehicle exposure, speed dispersion between reservoirs and accident clustering. Accident occurrences feed back into operations through an analy…

Crosslisted article(s) found for math.OC. https://arxiv.org/list/math.OC/new
[1/1]:
- Functional Donoho-Elad-Gribonval-Nielsen-Fuchs Sparsity Theorem
K. Mahesh Krishna