Tootfinder

falls man sich für #logistik interessiert und in der reichweite von #waltrop ist: beim schiffshebewerk henrichenburg gibt es eine schöne ausstellung in sachen #container:

This https://arxiv.org/abs/2401.04003 has been replaced.
link: https://scholar.google.com/scholar?q=a

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
Research in robotic planning with temporal logic specifications, such as Linear Temporal Logic (LTL), has relied on single formulas. However, as task complexity increases, LTL formulas become lengthy, making them difficult to interpret and generate, and straining the computational capacities of planners. To address this, we introduce a hierarchical structure for a widely used specification type -- LTL on finite traces (LTL$_f$). The resulting language, termed H-LTL$_f$, is defined with both its…

Fascistische draaiboek van Geert Wilders
#wilders

De grote propagandashow van Geert Wilders volgt het fascistische draaiboek
De Correspondent · Episode

Google rolls out "scheduled actions" in the Gemini app, allowing AI Pro and AI Ultra subscribers to ask the AI assistant to perform tasks at specific times (Emma Roth/The Verge)
https://www.theverge.com/news/681762/google-gemini-schedul…

Google Gemini can now handle scheduled tasks like an assistant
Google is rolling out a new “scheduled actions” feature in Gemini that lets subscribers ask Gemini to carry out tasks at certain times.

17:03 EDT update was still folks trying to make contact with #Resiliance - anyone know what the little house bolted on the rover does? It was unboxed intact, fitted with a fat cable and bolted to the front bumper.
Spaceflight Now is posting periodic #hakuto_r mission 2 updates, but the next press conference won't be until 8pm EDT
https://spaceflightnow.com/2025/06/05/live-coverage-ispace-makes-second-attempt-at-historic-moon-landing/

Power-boosting in Specification Tests using Kernel Directional Component
Cui Rui, Li Yuhao, Song Xiaojun
https://arxiv.org/abs/2506.04900 https://

Power-boosting in Specification Tests using Kernel Directional Component
We propose power-boosting strategies for kernel-based specification tests in conditional moment models, with a focus on the Kernel Conditional Moment (KCM) test. By decomposing the KCM statistic into spectral components, we demonstrate that truncating poorly estimated directions and selecting kernels based on a non-asymptotic signal-to-noise ratio significantly improves both test power and size control. Our theoretical and simulation results demonstrate that, while divergent component weights m…

This https://arxiv.org/abs/2505.01214 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

A Warm-start QAOA based approach using a swap-based mixer for the TSP: theoretical considerations,implementation and experiments
This paper investigates quantum heuristics based on Mixer Hamiltonians, which allow the search to be restricted to a specific subspace and enable warm-start strategies for solving the Traveling Salesman Problem (TSP). Approaches involving Mixer Hamiltonians can be integrated into the Quantum Approximate Optimization Algorithm (QAOA), where the Mixer acts as a mapping function that transforms qubit strings into feasible solution sets. We first introduce a swap-based mixer tailored to the TSP, wh…

Just a quick Clip from our vacation last year in the #schwarzwald 🙂
https://video.franzgraf.de/w/6SiavegVKPhez7PX477F6f

This https://arxiv.org/abs/2502.21015 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Invariant subspaces and the $C_{00}$-property of Brownian Shifts
We introduce Brownian shifts on vector-valued Hardy spaces and describe their invariant subspaces. We then consider the restriction of Brownian shifts to their invariant subspaces and classify when they are unitarily equivalent. Additionally, we prove an asymptotic property stating that normalized Brownian shifts belong to the classical $C_{00}$-class.

Is somebody aware of something like an “all time index” over all BYTE magazine issues? I'm specifically searching for BYTE articles on DTP (desktop publishing). The magazines itself are available via @… (mostly complete) but I don't want to manually walk through every single issues table of contents.