Tootfinder

🔊 Auf radioeins läuft...
Alberta Cross:
🎵 So Far Out Of Reach
#NowPlaying #AlbertaCross
https://open.spotify.com/track/5XxeZuypZ7WCbxUeLX6iIC
https://albertacrossmusic.bandcamp.com/track/so-far-out-of-reach

🔊 Auf radioeins läuft...
Alberta Cross:
🎵 So Far Out Of Reach
#NowPlaying #AlbertaCross
https://open.spotify.com/track/5XxeZuypZ7WCbxUeLX6iIC
https://albertacrossmusic.bandcamp.com/track/so-far-out-of-reach

Property-Based Testing by Elaborating Proof Outlines
Dale Miller, Alberto Momigliano
https://arxiv.org/abs/2406.10053 https://arxiv.o…

Property-Based Testing by Elaborating Proof Outlines
Property-based testing (PBT) is a technique for validating code against an executable specification by automatically generating test-data. We present a proof-theoretical reconstruction of this style of testing for relational specifications and employ the Foundational Proof Certificate framework to describe test generators. We do this by encoding certain kinds of ``proof outlines'' as proof certificates that can describe various common generation strategies in the PBT literature, ranging from ra…

🔊 Auf radioeins läuft...
Albert Hammond Jr.:
🎵 Far Away Truths
#NowPlaying #AlbertHammondJr
https://open.spotify.com/track/3dJCbcLcqMKJVZ9Vd390K3
Schon gewusst❓
Wenn Du einen Beitrag des Bots ⭐ FAVORISIERST, erfährt das nur der Bot - nicht Deine FollowerInnen.
Wenn Du einen Song weitererempfehlen möchtest, dann 🔁 TEILE ihn❗

On the local resilience of random geometric graphs with respect to connectivity and long cycles
Alberto Espuny D\'iaz, Lyuben Lichev, Alexandra Wesolek
https://arxiv.org/abs/2406.09921

On the local resilience of random geometric graphs with respect to connectivity and long cycles
Given an increasing graph property $\mathcal{P}$, a graph $G$ is $α$-resilient with respect to $\mathcal{P}$ if, for every spanning subgraph $H\subseteq G$ where each vertex keeps more than a $(1-α)$-proportion of its neighbours, $H$ has property $\mathcal{P}$. We study the above notion of local resilience with $G$ being a random geometric graph $G_d(n,r)$ obtained by embedding $n$ vertices independently and uniformly at random in $[0,1]^d$, and connecting two vertices by an edge if the dista…

A penalty barrier framework for nonconvex constrained optimization
Alberto De Marchi, Andreas Themelis
https://arxiv.org/abs/2406.09901 https://

A penalty barrier framework for nonconvex constrained optimization
Focusing on minimization problems with structured objective function and smooth constraints, we present a flexible technique that combines the beneficial regularization effects of (exact) penalty and interior-point methods. Working in the fully nonconvex setting, a pure barrier approach requires careful steps when approaching the infeasible set, thus hindering convergence. We show how a tight integration with a penalty scheme overcomes such conservatism, does not require a strictly feasible sta…

Extended Cyclotron Resonant Heating of the Turbulent Solar Wind
Trevor A. Bowen, Ivan Y. Vasko, Stuart D. Bale, Benjamin D. G. Chandran, Alexandros Chasapis, Thierry Dudok de Wit, Alfred Mallet, Michael McManus, Romain Meyrand, Marc Pulupa, Jonathan Squire
https://arxiv.org/abs/2406.10446

Extended Cyclotron Resonant Heating of the Turbulent Solar Wind
Circularly polarized, nearly parallel propagating waves are prevalent in the solar wind at ion-kinetic scales. At these scales, the spectrum of turbulent fluctuations in the solar wind steepens, often called the transition-range, before flattening at sub-ion scales. Circularly polarized waves have been proposed as a mechanism to couple electromagnetic fluctuations to ion gyromotion, enabling ion-scale dissipation that results in observed ion-scale steepening. Here, we study Parker Solar Probe o…

Neutron Production in Simulations of Extensive Air Showers
Martin Schimassek, Ralph Engel, Alfredo Ferrari, Markus Roth, David Schmidt, Darko Veberi\v{c}
https://arxiv.org/abs/2406.11702

Neutron Production in Simulations of Extensive Air Showers
Although the electromagnetic and muonic components of extensive air showers have been studied in great detail, no comprehensive simulation study of the neutron component is available. This is related to the complexity of neutron transport processes that is typically not treated in standard simulation tools. In this work we use the Monte Carlo simulation package Fluka to study the production and the transport of neutrons in extensive air showers over the full range of neutron energies, extending…

Modified Line Search Sequential Quadratic Methods for Equality-Constrained Optimization with Unified Global and Local Convergence Guarantees
Albert S. Berahas, Raghu Bollapragada, Jiahao Shi
https://arxiv.org/abs/2406.11144

Modified Line Search Sequential Quadratic Methods for Equality-Constrained Optimization with Unified Global and Local Convergence Guarantees
In this paper, we propose a method that has foundations in the line search sequential quadratic programming paradigm for solving general nonlinear equality constrained optimization problems. The method employs a carefully designed modified line search strategy that utilizes second-order information of both the objective and constraint functions, as required, to mitigate the Maratos effect. Contrary to classical line search sequential quadratic programming methods, our proposed method is endowed…

Neutron Production in Simulations of Extensive Air Showers
Martin Schimassek, Ralph Engel, Alfredo Ferrari, Markus Roth, David Schmidt, Darko Veberi\v{c}
https://arxiv.org/abs/2406.11702

Neutron Production in Simulations of Extensive Air Showers
Although the electromagnetic and muonic components of extensive air showers have been studied in great detail, no comprehensive simulation study of the neutron component is available. This is related to the complexity of neutron transport processes that is typically not treated in standard simulation tools. In this work we use the Monte Carlo simulation package Fluka to study the production and the transport of neutrons in extensive air showers over the full range of neutron energies, extending…