Tootfinder

"The Witcher" auf Netflix: Liam Hemsworth im ersten Trailer als Geralt
Die Netflix-Serie "The Witcher" hat einen neuen Hauptdarsteller: Wie Liam Hemsworth den Hexer Geralt interpretiert, zeigt ein erster Trailer.

Cohomology of solvable saturable pro-$p$ groups and Lie algebras
Oihana Garaialde Oca\~na, Jon Gonz\'alez-S\'anchez, Lander Guerrero-S\'anchez
https://arxiv.org/abs/2507.18163

Cohomology of solvable saturable pro-$p$ groups and Lie algebras
Let $p$ be an odd prime, and let $n\in \N$ be an integer. We show that the $n^{\text{th}}$ mod-$p$ cohomology of a solvable saturable pro-$p$ group is isomorphic to the $n^{\text{th}}$ mod-$p$ cohomology of its associated $\Z_p$-Lie algebra $\g$ as a $\F_p$-vector space. Addittonally, we obtain that the $n^{\text{th}}$ mod-$p$ cohomology of $\g$ and of $\g/p\g$ are isomorphic as $\F_p$-vector spaces.

Good Morning #Canada
On this day in 1950, the first mountain rescue by helicopter in Canada took place. Albert David Flowers, a BC Forestry fire lookout man, suffered a leg injury at the Azure Mountain Lookout. He was accompanied by his son Gerald Flowers, who was 15 years old. They radioed for help, and a 2-seater open cockpit helicopter was dispatched from a local mining site. The 15 year old Gerald had to cut down trees to prepare a landing site. There was no room for the teen in the helicopter, so he then undertook a 2-day 45km hike off the mountain.
#CanadaIsAwesome #Helicopter
https://www.barrierestarjournal.com/columns/valley-voices-wells-gray-park-helicopter-rescue-makes-history-in-1950-8027471

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brand\'an Briones, Marcus Gerhold, Petra van den Bos, Mari\"elle Stoelinga
https://arxiv.org/abs/2507.18205

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition systems (LTSs). However, to deal with quiescence - the absence of observable output - in practice, a time-out needs to be set to conclude observation of quiescence. Timed MBT exists, but it typically relies on the full arsenal of timed automata (TA). We present a lifting operator $χ^{\scriptstyle M}\!$ that adds timi…

🇺🇦 #NowPlaying on #BBC6Music's #HuwStephens
A Guy Called Gerald:
🎵 Voodoo Ray
#AGuyCalledGerald
https://alejandrovasconez.bandcamp.com/track/a-guy-called-gerald-voodoo-ray-alejandro-vasconez-edit
https://open.spotify.com/track/3Zz3TYhGfZT6NFcw6cDObt

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Leo Brouwer & Gerald Garcia:
🎵 Preludio (Guitar suite no.2 in D)
#LeoBrouwer #GeraldGarcia

Probing multi-band variability and mode switching in the candidate transitional millisecond pulsar 3FGL J1544.6-1125
Giulia Illiano, Francesco Coti Zelati, Arianna Miraval Zanon, Alessandro Papitto, Maria Cristina Baglio, Domitilla de Martino, Stefano Giarratana, Filippo Ambrosino, Francesco Carotenuto, Sergio Campana, Alessio Marino, Nanda Rea, Diego F. Torres, Marcello Giroletti, Thomas D. Russell, Christian Malacaria, Caterina Ballocco, Enrico Bozzo, Carlo Ferrigno, Riccardo La Plac…

Probing multi-band variability and mode switching in the candidate transitional millisecond pulsar 3FGL J1544.6-1125
We present the most extensive high-time resolution multi-band campaign to date on the candidate transitional millisecond pulsar (tMSP) 3FGL J1544.6-1125 in the sub-luminous disk state, with coordinated observations from the radio to the X-ray band. While XMM-Newton and NuSTAR X-ray light curves exhibit the characteristic high- and low-mode bimodality, the source faintness prevents firm evidence for similar bimodality in the ultraviolet and near-infrared light curves, presented here for the firs…

Enhanced Performance of FeFET Gate Stack via Heterogeneously co-doped Ferroelectric HfO$_2$ Films
Shouzhuo Yang, David Lehninger, Peter Reinig, Fred Sch\"one, Raik Hoffmann, Konrad Seidel, Maximilian Lederer, Gerald Gerlach
https://arxiv.org/abs/2508.16768

Enhanced Performance of FeFET Gate Stack via Heterogeneously co-doped Ferroelectric HfO$_2$ Films
In this work, we explore the impact of spatially controlled Zr and Al heterogeneous co-doping in HfO$_2$ thin films tailored for metal-ferroelectric-insulator-semiconductor (MFIS) gate stacks of ferroelectric field effect transistors (FeFETs). By precisely modulating the vertical arrangement of Zr and Al dopants during atomic layer deposition, we introduce deliberate compositional gradients that affect crystallization dynamics during subsequent annealing. This strategy enables us to systematica…

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Gerald Barry, BBC Philharmonic Orchestra & John Storgårds:
🎵 Kafka's Earplugs
#GeraldBarry #BBCPhilharmonicOrchestra #JohnStorgårds