Tootfinder

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck H{\o}eg-Petersen, Peter Gj{\o}l Jensen, Kim Guldstrand Larsen, Marius Miku\v{c}ionis, Christian Schilling, Andrzej W\k{a}sowski
https://arxiv.org/abs/2508.16345

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics. The general methodology is to partition the state space and then solve a two-player safety game, which entails a number of algorithmically hard problems such as reachability for hybrid systems. The general philosophy of Uppaal Coshy is to approximate hard-to-obtain solutions using simulations. Our implementation is f…

🇺🇦 #NowPlaying on KEXP's #ElSonido
Juana Aguirre:
🎵 lo_divino
#JuanaAguirre
https://juanaaguirre.bandcamp.com/track/lo-divino
https://open.spotify.com/track/20SlD6QDxPlOd1Ip0NvsdG

Multiscale contact mechanics for elastoplastic contacts
Andreas Almqvist, Bo N. J. Persson
https://arxiv.org/abs/2507.14054 https://a…

Multiscale contact mechanics for elastoplastic contacts
Understanding contact between rough surfaces undergoing plastic deformation is crucial in many applications. We test Persson's multiscale contact mechanics theory for elastoplastic solids, assuming a constant penetration hardness. Using a numerical model based on the boundary element method, we simulate the contact between a rough, rigid surface and an elastic-perfectly plastic half-space with a flat surface. The theory's predictions for elastic, plastic, and total contact area agree quantitati…

Die #Batterie ist zentrale Schlüsseltechnologie der #Elektromobilität.
Doch aktuell dominieren asiatische Hersteller die gesamte #Wertschöpfungskette – von der

Starke Batterieindustrie, starker Automobilstandort
Neun Thesen zum Ausbau der Batterieproduktion für Elektromobilität in Deutschland und Europa

Shape-to-Music: A Musical Representation for Structural Topologies of Mechanical Metamaterials
Sofia Cassara, Buminhan Sansa, Saltuk Yildiz, Waris Khan, Pinar Acar
https://arxiv.org/abs/2509.09020

Shape-to-Music: A Musical Representation for Structural Topologies of Mechanical Metamaterials
Mechanical metamaterials are increasingly attracting interest in engineering applications due to their unique mechanical properties and lightweight nature. This study develops a novel sound-based representation to characterize the topologies of mechanical metamaterials, including spinodal designs and porous cellular structures. Two distinct frameworks are introduced: an image-based approach, where material topologies are divided into grids and their relative densities are mapped to evolving mel…

Nuclear Stellar Discs
Mathias Schultheis (Universit\'e C\^ote d'Azur), Mattia C. Sormani (Universit\'a dell'Insubria), Dimitri A. Gadotti (Durham University)
https://arxiv.org/abs/2509.04562

Nuclear Stellar Discs
We review our current understanding of nuclear stellar discs (NSDs), rotating, and flattened stellar structures found in the central regions of both early- and late-type galaxies. We examine their demographics, kinematics, stellar populations, metallicity gradients and star formation histories. We derive scaling relations linking NSDs to properties of their host galaxies, and compare them with analogous relations for nuclear star clusters. The relationship between NSDs and other central galacti…

Soot Planets instead of Water Worlds
Jie Li, Edwin A. Bergin, Marc M. Hirschmann, Geoffrey A. Blake, Fred J. Ciesla, Eliza M. -R. Kempton
https://arxiv.org/abs/2508.16781 https:…

Soot Planets instead of Water Worlds
Some low-density exoplanets are thought to be water-rich worlds that formed beyond the snow line of their protoplanetary disc, possibly accreting coequal portions of rock and water. However, the compositions of bodies within the Solar System and the stability of volatile-rich solids in accretionary disks suggest that a planet rich in water should also acquire as much as 40% refractory organic carbon ("soot"). This would reduce the water mass fraction well below 50%, making the composition of th…