Tootfinder

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
Iman Poernomo
https://arxiv.org/abs/2506.09671 https://arxiv.o…

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
We introduce Dynamic Homotopy Type Theory (DHoTT), a temporal extension of Homotopy Type Theory (HoTT) designed to reason formally about concepts whose meanings evolve continuously or rupture discontinuously over time. While traditional HoTT captures identity and equivalence within a fixed semantic landscape, DHoTT enriches this framework by explicitly indexing types with a temporal parameter, allowing types themselves to deform, rupture, and reassemble as contexts shift. Formally, we show th…

Enhancing Human-Robot Collaboration: A Sim2Real Domain Adaptation Algorithm for Point Cloud Segmentation in Industrial Environments
Fatemeh Mohammadi Amin, Darwin G. Caldwell, Hans Wernher van de Venn
https://arxiv.org/abs/2506.09552

Enhancing Human-Robot Collaboration: A Sim2Real Domain Adaptation Algorithm for Point Cloud Segmentation in Industrial Environments
The robust interpretation of 3D environments is crucial for human-robot collaboration (HRC) applications, where safety and operational efficiency are paramount. Semantic segmentation plays a key role in this context by enabling a precise and detailed understanding of the environment. Considering the intense data hunger for real-world industrial annotated data essential for effective semantic segmentation, this paper introduces a pioneering approach in the Sim2Real domain adaptation for semantic…

Verification of the Release-Acquire Semantics
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
https://arxiv.org/abs/2506.08238 https://…

Verification of the Release-Acquire Semantics
The Release-Acquire (RA) semantics and its variants are some of the most fundamental models of concurrent semantics for architectures, programming languages, and distributed systems. Several steps have been taken in the direction of testing such semantics, where one is interested in whether a single program execution is consistent with a memory model. The more general verification problem, i.e., checking whether all allowed program runs are consistent with a memory model, has still not been stu…

Description and Discussion on DCASE 2025 Challenge Task 4: Spatial Semantic Segmentation of Sound Scenes
Masahiro Yasuda, Binh Thien Nguyen, Noboru Harada, Romain Serizel, Mayank Mishra, Marc Delcroix, Shoko Araki, Daiki Takeuchi, Daisuke Niizumi, Yasunori Ohishi, Tomohiro Nakatani, Takao Kawamura, Nobutaka Ono
https://arxiv.org…

Description and Discussion on DCASE 2025 Challenge Task 4: Spatial Semantic Segmentation of Sound Scenes
Spatial Semantic Segmentation of Sound Scenes (S5) aims to enhance technologies for sound event detection and separation from multi-channel input signals that mix multiple sound events with spatial information. This is a fundamental basis of immersive communication. The ultimate goal is to separate sound event signals with 6 Degrees of Freedom (6DoF) information into dry sound object signals and metadata about the object type (sound event class) and representing spatial information, including d…

Some domains of Nvidia, Stanford, NPR, and the CDC were exploited to host AI spam blogs redirecting users to a spam marketing site (Samantha Cole/404 Media)
https://www.404media.co/spam-blogs-ai-slop-domains-wowlazy/

Why Was Nvidia Hosting Blogs About 'Brazilian Facesitting Fart Games'?
Domains owned by Nvidia, Stanford, NPR and the U.S. government are being quietly eaten by AI slop.

A spam marketing operation exploited some domains owned by NPR, Nvidia, Stanford, and the US CDC to host AI slop articles redirecting users to an SEO spam site (Samantha Cole/404 Media)
https://www.404media.co/spam-blogs-ai-slop-domains-wowlazy/

Why Was Nvidia Hosting Blogs About 'Brazilian Facesitting Fart Games'?
Domains owned by Nvidia, Stanford, NPR and the U.S. government are being quietly eaten by AI slop.

Hidden degree of freedom implied by unusual nonlocal transport in a topological semimetal
Yongjian Wang, A. A. Taskin, Yoichi Ando
https://arxiv.org/abs/2506.09720

Hidden degree of freedom implied by unusual nonlocal transport in a topological semimetal
The spin Hall and inverse spin Hall effects have established a principle to understand nonlocal charge transport due to an additional degree of freedom. This principle applies successfully to the nonlocal transport due to the valley degree of freedom in graphene or to the chiral degree of freedom in a Weyl semimetal. Here we report the discovery of an unusual nonlocal charge transport that cannot be explained by any known mechanism and hence points to the existence of a hidden degree of freedom…

ISWS 2025 evening at the Bertinoro village square. waiting for the surprise event 😉
#ISWS2025 #semanticweb #KnowledgeGraphs

Deep Semantic Segmentation for Multi-Source Localization Using Angle of Arrival Measurements
Mustafa Atahan Nuhoglu, Hakan Ali Cirpan
https://arxiv.org/abs/2506.10107

Deep Semantic Segmentation for Multi-Source Localization Using Angle of Arrival Measurements
This paper presents a solution for multi source localization using only angle of arrival measurements. The receiver platform is in motion, while the sources are assumed to be stationary. Although numerous methods exist for single source localization, many relying on pseudo-linear formulations or non convex optimization techniques, there remains a significant gap in research addressing multi source localization in dynamic environments. To bridge this gap, we propose a deep learning-based framewo…

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
Bugra Kilictas, Faruk Alpay
https://arxiv.org/abs/2506.06870 h…

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
ISO 639:2023 unifies the ISO language-code family and introduces contextual metadata, but it lacks a machine-native mechanism for handling dialectal drift and creole mixtures. We propose a formalisation of recursive semantic anchoring, attaching to every language entity $χ$ a family of fixed-point operators $ϕ_{n,m}$ that model bounded semantic drift via the relation $ϕ_{n,m}(χ) = χ\oplus Δ(χ)$, where $Δ(χ)$ is a drift vector in a latent semantic manifold. The base anchor $ϕ_{0,0}$ re…