4,439 records
- When a positive SIMP density floor is not enough: solver admissibility and guarded floor selection in matrix-free 3D topology optimization
- Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound
- Graph k-Coloring in Average Sublinear Time
- Self-dual double cyclic codes over $\mathbb{F}_q$
- Algorithms for Linear Ordinary Differential Operators
- Upper bounds for the monotone rank of the unique disjointness matrix
- Parameter-Free Dynamic Regret under Heavy-Tailed Noise
- Field Codes for Distributed Coupling Samplers and Certified Empirical Transport
- Free constructions for comprehension categories
- From Classification to Regression: Using a Fruitfly to Solve Equations
- Extension Types for Free
- The Capacity Region of the Broadcast Channel with Non-Signaling Assistance
- Data-Driven Model Order Reduction with pyMOR
- Why Customer Choice Models Matter
- Optimization of the directed spanning trees using the weighted matroid intersection algorithm
- Many-body Tipping Dynamics of ChatGPT-like AIs
- QCOEM: Quantum Cloud Orchestration with Evolutionary Multi-Objective Optimization
- Breaking the $4^k$ Barrier for the $k$-Distinct Language
- Repositories, Contributors, and Continuity: An Empirical Study of Foundational Quantum Software
- On Triangulations Generated by the Largest-Angle $n$-Section Algorithm
- Kernel-Checked Exclusions for the Erdős-Selfridge Odd Covering Problem: Any Odd Covering of $\mathbb{Z}$ Has lcm Exceeding 10000
- KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models
- Contextual Deconvolution for Variance-Stable Demand Sensing: Kernel-Modulated Operators in Promotional Retail
- A Physics-Informed Neural Operator for Thermal Ranking of Low-Cost Wall Materials in Hot-Dry Climates
- Optimization with Dynamic Constraint Learning (DCL)
- SpectONet: A Physics-Guided Spectral Deep Operator Network for Euler-Bernoulli Beam Dynamics
- Large Language Model for Operations Research Formulation Selection in Multi-Warehouse Inventory Allocation
- Quasi-SVD: Learning a Lie-constrained matrix factorisation for real-time imaging
- Combinatorial structures connecting Latin squares and bireversible automata
- MEDA: Measurement-Efficient Disorder-Aware Majorana Zero Mode Detection in Realistic Devices
- Formally certifying number field invariants
- Learning the Word Problem: Geodesic Lengths and Cryptographic Applications
- Strong imposition of Dirichlet boundary velocities in structure-preserving discretizations of elastodynamics
- The Code Distortion Problem
- Every string has probabilistic automatic complexity at most three
- Randomly initialized autoencoders: fixed points and edge-of-chaos
- Autonomous Physical Computation: A Categorical Closure Criterion for Physical and Neuromorphic Reservoirs
- Scalable No-Stockout Charging Scheduling for Battery Swapping Under Time-of-Use Prices
- The automorphism groups of random linear codes
- Recovering Assignments with One-Sided Noise
- Effective Parameters, Real Behavior: Renormalization for Robotics -- From Infinite Electron Mass to Sim-to-Real Gap
- Convex Biproducts, Stochastic Matrices and Tape Diagrams
- Superpixel-Based QUBO for Scalable Quantum-Enhanced Medical Image Segmentation
- New perspectives for code locality in the rank metric
- Perturbative-NeuSA: A Structured Spectral Framework for Time-Dependent PDEs
- Cyclic codes and cyclically covering subspaces
- Justification Logic of the Lambda Calculus
- Low-Rank Dependence Decomposition via Accelerated Symmetric Non-negative Matrix Factorization
- Denoising 3D images: robustness of persistent homology measures
- A Quantitative Framework for Comparing Classical and Quantum Algorithms for the Traveling Salesman Problem