Tootfinder

hens: White Leghorn hens (1946)
Dominance interactions (pecking) among a group of White Leghorn hens, observed in 1946. Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 32 nodes and 496 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/hens

from my link log —
RE#: high performance derivative-based regex matching with intersection, complement, and lookarounds.
https://arxiv.org/abs/2407.20479
saved 2025-04-17

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
We present a tool and theory RE# for regular expression matching that is built on symbolic derivatives, does not use backtracking, and, in addition to the classical operators, also supports complement, intersection and lookarounds. We develop the theory formally and show that the main matching algorithm has input-linear complexity both in theory as well as experimentally. We apply thorough evaluation on popular benchmarks that show that RE# is over 71% faster than the next fastest regex engine …

Conditionally adaptive augmented Lagrangian method for physics-informed learning of forward and inverse problems using artificial neural networks
Qifeng Hu, Shamsulhaq Basir, Inanc Senocak
https://arxiv.org/abs/2508.15695

Conditionally adaptive augmented Lagrangian method for physics-informed learning of forward and inverse problems using artificial neural networks
We present several advances to the physics and equality constrained artificial neural networks (PECANN) framework that substantially improve its capability to learn solutions of canonical partial differential equations (PDEs). First, we generalize the augmented Lagrangian method (ALM) to support multiple independent penalty parameters, enabling simultaneous enforcement of heterogeneous constraints. Second, we reformulate pointwise constraint enforcement and Lagrange multipliers as expectations …

Configurations of Lagrangian spheres in $K3$ surfaces
Juan Mu\~noz-Ech\'aniz
https://arxiv.org/abs/2507.15039 https://arxiv.org/pdf/2507.15039

Configurations of Lagrangian spheres in $K3$ surfaces
We study Dehn--Seidel twists on configurations of Lagrangian spheres in symplectic $K3$ surfaces, using tools from Seiberg--Witten theory. In the case of $ADE$ configurations of Lagrangian spheres, we prove that a naturally associated representation of the generalised Braid group in the symplectic mapping class group is always faithful after abelianising, in a suitable sense. More generally, we prove that squared Dehn--Seidel twists on homologically-distinct Lagrangian spheres are algebraically…

Event-Triggered Resilient Consensus of Networked Euler-Lagrange Systems Under Byzantine Attacks
Yuliang Fu, Guanghui Wen, Dan Zhao, Wei Xing Zheng, Xiaolei Li
https://arxiv.org/abs/2507.15283

Event-Triggered Resilient Consensus of Networked Euler-Lagrange Systems Under Byzantine Attacks
The resilient consensus problem is investigated in this paper for a class of networked Euler-Lagrange systems with event-triggered communication in the presence of Byzantine attacks. One challenge that we face in addressing the considered problem is the inapplicability of existing resilient decision algorithms designed for one-dimensional multi-agent systems. This is because the networked Euler-Lagrange systems fall into the category of multi-dimensional multi-agent systems with coupling among …

On an Abstraction of Lyapunov and Lagrange Stability
Michelangelo Bin, David Angeli
https://arxiv.org/abs/2507.15047 https://arxiv.or…

On an Abstraction of Lyapunov and Lagrange Stability
This paper studies a set-theoretic generalization of Lyapunov and Lagrange stability for abstract systems described by set-valued maps. Lyapunov stability is characterized as the property of inversely mapping filters to filters, Lagrange stability as that of mapping ideals to ideals. These abstract definitions unveil a deep duality between the two stability notions, enable a definition of global stability for abstract systems, and yield an agile generalization of the stability theorems for basi…

hens: White Leghorn hens (1946)
Dominance interactions (pecking) among a group of White Leghorn hens, observed in 1946. Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 32 nodes and 496 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/hens

A Multidimensional Birkhoff Theorem for Recurrent Lagrangian Submanifolds by a Tonelli Hamiltonian
Skander Charfi
https://arxiv.org/abs/2507.14561 https://…

A Multidimensional Birkhoff Theorem for Recurrent Lagrangian Submanifolds by a Tonelli Hamiltonian
Consider a closed manifold $M$ and a time-periodic Tonelli Hamiltonian $H : \mathbb{R}/\mathbb{Z} \times T^*M \to \mathbb{R}$ with flow $ϕ_H$. Let $\mathcal{L} \subset T^*M$ be a Lagrangian submanifold Hamiltonianly isotopic to the zero section. We prove that if $ϕ_H^n(\mathcal{L})$ admits convergent subsequences in both positive and negative times, in the Hausdorff topology and with control on the Liouville primitives, to two Lagrangian submanifolds, then $\mathcal{L}$ is a graph over the ze…

Le problème, ce sont les médias qui offrent une plateforme pour des propos complètement hurluberlus et ridicules. Les guignols dans le flux normal des actualités. Faudrait faire un content warning comme chez Mastodon.

Eric Ciotti, patron de l'Union des droites, propose un contre-budget à Sébastien Lecornu pour économiser 120 m
Ces économies seraient réalisées sur l'immigration, la politique sociale ou encore la contribution de la France au budget de l'Union européenne.

Lagrangian Simulation Volume-Based Contour Tree Simplification
Domantas Dilys, Hamish Carr, Steven Boeing
https://arxiv.org/abs/2508.14339 https://arxiv.or…

Lagrangian Simulation Volume-Based Contour Tree Simplification
Many scientific and engineering problems are modelled by simulating scalar fields defined either on space-filling meshes (Eulerian) or as particles (Lagrangian). For analysis and visualization, topological primitives such as contour trees can be used, but these often need simplification to filter out small-scale features. For parcel-based convective cloud simulations, simplification of the contour tree requires a volumetric measure rather than persistence. Unlike for cubic meshes, volume cannot…