Tootfinder

An Adequate While-Language for Stochastic Hybrid Computation
Renato Neves, Jos\'e Proen\c{c}a, Juliana Souza
https://arxiv.org/abs/2507.15913 https://

An Adequate While-Language for Stochastic Hybrid Computation
We introduce a language for formally reasoning about programs that combine differential constructs with probabilistic ones. The language harbours, for example, such systems as adaptive cruise controllers, continuous-time random walks, and physical processes involving multiple collisions, like in Einstein's Brownian motion. We furnish the language with an operational semantics and use it to implement a corresponding interpreter. We also present a complementary, denotational semantics and estab…

#HarperCollins übernimmt das #Manga-Geschäft von #Crunchyroll in Deutschland und Frankreich - heißt, Crunchyroll steigt aus dem Manga-Geschäft aus, nachdem sie die letzten Jahre alle ihre zusammeng…

It's very amusing to read this piece by @… , "Harvard considered as a long-lived biological organism", examine the section "Harvard's defenses", and see how they seem so strong in normal times and are failing right now—as a bellwether of our times.

Efficient evaluation of forward and inverse energy-based magnetic hysteresis operators
Herbert Egger, Felix Engertsberger, Andreas Schafelner
https://arxiv.org/abs/2507.15289

Efficient evaluation of forward and inverse energy-based magnetic hysteresis operators
The energy-based vector hysteresis model of Francois-Lavet et al. establishes an implicit relation between magnetic fields and fluxes via internal magnetic polarizations which are determined by convex but non-smooth minimization problems. The systematic solution of these problems for every material point is a key ingredient for the efficient implementation of the model into standard magnetic field solvers. We propose to approximate the non-smooth terms via regularization which allows to employ …

🇺🇦 #NowPlaying on BBCRadio3's #Breakfast
Franz Liszt, Berliner Philharmoniker & Herbert von Karajan:
🎵 The Scene at the Tavern (Mephisto Waltz No 1)
#FranzLiszt #BerlinerPhilharmoniker #HerbertvonKarajan

On the vector potential formulation with an energy-based hysteresis model and its numerical solution
Herbert Egger, Felix Engertsberger
https://arxiv.org/abs/2507.14521

On the vector potential formulation with an energy-based hysteresis model and its numerical solution
The accurate modelling and simulation of electric devices involving ferromagnetic materials requires the appropriate consideration of magnetic hysteresis. We discuss the systematic incorporation of the energy-based vector hysteresis model of Henrotte et al. into vector potential formulations for the governing magnetic field equations. The field model describing a single step in a load cycle is phrased as a convex minimization problem which allows us to establish existence and uniqueness of solu…

Hab seit Jahren kein lineares TV mehr, deswegen sind PRO7SAT1RTL etwas sehr Abstraktes geworden - hat sowas heute noch viel Publikum? Übernahme durch Berlusconi passt aber hervorragend zu diversen Talk- und Reality-Formaten, die ich davon noch erinnere.
https://www.

Fernsehkonzern: ProSiebenSat.1-Führung spricht sich für Übernahme durch Berlusconi aus
Die Führung von ProSiebenSat.1 bezeichnet das Angebot der Berlusconi-Holding als "angemessen". Zuvor hatte sie eine Übernahme noch abgelehnt.

Positive Geometry of Polytopes and Polypols
Simon Telen
https://arxiv.org/abs/2506.05510 https://arxiv.org/pdf/2506.05510

Positive Geometry of Polytopes and Polypols
These are lecture notes supporting a minicourse taught at the Summer School in Total Positivity and Quantum Field Theory at CMSA Harvard in June 2025. We give an introduction to positive geometries and their canonical forms. We present the original definition by Arkani-Hamed, Bai and Lam, and a more recent definition suggested by work of Brown and Dupont. We compute canonical forms of convex polytopes and of quasi-regular polypols, which are nonlinear generalizations of polygons in the plane. T…

🇺🇦 #NowPlaying on BBCRadio3's #InTune
Franz Liszt & Milo Harper:
🎵 Le rossignol
#FranzLiszt #MiloHarper

A semi-smooth Newton method for magnetic field problems with hysteresis
Herbert Egger, Felix Engertsberger
https://arxiv.org/abs/2506.01499 https://…

A semi-smooth Newton method for magnetic field problems with hysteresis
Ferromagnetic materials exhibit anisotropy, saturation, and hysteresis. We here study the incorporation of an incremental vector hysteresis model representing such complex behavior into nonlinear magnetic field problems both, from a theoretical and a numerical point of view. We show that the hysteresis operators, relating magnetic fields and fluxes at every material point, are strongly monotone and Lipschitz continuous. This allows to ensure well-posedness of the corresponding magnetic field pr…