Tootfinder

Solving MDPs with LTLf and PPLTL Temporal Objectives
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
https://arxiv.org/abs/2505.17264

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of LTL on infinite traces while enabling efficient DFA-based techniques, which have been crucial to the scalability of reactive synthesis and adversarial planning in LTLf and PPLTL over finite traces. In this paper, we demonstrate that these logics are also highly effective in the context of MDPs. Introducing a technique …

In Windows 11's Kernel32.dll (well, KernelBase.dll) the check for "twain_32.dll" is still there. I wonder when it was the first time that thing was put there.

A Sibling of AR Scorpii: SDSS J230641.47$ $244055.8 and the Observational Blueprint of White Dwarf Pulsars
N. Castro Segura, I. Pelisoli, B. T. G\"ansicke, D. L. Coppejans, D. Steeghs, A. Aungwerojwit, K. Inight, A. Romero, A. Sahu, V. S. Dhillon, J. Munday, S. G. Parsons, M. R. Kennedy, M. J. Green, A. J. Brown, M. J. Dyer, E. Pike, J. A. Garbutt, D. Jarvis, P. Kerry, S. P. Littlefair, J. McCormac, D. I. Sahman, D. A. H. Buckley

A Sibling of AR Scorpii: SDSS J230641.47$+$244055.8 and the Observational Blueprint of White Dwarf Pulsars
Radio pulsating white dwarf (WD) systems, known as WD pulsars, are non-accreting binary systems where the rapidly spinning WD interacts with a low-mass companion producing pulsed non-thermal emission that can be observed across the entire electromagnetic spectrum. Only two such systems are known: AR Sco and eRASSU J191213.9$-$441044. Here we present the discovery of a third WD pulsar, SDSS J230641.47$+$244055.8. The optical spectrum is dominated by molecular bands from an M-dwarf companion, wit…

TOI-1846b: A super-Earth in the radius valley orbiting a nearby M dwarf
Abderahmane Soubkiou, Khalid Barkaoui, Zouhair Benkhaldoun, Mourad Ghachoui, Jamila Chouqar, Benjamin V. Rackham, Adam Burgasser, Emma Softich, Enric Pall\'e, Akihiko Fukui, Norio Narita, Felipe Murgas, Steve B. Howell, Catherine A. Clark, Colin Littlefield, Allyson Bieryla, Andrew W. Boyle, David Ciardi, Karen Collins, Kevin I. Collins, Jerome de Leon, Courtney D. Dressing, Jason Eastman, Emma Esparza-Borges, …

TOI-1846b: A super-Earth in the radius valley orbiting a nearby M dwarf
We present the discovery and validation of a super-Earth planet orbiting the M dwarf star TOI-1846 (TIC 198385543). The host star(Kmag = 9.6)is located 47 pc away and has a radius of Rs=0.41+/-0.01R_Sun,a mass of Ms=0.40+/-0.02M_Sun and an effective temperature of Teff=3568+/-44K. Our analyses are based on joint modelling of TESS photometry and ground-based multi-color photometric data. We also use high-resolution imaging and archival images, as well as statistical validation techniques to supp…

1/N Johtaminen uudistuu! Eilen tuli televisiosta ohjelma, jossa demonstroitiin uutta johtamismallia "cheerleading" - kannustusjohtaminen. Uusi malli näyttää olevan varsinkin nuorten naisjohtajien suosiossa. Mallissa on erityisiä piirteitä:
SUHTAUTUMINEN ASIOIHIN: Malli on erittäin, jopa liioittelevan positiivinen
JOHTAJUUDEN JAKAMINEN: Malli on yhteispeliä, tiimityötä, koko johtoryhmän toiminta on tarkasti synkronisoitu

Parece interessante. Viu essa, @… ?
@… https://

Philosophical Psychology (@PhilosophicalPsychology@fediscience.org)
Attached: 1 image Free access! Sean Smith reviews "Buddhist Philosophy and the Embodied Mind: A Constructive Engagement" (Rowan & Littlefield) by Matthew MacKenzie https://doi.org/10.1080/09515089.2022.2159798 #Buddhism #embodiment

🇺🇦 #NowPlaying on BBCRadio3's #ClassicalMixtape
Henry Litolff, Peter Donohoe, Andrew Litton & Bournemouth Symphony Orchestra:
🎵 Concerto symphonique No. 2 in B Minor, Op. 22: III. Andante
#HenryLitolff #PeterDonohoe
https://open.spotify.com/track/0PhcAm2inzIxymBF2B8k46