Tootfinder

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Uwe Waldmann
https://arxiv.org/abs/2405.03367 https://

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Bachmair's and Ganzinger's abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition provers to delete or simplify clauses, and thus to keep the clause set manageable. Typical examples are tautology deletion, subsumption deletion, and demodulation, and with a more refined definition of redundancy joinability and connectedness can be covered as well. The notable exception is Destructive Equality Resolution, that is, the replacement …

I just followed Maria's superb columns for 20 minutes. Starting with beautiful scientific watercolors of Great Barrier reef animals.
Jumping from piece to piece. I wound up watching the Eames' short video "Powers of Ten". Maria's interlinked postings are always superb.
#Science #Art

„Das macht niemandem Spaß“: Ein Monat Sparfahrplan in Frankfurt
Fahrten fallen trotz reduziertem Fahrplan aus, viele Bahnen sind überfüllt: Die Stadt zieht dennoch eine positive Bilanz. Pro Bahn meint: Stadt, VGF und Kritiker eint ein gemeinsames Ziel.
https://www.

„Das macht niemandem Spaß“: Ein Monat Sparfahrplan in Frankfurt
Fahrten fallen trotz reduziertem Fahrplan aus, viele Bahnen sind überfüllt: Die Stadt zieht dennoch eine positive Bilanz. Pro Bahn meint: Stadt, VGF und Kritiker eint ein gemeinsames Ziel.

Deutsche Bahn muss sparen – auch beim Personal
Quellen von Reuters sprechen von einer "Notbremse", die Bahn selbst äußert sich vorsichtiger – in der kommenden Woche soll ein Sparprogramm aufgelegt werden.
h…

Joint multi-task learning improves weakly-supervised biomarker prediction in computational pathology
Omar S. M. El Nahhas, Georg W\"olflein, Marta Ligero, Tim Lenz, Marko van Treeck, Firas Khader, Daniel Truhn, Jakob Nikolas Kather
https://arxiv.org/abs/2403.03891

Joint multi-task learning improves weakly-supervised biomarker prediction in computational pathology
Deep Learning (DL) can predict biomarkers directly from digitized cancer histology in a weakly-supervised setting. Recently, the prediction of continuous biomarkers through regression-based DL has seen an increasing interest. Nonetheless, clinical decision making often requires a categorical outcome. Consequently, we developed a weakly-supervised joint multi-task Transformer architecture which has been trained and evaluated on four public patient cohorts for the prediction of two key predictive…

Chiefs superfan turned robber told to pay $10.8M https://www.espn.com/nfl/story/_/id/39902254/chiefsaholic-xaviar-babudar-ordered-pay-teller

Xaviar Babudar, aka Chiefsaholic, ordered to pay $10.8M to ex-bank teller - ESPN
A judge ordered a Kansas City Chiefs superfan who committed a series of bank robberies to pay $10.8 million to a bank teller he threatened with a gun.

Only 2 new movies this week - I posted the two #JamesBond movies last week.
I was in a stupid teen #movie mood this week.
Superbad is amazing! Funny from start to finish. I laughed the entire time!
The New Guy is a bizarre movie. The story/editing of the film is extremely odd…

Hydrodynamic equations for a U(N) invariant superfluid
Yi-Cai Zhang, Shizhong Zhang
https://arxiv.org/abs/2405.02613 https://arxiv.or…

Hydrodynamic equations for a U(N) invariant superfluid
In this paper, we develop the appropriate set of hydrodynamic equations in a U(N) invariant superfluid that couple the dynamics of superflow and magnetization. In the special case when both the superfluid and normal velocities are zero, the hydrodynamic equations reduce to a generalized version of Landau-Lifshitz equation for ferromagnetism with U(N) symmetry. When both velocities are non-zero, there appears couplings between the superflow and magnetization dynamics, and the superfluid velocity…

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

On Linear Separation Capacity of Self-Supervised Representation Learning
Recent advances in self-supervised learning have highlighted the efficacy of data augmentation in learning data representation from unlabeled data. Training a linear model atop these enhanced representations can yield an adept classifier. Despite the remarkable empirical performance, the underlying mechanisms that enable data augmentation to unravel nonlinear data structures into linearly separable representations remain elusive. This paper seeks to bridge this gap by investigating under what c…

Chiefs superfan turned robber told to pay $10.8M https://www.espn.com/nfl/story/_/id/39902254/chiefsaholic-xaviar-babudar-ordered-pay-teller

Xaviar Babudar, aka Chiefsaholic, ordered to pay $10.8M to ex-bank teller - ESPN
A judge ordered a Kansas City Chiefs superfan who committed a series of bank robberies to pay $10.8 million to a bank teller he threatened with a gun.