Generative Motion In-betweening by Diffusion over Continuous Implicit Representations

Get full text

Exact Accepting-State Spectrum for Reversal of Permutation Automata

Get full text

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids

Get full text

Universal Design and Physical Applications of Non-Uniform Cellular Automata on Translationally Invariant Lattices

Get full text

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints

Get full text

VERA-MH: Validation of Ethical and Responsible AI in Mental Health

Get full text

Embodied Neurocomputation: A Framework for Interfacing Biological Neural Cultures with Scaled Task-Driven Validation

Get full text

A Hybrid Tucker-LSTM Tensor Network Model for SOC Prediction in Electric Vehicles

Get full text

A Rigid Category of DNA Secondary Structures

Get full text

Low-Cost Arborescence Under Edge Faults

Get full text

Fast and Compact Graph Cuts for the Boykov-Kolmogorov Algorithm

Get full text

Tighter relaxations for MAP-MRF optimization via Singleton Arc Consistency

Get full text

Strong Conflict-Free Vertex-Connection via Twin Cover: Kernelization and Chromatic Bounds

Get full text

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic

Get full text

Distributed Approximate Maximum Matching and Minimum Vertex Cover via Generalized Graph Decomposition

Get full text

The Power of Graph Doubling: Computing Ultrabubbles in a Bidirected Graph by Reducing to Weak Superbubbles

Get full text

On the Advantage of Adaptivity for Sampling with Cell Probes

Get full text

Thin Trees for Near Minimum Cuts

Get full text

Optimal Bounds, Barriers, and Extensions for Non-Hermitian Bivariate Quantum Signal Processing

Get full text

Betti numbers for cochordal zero-divisor graphs of commutative rings

Get full text