Tootfinder

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

Extensional and Non-extensional Functions as Processes
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $λ$-calculus, the process representations yield (at best) non-extensional $λ$-theories (i.e., $β$ rule holds, whereas $η$ does not). In the paper, we study how to obtain extensional representations, and how to move between extensional and non-extensional representations. Using Internal $π$, $\mathrm{I}π$ (a subset of the $π$-calculus in which all outputs are boun…

The Center Is Not Holding -- The institutionalists are all but extinct. The moderates are fleeing. (The Bulwark)
https://www.thebulwark.com/p/the-center-is-not-holding-bacon-tillis-republicans-big-beautiful-bill-trump-supreme-court-congress
http://www.memeorandum.com/250630/p151#a250630p151

A Practical Approach to Power Saving in Hearables Using Sub-Nyquist Sampling with Bandwidth Extension
Tarikul Islam Tamiti, Anomadarshi Barua
https://arxiv.org/abs/2506.22321

A Practical Approach to Power Saving in Hearables Using Sub-Nyquist Sampling with Bandwidth Extension
Hearables are wearable computers that are worn on the ear. Bone conduction microphones (BCMs) are used with air conduction microphones (ACMs) in hearables as a supporting modality for multimodal speech enhancement (SE) in noisy conditions. However, existing works don't consider the following practical aspects for low-power implementations on hearables: (i) They do not explore how lowering the sampling frequencies and bit resolutions in analog-to-digital converters (ADCs) of hearables jointly im…

The Fordham University
Tri-State Tick Risk Index for the week of June 27, is at the highest it can be:
a 10 out of 10.
What’s listed next to that score is the following:
"If you’re thinking of taking a hike, consider going to a movie instead."
h…

Fordham Tri-State Tick Risk
The Fordham Tick Index is an estimate of the risk of being bitten by a nymphal or adult deer tick.

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

Flowing from the Ising Model on the Fuzzy Sphere to the 3D Lee-Yang CFT
We employ the Fuzzy Sphere regulator to study the 3D Lee-Yang CFT. The model is defined by deforming the Ising model on the Fuzzy Sphere via a purely imaginary longitudinal magnetic field. This model undergoes a quantum phase transition, whose critical point we determine and identify with the 3D Lee-Yang CFT. We show how to tune the model and find that the lowest-lying states of the Hamiltonian align well with the expected CFT spectrum. We discuss the Fuzzy Sphere estimates for the scaling dime…

A New Experimental Method for Determining the Pinning Energy of an Abrikosov Vortex
Elmeri O. Rivasto
https://arxiv.org/abs/2506.21706 https://

A New Experimental Method for Determining the Pinning Energy of an Abrikosov Vortex
We demonstrate a novel method of experimentally addressing the pinning energy of an Abrikosov vortex in high-temperature superconducting thin films. The method is based on our previously published theoretical framework considering the optimization of heterostructural bilayer films. To demonstrate our method, we have estimated the pinning energy of a typical BaZrO$_3$-nanocolumn within YBa$_2$Cu$_3$O$_{6+x}$ lattice using the experimental data from our previous study. Our calculations result in …

Signatures of rigidity and second sound in dipolar supersolids
G. A. Bougas, T. Bland, H. R. Sadeghpour, S. I. Mistakidis
https://arxiv.org/abs/2506.22290 …

Signatures of rigidity and second sound in dipolar supersolids
We propose a dynamical protocol to probe the rigidity and phase coherence of dipolar supersolids by merging initially separated fragments in quasi-one-dimensional (1D) double-well potentials. Simulations based on the extended Gross-Pitaevskii equation reveal distinct dynamical signatures across phases. Supersolids exhibit damped crystal oscillations following barrier removal, with the damping rate reflecting superfluid connectivity. A phase-imprinted jump additionally triggers metastable dark s…

Non-linear estimators for the observation and stabilisation of falling liquid films
Oscar Holroyd, Radu Cimpeanu, Susana N. Gomes
https://arxiv.org/abs/2506.16987

Non-linear estimators for the observation and stabilisation of falling liquid films
Falling liquid films are complex physical processes modelled by infinite-dimensional dynamical systems. The interfacial behaviour is characterised by the Reynolds number, a nondimensional parameter, and above a critical value the uniform film becomes unstable and travelling waves occur. By injecting and removing fluid from the base at discrete locations, we aim to stabilise otherwise unstable flat interfaces, with the additional limitation that observations of the state are restricted to finite…

Orlando Brown expects more from 'special' Bengals offense after Ja'Marr Chase, Tee Higgins deals https://www.nfl.com/news/orlando-brown-expecting-more-from-special-bengals-offense-following-ja-…

Filling of incomplete sinograms from sparse PET detector configurations using a residual U-Net
Klara Leffler, Luigi Tommaso Luppino, Samuel Kuttner, Karin S\"oderkvist, Jan Axelsson
https://arxiv.org/abs/2506.19600

Filling of incomplete sinograms from sparse PET detector configurations using a residual U-Net
Long axial field-of-view PET scanners offer increased field-of-view and sensitivity compared to traditional PET scanners. However, a significant cost is associated with the densely packed photodetectors required for the extended-coverage systems, limiting clinical utilisation. To mitigate the cost limitations, alternative sparse system configurations have been proposed, allowing an extended field-of-view PET design with detector costs similar to a standard PET system, albeit at the expense of i…