:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Keinath-Esmail, Zaman
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Data Structures and Algorithms Information Theory F.1.1; F.4.1
Online Access:	https://arxiv.org/abs/2308.05906
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Myhill-Nerode Type Characterization of 2detLIN Languages
by: Nagy, Benedek
Published: (2025)

Rabin Games and Colourful Universal Trees
by: Majumdar, Rupak, et al.
Published: (2024)

Explicit Bounds and Parallel Algorithms for Counting Multiply Gleeful Numbers
by: Moore, Sara, et al.
Published: (2025)

Weisfeiler-Leman on graphs of small twin-width
by: Heinrich, Irene, et al.
Published: (2026)

On the formalization of the notion of a concurrent algorithm
by: Middelburg, C. A.
Published: (2024)

On the formalization of the notion of an algorithm
by: Middelburg, C. A.
Published: (2024)

Formalizing the notions of non-interactive and interactive algorithms
by: Middelburg, C. A.
Published: (2024)

Smooth Approximations of the Rounding Function
by: Semenov, Stanislav
Published: (2025)

An O(nlogn) approximate knapsack algorithm
by: Dawes, Nick
Published: (2025)

Selective algorithm processing of subset sum distributions
by: Dawes, Nick
Published: (2024)

Orbit-finite linear programming
by: Ghosh, Arka, et al.
Published: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
by: Grabolle, Gustav
Published: (2022)

Reducing the Space Used by the Sieve of Eratosthenes When Factoring
by: Hartman, Samuel, et al.
Published: (2024)

Group Order Logic
by: Dahan, Anatole
Published: (2025)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
by: Aiswarya, C, et al.
Published: (2024)

Polynomial Bounds of CFLOBDDs against BDDs
by: Zhi, Xusheng, et al.
Published: (2024)

How to Verify a Turing Machine with Dafny
by: Lederer, Edgar F. A.
Published: (2026)

Turing machines deciders, part I
by: The bbchallenge Collaboration, et al.
Published: (2025)

Scalable Learning of One-Counter Automata via State-Merging Algorithms
by: Guha, Shibashis, et al.
Published: (2025)

Equivariant ideals of polynomials
by: Ghosh, Arka, et al.
Published: (2024)

A Formal Analysis of Algorithms for Matroids and Greedoids
by: Abdulaziz, Mohammad, et al.
Published: (2025)

Analysis of Algorithms for Moser's Problems on Sums of Consecutive Primes
by: Sorenson, Jonathan P., et al.
Published: (2025)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

On generating $k$-factorable graphic sequences with connected (resp.no connected) $k$-factors
by: Mukhopadhyay, Asish, et al.
Published: (2024)

New Entropy Measures for Tries with Applications to the XBWT
by: Carfagna, Lorenzo, et al.
Published: (2025)

Engineering Compressed Matrix Multiplication with the Fast Walsh-Hadamard Transform
by: Andersson, Joel, et al.
Published: (2026)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
by: Grabmayer, Clemens
Published: (2024)

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

Comments on "$\mathcal{O}(m\cdot n)$ algorithms for the recognition and isomorphism problems on circular-arc graphs"
by: Krawczyk, Tomasz
Published: (2024)

The Structural Complexity of Matrix-Vector Multiplication
by: Anand, Emile, et al.
Published: (2025)

Sublime: Sublinear Error & Space for Unbounded Skewed Streams
by: Eslami, Navid, et al.
Published: (2026)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

Beating Meet-in-the-Middle for Subset Balancing Problems
by: Randolph, Tim, et al.
Published: (2025)

Parameterized Algorithms on Integer Sets with Small Doubling: Integer Programming, Subset Sum and k-SUM
by: Randolph, Tim, et al.
Published: (2024)

Tensor Decomposition for Non-Clifford Gate Minimization
by: Khoruzhii, Kirill, et al.
Published: (2026)

Probabilistic Shoenfield Machines
by: Bujok, Maksymilian, et al.
Published: (2024)

The Simultaneous Triple Product Property and Group-theoretic Results for the Exponent of Matrix Multiplication
by: Murthy, Sandeep
Published: (2007)

AI-Oracle Machines for Intelligent Computing
by: Wang, Jie
Published: (2024)

Matrix-by-matrix multiplication algorithm with $O(N^2log_2N)$ computational complexity for variable precision arithmetic
by: Paszyński, Maciej
Published: (2024)

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
by: Blondin, Michael, et al.
Published: (2024)