4,439 records
- Tamper-proofing with self-modifying code: threat model, security and necessity of the assumptions
- Hamiltonian s–t paths in solid grid graphs are decidable in polynomial time
- Exact fault images in priority controllers
- Kuhn poker: the value −1/18, all optimal strategies, and the solution at every ante and bet
- Guarded detection and constrained eligible-set extensions
- LowNet: Looped Wavelet Neural Networks with 24 Learnable Parameters for Solving Poisson Equations
- Approximating Independent Sets Using Additive Combinatorics
- Self-organizing reinforcement learning: a learner-free swarm approaches the explore-exploit optimum
- When Are Monomial Symmetric Polynomials Hard?
- Noise-Awareness in Quantum Software Testing: An Empirical Landscape Analysis
- A discrete-continuous-time stochastic framework for attention-deficit/hyperactivity disorder-related symptom modeling and pharmacological intervention via methylphenidate
- Semi-supervised learning on singular data sets
- Cryogenic Recharacterization of a Commercial 22 nm FD-SOI Foundry Standard-Cell Library
- Degree Stability of Parallel Greedy Matching in Random Graphs
- Emulating DGEMM and ZGEMM with INT8 Matrix Engines on Intel Arc GPUs: Ozaki Scheme II on the Xe2 Architecture
- A sqrt(17/2) Lower Bound for Depth Reduction in Explainable Planar k-Center Clustering
- A Three-Polynomial Counterexample to the Generalized Effective Hypercube Nullstellensatz
- A Counterexample to Affine-Subspace Union Stability under Small Deletions
- An Approximate Solution to the Minimum Vertex Cover Problem: The Salvador Algorithm
- Pure infinitely self-modifying code
- Graham's bounds for list scheduling and LPT on identical machines: 2 − 1/m, 4/3 − 1/(3m) and their tight instances
- Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
- Transformers as Adaptive Kernel Learners across Tasks for In-Context Learning
- The Lattice of Coalition Logics between MCL and CL: Coatoms and Compact Meets
- Energy-minimized interpolatory B-spline lofting for sequences of closed contours
- Gaussian Process Bandits with Paired Auxiliary Observations
- BQP^cc is not contained in MA^cc
- Avoiding Distances
- The Exact Junta Bound for Degree-Two Boolean Functions on q-ary Hamming Cubes
- Set Cover by Cyclic Rotations Is NP-Complete
- A Polynomial Separation for Adaptive Fourier-Overlap Parity Decision Trees
- Optimal Local Decompression: Uniform Finite-View Reduction
- Single-Letterization of Rate-Cost Tradeoffs in Static Time-Invariant Control (STIC) Systems
- The Source of Data Value: Consumer Disclosure, Access Design, and Platform Monetization
- On the tradeoff between robustness and geometric accuracy in adversarial training
- A Label Noise Robust Algorithm for Graph Data using Neighborhood Label Distribution
- ParetoChat: An LLM-Based Interface for Interactive Multi-Objective Optimization
- Unconditional Quantum PAC Learning Advantage in the Large Error Regime
- A Generalized Half-Singleton Bound for List Decoding of Insertion/Deletion Errors
- The Strong Total Cover Problem
- Untrained CNN and coefficient-space regularization for joint reconstruction in photoacoustic tomography
- Four New Single-Error-Correcting Binary Codes
- On the Length of Maximum Sum-Rank Distance Codes
- Polytope Sampling at the Speed of Isoperimetry
- A generalised and modular proof-theoretic semantics for sequent systems
- QRecoupling.jl: numerical and exact computation of classical and quantum recoupling coefficients
- Margin Certificates for Voting Classifiers under Mixing Dependence
- Constructive Universal Approximation by Infinite-Dimensional Neural Networks via Gaussian-Weighted Ridgelet Transform
- SALTO: Solver-Anchored Lifted Transfer Operators for Nonlinear Event Inference
- Superfast Spectral Compressed Sensing with Quadratic Convergence