4,439 records
- Variational Matrix-Learning Fourier Networks for Parametric Multiphysics Surrogates
- Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
- ZNO: Stable Rational Neural Operators in the Z-Domain for Discrete-Time Dynamics
- Higher-Order Flexible Configurations of Planar Parallel Manipulators Constructed by Averaging
- Glivenko's theorems from an ecumenical perspective
- Computability Limits of Sequential Hypothesis Testing
- A Closed-Form Persistence-Landmark Pipeline for Certified Point-Cloud and Graph Classification
- The Complexity of Stoquastic Sparse Hamiltonians
- Observability for Post-Quantum TLS Readiness: A Multi-Surface Evidence Framework
- Linear and cyclic codes over some special rings
- Sensitivity Analysis of Tactical Wireless Network Design Under Realistic Operational Constraints
- Pose Tracking with a Foundation Pose Model and an Ensemble Directional Kalman Filter
- Quantitative Sobolev Approximation Bounds for Neural Operators with Empirical Validation on Burgers Equation
- Limit Properties at Critical Indices of Linear Canonical Riesz Potentials and Their Applications to Security of Multi-Image Encryption
- Beyond ECE: Calibrated Size Ratio, Risk Assessment, and Confidence-Weighted Metrics
- nvPAX: Constrained Optimization for Dynamic Power Allocation in Hierarchical and Multi-Tenant Systems
- Training Non-Differentiable Networks via Optimal Transport
- Combinatorial Analysis of Dyadic and Quasi-Dyadic Codes
- Optimized and kinematically feasible multi-agent motion planning
- Optimization of CV-QKD Under Practical Constraints
- Analytic Bridge Diffusions for Controlled Path Generation
- Improved Rate-versus-Distance Upper Bounds for LDPC Codes
- Rethinking Explanations: Formalizing Contrast in Description Logics
- Priority Scheduling in the M/G/1 with Preemption Overhead
- The Banach-Butterfly Invariant: Influence-Adaptive Walsh Geometry for Ternary Polynomial Threshold Functions
- Right-Sizing Communication and Recommendation Set Size in AI-Assisted Search
- Near-optimal and Efficient First-Order Algorithm for Multi-Task Learning with Shared Linear Representation
- Beyond Continuity: Simulation-free Reconstruction of Discrete Branching Dynamics from Single-cell Snapshots
- Instance-Aware Parameter Configuration in Bilevel Late Acceptance Hill Climbing for the Electric Capacitated Vehicle Routing Problem
- Reinforcement Learning with Markov Risk Measures and Multipattern Risk Approximation
- A Near-Linear-Time Algorithm for Finding a Well-Spread Perfect Matching in Bridgeless Cubic Graphs
- Univalence without function extensionality
- HyCOP: Hybrid Composition Operators for Interpretable Learning of PDEs
- Information Accessibility Limits in Structured NP Search
- Induced Representations in Cooperative Games with Homogeneous Groups of Players
- On Sampling Lower Bounds for Polynomials
- Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp
- Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- Learning Discriminators for Resampling in the Ensemble Gaussian Mixture Filter through a Normalizing Flow Approach
- Topological Neural Tangent Kernel
- New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search
- Spectral Graph Sparsification Preserves Representation Geometry in Graph Neural Networks
- Spacetime Formation under Requirements: Contextual Realization and Form-Dependent Probability
- A Short Note on Batch-efficient Divide-and-Conquer Algorithm for EigenDecomposition
- lpviz: Interactive Linear Programming Visualization
- Toward a Characterization of Simulation Between Arithmetic Theories
- Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery
- Semidefinite and linear programming bounds for sum-rank-metric codes and non-existence results
- A Logic of Inability