Tootfinder

The downgrading semantics of memory safety
Ren\'e Rydhof Hansen, Andreas Stenb{\ae}k Larsen, Aslan Askarov
https://arxiv.org/abs/2507.11282 https://

The downgrading semantics of memory safety
Memory safety is traditionally characterized in terms of bad things that cannot happen, an approach that is often criticized as unprincipled. Prior work suggest a connection between memory safety and noninterference, but no satisfactory semantic notion of memory safety is currently known. This work proposes a notion of gradual allocator independence that accurately captures many allocator-specific aspects of memory safety. We consider a low-level language with access to an allocator that prov…

Generalizing blocking semiovals in finite projective planes
Marilena Crupi, Antonino Ficarra
https://arxiv.org/abs/2507.05037 https://

Generalizing blocking semiovals in finite projective planes
Blocking semiovals and the determination of their (minimum) sizes constitute one of the central research topics in finite projective geometry. In this article we introduce the concept of blocking set with the $r_\infty$-property in a finite projective plane $\text{PG}(2,q)$, with $r_\infty$ a line of $\text{PG}(2,q)$ and $q$ a prime power. This notion greatly generalizes that of blocking semioval. We address the question of determining those integers $k$ for which there exists a blocking set of…

Evaluation of Stress Detection as Time Series Events -- A Novel Window-Based F1-Metric
Harald Vilhelm Skat-R{\o}rdam, Sneha Das, Kathrine Sofie Rasmussen, Nicole Nadine L{\o}nfeldt, Line Clemmensen
https://arxiv.org/abs/2509.03240

Evaluation of Stress Detection as Time Series Events -- A Novel Window-Based F1-Metric
Accurate evaluation of event detection in time series is essential for applications such as stress monitoring with wearable devices, where ground truth is typically annotated as single-point events, even though the underlying phenomena are gradual and temporally diffused. Standard metrics like F1 and point-adjusted F1 (F1$_{pa}$) often misrepresent model performance in such real-world, imbalanced datasets. We introduce a window-based F1 metric (F1$_w$) that incorporates temporal tolerance, enab…

📳 Physicists solve 90-year-old puzzle of quantum damped harmonic oscillators
#physics

Physicists solve 90-year-old puzzle of quantum damped harmonic oscillators
A plucked guitar string can vibrate for seconds before falling silent. A playground swing, emptied of its passenger, will gradually come to rest. These are what physicists call "damped harmonic oscillators" and are well understood in terms of Newton's laws of motion.

Extreme Lithium Depletion in Solar Twins: Challenging Non-Standard Mixing Models
Isabelle Winnick, Jhon Yana Galarza, Henrique Reggiani, Thiago Ferreira, Isabelle Baraffe, Diego Lorenzo-Oliveira, Micaela Oyague, Rita Valle, Renzo Trujillo Diaz, Nathan Leigh, Matias Flores Trivigno, Ricardo Lopez-Valdivia, Gabriela Carvalho Silva, Eder Martioli, Helio Perottoni
…

Extreme Lithium Depletion in Solar Twins: Challenging Non-Standard Mixing Models
Lithium (Li) is a powerful tracer of stellar mixing, gradually depleted in solar twins by non-standard transport below the convective zone. Here, we identify six new solar twins with exceptionally low Li levels that are not explained by current non-standard mixing models and, together with our previously reported anomalous solar twin HIP 8522, suggest a distinct population marked by a violent evolutionary past. Employing high-resolution spectra ($R=60,000 - 165,000$), we infer precise stellar p…

Convection in a Rapidly Rotating Spherical Shell: Newton's Method Using Implicit Coriolis Integration
Juan Cruz Gonzalez Sembla, Camille Rambert, Fred Feudel, Laurette S. Tuckerman
https://arxiv.org/abs/2508.16635

Convection in a Rapidly Rotating Spherical Shell: Newton's Method Using Implicit Coriolis Integration
Geophysical flows are characterized by rapid rotation. Simulating these flows requires small timesteps to achieve stability and accuracy. Numerical stability can be greatly improved by the implicit integration of the terms that are most responsible for destabilizing the numerical scheme. We have implemented an implicit treatment of the Coriolis force in a rotating spherical shell driven by a radial thermal gradient. We modified the resulting timestepping code to carry out steady-state solving v…

AdapTT: Functoriality for Dependent Type Casts
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
https://arxiv.org/abs/2507.13774 http…

AdapTT: Functoriality for Dependent Type Casts
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural behavior that boils down to the pervasive functoriality of type formers. We propose and extensively study a type theory, called AdapTT, which makes systematic and precise this idea of functorial type formers, with respect to an abstract notion of adapters relating …