edge computing

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...

toyomacro: X-ray photoelectron spectroscopy analysis toolkit

X-ray photoelectron spectroscopy analysis toolkit: high-throughput Voigt fitting and the analysis foundation around it. v0.2.0 adds two experimental diagnostics — how well a spectrum determines the Voigt widths, and energy-axis calibration on a Fermi edge — three runnable examples, and a set of corrections. No existing...

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...

The Spacetime Diagonal: Overcoming the Von Neumann Bottleneck in 10-GHz Arbitrary-Precision Integer Analysis

Isomorphic Collapse of the Primorial Modulus: Bypassing Arithmetic in Arbitrary-Precision Cryptanalysis: The 10-GHz Topological Routing Engine for Overcoming the Von Neumann Bottleneck in Large-Scale Integer Analysis Abstract Modern computational mathematics remains bounded by a fundamental material compromise: as the...

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...