521

arXiv:2511.04201v2 Announce Type: replace
Abstract: We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative barycentric (a…
421

Colin Watson announced that Debusine repositories are now available in beta form, which can be used to maintain APT-compatible add-on package repositories for Debian Linux. This comes down to being similar in nature to Personal Package Archives (PPAs) that are popular with Ubuntu Linux...
320

arXiv:2512.14331v1 Announce Type: new
Abstract: Real-world robots must operate under evolving dynamics caused by changing operating conditions, external disturbances, and unmodeled effects. These may appear as gradual drifts, transient fluctuations, or abrupt shifts, demanding real-time adaptation …
328

Morning Report is The Hill's a.m. newsletter. Subscribe here. In today's issue: ▪ Trump World rallies around Susie Wiles ▪ Jack Smith heads to Capitol Hill ▪ Hegseth rebuffs calls to release video ▪ Trump expands travel ban President Trump will leverage the bully pulpit Wednesday in a speech to the…
339

arXiv:2512.14510v1 Announce Type: new
Abstract: We propose a fundamental-lemma-free data-driven predictive control (DDPC) scheme for synthesizing model predictive control (MPC)-like policies directly from input-output data. Unlike the well-known DeePC approach and other DDPC methods that rely on Wi…
309

arXiv:2512.13996v1 Announce Type: new
Abstract: Sparse Mixture-of-Experts (MoE) architectures effectively scale model capacity by activating only a subset of experts for each input token. However, the standard Top-k routing strategy imposes a uniform sparsity pattern that ignores the varying diffic…
323

arXiv:2510.24252v2 Announce Type: replace
Abstract: Traces form a coarse notion of semantic equivalence between states of a process, and have been studied coalgebraically for various types of system. We instantiate the finitary coalgebraic trace semantics framework of Hasuo et al. for controller-ve…
342

arXiv:2512.14070v1 Announce Type: new
Abstract: JavaScript's widespread adoption has made it an attractive target for malicious attackers who employ sophisticated obfuscation techniques to conceal harmful code. Current deobfuscation tools suffer from critical limitations that severely restrict thei…
321

arXiv:2512.13892v1 Announce Type: cross
Abstract: Reliable estimation of feature contributions in machine learning models is essential for trust, transparency and regulatory compliance, especially when models are proprietary or otherwise operate as black boxes. While permutation-based methods are a…
320

arXiv:2512.07901v2 Announce Type: replace
Abstract: Von Neumann founded both game theory and the theory of self-reproducing automata, but the two programs never merged. This paper provides the synthesis. The Theory of Strategic Evolution analyzes strategic replicators: entities that optimize under …
219

MIAMI (AP) — FIFA slashed the price of some World Cup tickets for teams' most loyal fans following a global backlash and some will get $60 seats for the final instead of being asked to pay $4,185. FIFA said Tuesday that $60 tickets will be made available for every game at the tournament in North...
219

arXiv:2512.14491v1 Announce Type: new
Abstract: Transformer-based multi-modal intelligent systems often suffer from high computational and energy costs due to dense self-attention, limiting their scalability under resource constraints. This paper presents SMMT, a sparse multi-modal transformer arch…
222

President Donald Trump ordered a blockade of sanctioned oil tankers going into and leaving Venezuela, ratcheting up pressure on Caracas as the US builds up its military presence in the region.

Venezuela said in its statement that its ambassador to the United Nations would immediately denounce what …
221

Dispute with clerical staff over below-inflation pay rise comes as NHS resident doctors start BMA-backed strikeThe British Medical Association is facing a strike over pay by its own clerical staff, prompting calls of hypocrisy as resident NHS doctors in England launch five days of strike action with…
211

arXiv:2512.13970v1 Announce Type: new
Abstract: Marine obstacle detection demands robust segmentation under challenging conditions, such as sun glitter, fog, and rapidly changing wave patterns. These factors degrade image quality, while the scarcity and structural repetition of marine datasets limi…
218

arXiv:2509.08745v3 Announce Type: replace
Abstract: The extended-domain method is a strategy for applying spectral methods to complex geometries. Its stability is complicated by the ill-conditioning of the Fourier extension frame. This paper provides a rigorous analysis of the method's pre-asymptot…
212

Decision will pave the way for Netflix to proceed with buyout of film and TV groupWarner Bros Discovery is poised to tell shareholders to reject Paramount’s $108bn (£81bn) hostile bid, according to reports, clearing the way for Netflix to proceed with its buyout of the Hollywood film and TV group.Th…
209

Fuelled by social media and a rare visit by Japan’s elite wrestlers, growing numbers of Britons are taking part in the centuries-old sportIt is a centuries-old Japanese tradition, steeped in ceremony, with roots deep in the ancient faith of Shintoism … and it also happens to be super popular on TikT…
120

Relative of Sir Winston Churchill and Diana, Princess of Wales, accused of three offences from 2022 to 2024The Duke of Marlborough, formerly known as Jamie Blandford, has been charged with intentional strangulation.Charles James Spencer-Churchill, a relative of Sir Winston Churchill and Diana, Princ…
111

arXiv:2512.14228v1 Announce Type: new
Abstract: Georeferencing text documents has typically relied on either gazetteer-based methods to assign geographic coordinates to place names, or on language modelling approaches that associate textual terms with geographic locations. However, many location de…
111

arXiv:2512.13767v1 Announce Type: new
Abstract: Cyber-physical systems (CPS) such as unmanned aerial vehicles are vulnerable to slow degradation that develops without causing immediate or obvious failures. Small sensor biases or timing irregularities can accumulate over time, gradually reducing sta…
111

arXiv:2504.15956v2 Announce Type: replace
Abstract: We prove that with linear transformations, both (i) two-layer self-attention and (ii) one-layer self-attention followed by a softmax function are universal approximators for continuous sequence-to-sequence functions on compact domains. Our main te…
124

arXiv:2512.14273v1 Announce Type: new
Abstract: Grounded video question answering (GVQA) aims to localize relevant temporal segments in videos and generate accurate answers to a given question; however, large video-language models (LVLMs) exhibit limited temporal awareness. Although existing approa…
111

arXiv:2510.10767v2 Announce Type: replace
Abstract: Reinforcement Learning from Human Feedback (RLHF) is increasingly used to fine-tune diffusion models, but a key challenge arises from the mismatch between stochastic samplers used during training and deterministic samplers used during inference. I…
119

arXiv:2512.14376v1 Announce Type: new
Abstract: WebAssembly (Wasm) has risen as a widely used technology to distribute computing workloads on different platforms. The platform independence offered through Wasm makes it an attractive solution for many different applications that can run on disparate…
118

Latest Liverpool alumnus to join Saudi Pro League will not have to worry about a lack of funds at Al-QadsiahThe path from Liverpool to the east of Saudi Arabia is becoming increasingly well-worn, but Brendan Rodgers has a bigger job on his hands than Robbie Fowler, Steven Gerrard and Jordan Henderso…
109

Clip-in fringes are easy to use and trying one first could save tears and regretsThat quote about the definition of insanity being the repetition of the same behaviours with the expectation of a different result is often wrongly attributed to Einstein. Whoever it really was, I’m certain it was someo…
111

arXiv:2410.14591v2 Announce Type: replace-cross
Abstract: We revisit the mean field parametrization of shallow neural networks, using signed measures on unbounded parameter spaces and duality pairings that take into account the regularity and growth of activation functions. This setting directly le…
109

arXiv:2512.14069v1 Announce Type: new
Abstract: Inference with modern Large Language Models (LLMs) is expensive and slow, and speculative sampling has emerged as an effective solution to this problem, however, the number of the calls to the draft model for generating candidate tokens in speculative…
110

arXiv:2307.03034v4 Announce Type: replace-cross
Abstract: In this paper, we consider a general observation model for restless multi-armed bandit problems. The operation of the player is based on the past observation history that is limited (partial) and error-prone due to resource constraints or en…