Research Papers
Research Papers news — Thursday 08 October 2026
35 stories from 3 sources, every one in English. Each links to its publisher.
-
Nutritional interventions’ impacts on human milk: Three trials in low-resource settings
Science, Ahead of Print.
-
A fast radio burst at redshift 2, three billion years after the Big Bang
Science, Ahead of Print.
-
Safeguarding global terrestrial vertebrate species from future sea-level rise
Science, Ahead of Print.
-
Shared patterns of human milk composition link mammary gland function to infant growth
Science, Ahead of Print.
-
A DNA Typewriter records the cell lineage history of a mouse, from zygote to late organogenesis
Science, Ahead of Print.
-
Democratizing MoE inference on commodity GPUs with CoMoE
arXiv:2610.09424v1 Announce Type: new Abstract: Deploying Mixture-of-Experts (MoE) models relies heavily on Expert Parallelism, which generates intense inter-GPU communication. Consequently, state-of-the-art inference systems require…
-
Efficient Heuristics and Machine Learning Approach for Fault Characterization in Distributed Self-Stabilizing Programs
arXiv:2610.10386v1 Announce Type: new Abstract: Modern large-scale systems rely on distributed protocols to maximize efficiency while preserving the correctness guarantees of single-process execution. However, designing such protocols is…
-
Differential Refresh Policies for Models Trained on Lagging Data Snapshots: From a Single-Age Equivalence Limit to an Optimal Per-Segment Allocation
arXiv:2610.09519v1 Announce Type: cross Abstract: Production machine-learning models are derived artifacts of time-bounded training snapshots: a deployed model is a materialized view over a training cut that ages the instant it is built. A…
-
A Lock-Free, Fully GPU-Resident Architecture for the Verification of Goldbach's Conjecture
arXiv:2603.07850v2 Announce Type: replace-cross Abstract: We present a device-resident, multi-GPU architecture for the large-scale computational verification of Goldbach's conjecture. In prior work, a segmented double-sieve eliminated…
-
Certified Splitting: Decidability and Anchor Supply for Maximal-Munch Tokenization
arXiv:2610.08854v1 Announce Type: cross Abstract: A certificate is a window of bytes with an origin inside it: wherever the window occurs in a completely tokenizable input, the token covering the window's final byte begins at that origin…
-
Part of the Strassen algorithm can speed up matrix multiplication in a parallel pebbling game
arXiv:2610.08929v1 Announce Type: new Abstract: We present a novel variant of the Strassen algorithm called the Partial Strassen algorithm, which uses a fraction of the Strassen steps to perform matrix multiplication in less time than…
-
vLLM-Omni Technical Report: A Unified Serving Runtime for Omni-Modality Generation
arXiv:2610.09307v1 Announce Type: new Abstract: Interaction with intelligent systems is expanding beyond text-centric chatbots and coding agents. Speech-native assistants, visual generation and editing, world-model environments, and robot…
-
LOCAA: An Agentic System for Automated Lossy Compressor Tuning
arXiv:2610.10487v1 Announce Type: new Abstract: Large-scale scientific simulations generate substantial data volumes, making lossy compression essential for reducing storage and data movement costs. However, users configure compressors…
-
What Bloats Your Floats? Right-Sizing Numerical Precision for Scientific Computing
arXiv:2610.09089v1 Announce Type: new Abstract: While FP64 (binary64) remains the standard representation of real numbers in scientific computing, hardware trends increasingly favor low-precision formats optimized for AI workloads. This…
-
AI-Assisted Computational Reproducibility on the FABRIC Testbed
arXiv:2606.25879v2 Announce Type: replace Abstract: Computational reproducibility remains difficult despite being central to scientific research. In this paper, we show how the international FABRIC testbed, combined with a large language…
-
Performance Portable $\mathrm{SU}(N)$ Lattice Gauge Theory Simulation with Kokkos
arXiv:2610.09766v1 Announce Type: cross Abstract: The increasing diversity of high performance computing systems makes separate, architecture specific implementations of lattice gauge theory algorithms costly to maintain. We present…
-
Communication-Aware Qubit Placement and Automatic Node-Count Allocation for Distributed State-Vector Simulation
arXiv:2610.09659v1 Announce Type: new Abstract: Distributed quantum circuit simulation enables the execution of large-scale quantum algorithms by partitioning qubits across multiple computational nodes. However, inefficient qubit placement…
-
TorchGWAS 1.0: GPU-accelerated GWAS at scale
arXiv:2604.21095v2 Announce Type: replace Abstract: Imaging, molecular, and machine-learning workflows can generate thousands of quantitative phenotypes in a single cohort, creating substantial computational and output bottlenecks when…
-
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
arXiv:2610.09825v1 Announce Type: cross Abstract: Security monitoring of edge-IoT fleets faces three structural challenges. (i) A per-node monitor is cheap but cannot see attacks that coordinate across devices. (ii) A cloud monitor sees…
-
Almost Optimal Constant-Round Approximation of Dominating Set in Graph Classes with Excluded Minors
arXiv:2610.09618v1 Announce Type: cross Abstract: For every fixed proper minor-closed class $\mathscr C$ and every $\epsilon>0$, we give a deterministic LOCAL algorithm that returns a dominating set of size at most $(2a(\mathscr…
-
Reconciling Bottom-Up Metrics with Top-Down Reporting for Cloud Carbon Accounting
arXiv:2610.10148v1 Announce Type: new Abstract: Organizations seeking to reduce the carbon footprint of their cloud applications must rely on two largely disconnected ways of measuring it, each with important limitations. Bottom-up metrics…
-
Out-of-Air Computation: Enabling Structured Function Extraction from Wireless Superposition
arXiv:2604.04312v2 Announce Type: replace-cross Abstract: Over-the-air computation (AirComp) broadly exploits the superposition property of wireless multiple-access channels (MACs) to compute functions of distributed data. Within this…
-
Automatically Detecting and Fixing Deadlocks in Go Code with GoDDaR
arXiv:2610.08962v1 Announce Type: cross Abstract: The Go programming language provides a lightweight abstraction for concurrent programming through goroutines, which are prone to deadlocks. Go includes a runtime detector that aborts…
-
VeriNC: Finding Design Risks of In-Network Computing Systems
arXiv:2604.10186v5 Announce Type: replace Abstract: The emergence of programmable switches has brought in-network computing (INC) into the spotlight in recent years. By offloading computation directly onto the data transmission process…
-
SUSpMV: A High Frequency Sparse Matrix Vector Multiplier on HBM Enabled FPGA written in SUS
arXiv:2610.10403v1 Announce Type: cross Abstract: SUSpMV is a Sparse Matrix Vector multiplication (SpMV) accelerator written in the upcoming HDL SUS. By leveraging SUS's unique latency counting and inference mechanism, SUSpMV could be…
-
AeroEval: Staged Program and Execution Validation for AI-Generated Drone Missions
arXiv:2610.09764v1 Announce Type: cross Abstract: Large Language Models (LLMs) can generate drone programs from natural-language mission descriptions, but syntactically valid programs may still violate user intent, environmental…
-
The Economic Security of Exponential EIP-1559
arXiv:2610.10333v1 Announce Type: cross Abstract: We consider the problem of parameter selection for EIP-1559, a widely used gas pricing mechanism for blockchains. As opposed to previous work, we aim to achieve economic security, where the…
-
Decentralized Consensus from Quantum Proof of Position
arXiv:2602.22195v3 Announce Type: replace-cross Abstract: We construct an energy efficient consensus protocol with geospatial position as an external resource by using quantum computers. Economic resources of some form are essential in…
-
A Distributed Accelerated Preconditioned ADMM for Solving Quadratically Regularized Optimal Transport on Bipartite Graphs
arXiv:2610.09512v1 Announce Type: new Abstract: Optimal transport (OT) has found broad applications in machine learning, economics, and management. Classical OT models, however, are not directly suited to allocation problems with…
-
Expert Coupling in MoE Pretraining: Reducing All-to-All Overhead with Correlated Placement and Token Shuffling
arXiv:2610.09372v1 Announce Type: cross Abstract: Mixture-of-Experts (MoE) layers replace the feed-forward block of a Transformer with E expert networks, and each token is routed to k of these experts. Under expert parallelism (EP) the…
-
Fast and Memory Efficient Offload Training Framework with Hybrid XPU Computation
arXiv:2610.09657v1 Announce Type: new Abstract: With the ever-growing size of deep learning models, GPU memory is prone to being insufficient during training. A prominent approach is ZeRO-Offload, which moves the optimizer states to CPU…
-
HPC-MQBench: Qualification-First Benchmarking on Slurm with a Single-Broker Kafka Evaluation
arXiv:2610.09786v1 Announce Type: new Abstract: Messaging experiments on high-performance computing clusters must coordinate services, clients, and measurement within scheduler allocations. We present HPC-MQBench, a Slurm-orchestrated…
-
Rendezvous under Variable Disorientation:The Algorithmic Power of Fixed Unit Distance
arXiv:2610.09713v1 Announce Type: new Abstract: We study deterministic Rendezvous of two robots with lights under weak geometric and synchronization assumptions. Our focus is on Variable Disorientation (VD), where each robot may…
- Fostering a culture of technology transfer in astrophysics
- UAE completes Arab world's first solo space probe – and sets course for an asteroid