edge computing

FC-DDQN for Multi-User Computation Offloading and Resource Allocation in Mobile Edge Computing

This repository contains the software and reproducibility materials associated with the study “Factorized Coordinated Double Deep Q-Learning for Multi-User Computation Offloading and Resource Allocation in Mobile Edge Computing.” The proposed Factorized Coordinated Double Deep Q-Network (FC-DDQN) separates the binary l...

NUMEN Autonomy Integrity Suite: Hybrid Lean 4 Formal Verification of Behavioral Safety Mathematics with Data-Provable Guarantees

What This IsThe NUMEN Autonomy Integrity Suite is a complete formal verification framework that establishesa mathematically certified chain of trust for measuring behavioral safety in autonomous AI sys‐tems. It consists of five integrated layers:autonomy_eval.py (933 lines) — A behavioral health measurement tool that e...

Post-event optical stereo DEMs (WorldView-2, WorldView Legion 2/3, WorldView-3) for the 2026-08-26 Rasuwa (Langtang Lirung) ice-rock avalanche, Nepal

This record provides digital elevation models (DEMs) from post-event optical stereo satellite images following the 2026-08-26 ice-rock avalanche on the north flank of Langtang Lirung, Rasuwa District, Nepal. The DEMs were produced from Vantor WorldView-2, WorldView-3 and WorldView Legion 2/3 stereo images acquired 2026...

UterUS-CLIP: Semantic Similarity-Enhanced Vision-Language Model for Uterine Ultrasound in 5G Mobile Edge Computing

Berge-Fulkerson Covers, Cycle Double Covers, Flows and Exact Normality Defects of the First Counterexamples to the Petersen Coloring Conjecture

Jaeger's Petersen coloring conjecture (1988), which asserted that every bridgeless cubic graph admits an edge map onto the Petersen graph sending every vertex star onto a vertex star, was refuted in August 2026: Putman exhibited two nonisomorphic 112-vertex counterexamples with SAT-solver certificates, Jooken gave a hu...

Deep Permutation Networks: Layerwise Invariant Manifolds, Closed-Form Attractor Splicing, and Zero-Backpropagation Topological Learning

For four decades, deep artificial neural networks have relied on continuous vector spaces, dense floating-point General Matrix Multiplications (GEMM: hl+1 = σ(Wlhl + bl)), and gradient-based backpropagation. While effective in data centers, this paradigm incurs severe thermodynamic, memory bandwidth, and numerical stab...

The Letter Tax: How Much Shorter Is a Letter-Free Reasoning Trace Than Length-Optimized Language?

PRE-REGISTRATION — The Letter Tax: how much shorter is a letter-free reasoning trace than length-optimized language? Registered 2026-09-19, before any GPU-hour. Code, data, and protocol frozen at commit d207c263df938f6003e51ff3da90f13367b40d99 ("v8 pre-registration freeze (r4)") in https://github.com/ZechenWei7/letter-...

Biomimetic Spiking Neural Graph Dynamics: Neuromorphic Memory Consolidation and Neurotransmitter Modulation in Autonomous Cognitive Operating Systems

Modern autonomous agents predominantly manage state and memory through static vector embeddings and flat nearest-neighbor (k-NN) retrieval mechanisms. While effective for isolated semantic lookups, this mechanical paradigm suffers from severe cognitive pathologies in long-horizon reasoning tasks: lack of temporal recen...

The Nuclear Construction: Method Disclosure for Polytope Closure on a Hexagonal Boundary

A companion manuscript reported a correspondence between light-nuclear structure and closure conditions on regular triangular polytopes, stating the results without disclosing the derivation. This manuscript supplies the method. We give the operation converting a subdivided triad into a tetrahedron, and show it is edge...

Decoupling AI Infrastructure and Advanced Semiconductor Manufacturing from Fragile Supply Chains via Dedicated Fusion Microgrids: The Project POSEIDON Deterministic Defense Framework

【概要 / Abstract (English & Japanese)】 Hyper-scale artificial intelligence (AI) compute infrastructure and advanced semiconductor manufacturing (2nm, A16 nodes and beyond) face severe physical bottlenecks: the saturation of commercial power grids and the acute fragility of globally centralized supply chains situated...

A Discrete Ledger Theory of Gravity: Weak-Field Einstein–Hilbert and Constraint-Algebra Recovery

We present a discrete theory of gravity whose microscopic primitive is a conserved ledger whose dynamical step is a single one-coordinate, one-bit posting, and we prove exactly where such a theory must import geometry and how much of general relativity it recovers once it does. Three unconditional theorems carry the ne...

The filtered topology of the D_9^+ void

Grow balls of squared radius t about the points of D_9^+ = D_9 ∪ ((1/2)^9 + D_9), with contact distance √2, and follow the uncovered part of the torus R^9/D_9 as t falls from the squared covering radius 17/16 to 0. Its persistent homology has 37 critical levels and 55 classes of bars. It is the same over the rationals...