| 3701 |
Ohana trees and Taylor expansion for the $λ$I-calculus. No variable gets left behind or forgotten!
Rémy Cerda, Giulio Manzonetto, Alexis Saurin
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3702 |
Mixing and Merging Metric Spaces using Directed Graphs
Mahir Bilen Can, Shantanu Chakrabartty
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3703 |
On lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,k_{1},k_{2})$ with $k_1>k_2$
Ka Hin Leung, Ran Tao, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3704 |
On null completely regular codes in Manhattan metric
I. Yu. Mogilnykh, A. Yu. Vasil'eva
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3705 |
ResQue Greedy: Rewiring Sequential Greedy for Improved Submodular Maximization
Joan Vendrell Gallart, Alan Kuhnle, Solmaz Kia
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3706 |
Group Order Logic
Anatole Dahan
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3707 |
Nodal surfaces in $\mathbb{P}^3$ and coding theory
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3708 |
Matrix Multiplication in the MPC Model
Lakshya Joshi, Arya Deshmukh, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3709 |
Pathographs and some (un)decidability results
Daniel Carter, Nicolas Trotignon
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3710 |
Bounding Width on Graph Classes of Constant Diameter
Konrad K. Dabrowski, Tala Eagling-Vose, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3711 |
$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
Daniel Augusto Rizzi Salvadori
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3712 |
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
Suguman Bansal, Ramneet Singh
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3713 |
Fast Compressed-Domain N-Point Discrete Fourier Transform: The "Twiddless" FFT Algorithm
Saulo Queiroz
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3714 |
Representation of Symmetric Shift Registers
Jan Søreng
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3715 |
Cover time of random subgraphs of the hypercube
Colin Cooper, Alan Frieze, Wesley Pegden
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3716 |
Towards a Characterization of Two-way Bijections in a Reversible Computational Model
Matteo Palazzo, Luca Roversi
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3717 |
Smallest Suffixient Sets: Effectiveness, Resilience, and Calculation
Gonzalo Navarro, Giuseppe Romana, Cristian Urbina
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3718 |
An extension of Dembo-Hammer's reduction algorithm for the 0-1 knapsack problem
Yang Yang
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3719 |
Robust predicate and function computation in continuous chemical reaction networks
Kim Calabrese, David Doty, Mina Latifi
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3720 |
CNFs and DNFs with Exactly $k$ Solutions
L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3721 |
Circulant TSP: Vertices of the Edge-Length Polytope and Superpolynomial Lower Bounds
Samuel C. Gutekunst
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3722 |
Social Networks: Enumerating Maximal Community Patterns in $c$-Closed Graphs
Gabriela Bourla, Kaixin Wang, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3723 |
Positive Sharing and Abstract Machines
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3724 |
Varanus: Runtime Verification for CSP
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3725 |
A survey of Chernoff and Hoeffding bounds
Alexandros V. Gerbessiotis
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3726 |
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
Narmina Baghirova, Esther Galby, Martin Milanič
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3727 |
Universal Solvability for Robot Motion Planning on Graphs
Anubhav Dhar, Pranav Nyati, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3728 |
Polynomial Fingerprinting for Trees and Formulas
Mihai Prunescu
|
🔮
The Ethereal
|
math.LO
|
0 |
1 year ago |
| 3729 |
Protocol insecurity with finitely many sessions and XOR
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3730 |
Computational Verification of the Buratti--Horak--Rosa Conjecture for Small Integers and Inductive Approaches
Ranjan N Naik
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3731 |
$σ$-Maximal Ancestral Graphs
Binghua Yao, Joris M. Mooij
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3732 |
Hamiltonicity Parameterized by Mim-Width is (Indeed) Para-NP-Hard
Benjamin Bergougnoux, Lars Jaffke
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3733 |
Liar's vertex-edge domination in subclasses of chordal graphs
Debojyoti Bhattacharya, Subhabrata Paul
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3734 |
A Note on Runtime Verification of Concurrent Systems
Martin Leucker
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3735 |
Finding a solution to the Erdős-Ginzburg-Ziv theorem in $O(n\log\log\log n)$ time
Yui Hin Arvin Leung
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3736 |
On the $(k,\ell)$-multiset anonymity measure for social graphs
Alejandro Estrada-Moreno, Elena Fernández, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3737 |
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Samuel Teuber, Mattias Ulbrich, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3738 |
m-Eternal Domination and Variants on Some Classes of Finite and Infinite Graphs
Tiziana Calamoneri, Federico Corò, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3739 |
Rapid Mixing of Glauber Dynamics for Monotone Systems via Entropic Independence
Weiming Feng, Minji Yang
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3740 |
Syntax Repair as Language Intersection
Breandan Considine
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3741 |
Kernelization for list $H$-coloring for graphs with small vertex cover
Marta Piecyk, Astrid Pieterse, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3742 |
Just Verification of Mutual Exclusion Algorithms
Rob van Glabbeek, Bas Luttik, Myrthe Spronck
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3743 |
Computational-Statistical Tradeoffs from NP-hardness
Guy Blanc, Caleb Koch, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3744 |
Treedepth Inapproximability and Exponential ETH Lower Bound
Édouard Bonnet, Daniel Neuen, Marek Sokołowski
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3745 |
Application Placement with Constraint Relaxation
Damiano Azzolini, Marco Duca, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3746 |
Dvorak-Dell-Grohe-Rattan theorem via an asymptotic argument
Alexander Kozachinskiy
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3747 |
The Labeled Coupon Collector Problem
Andrew Tan, Oriel Limor, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3748 |
Simulating Evolvability as a Learning Algorithm: Empirical Investigations on Distribution Sensitivity, Robustness, and Constraint Tradeoffs
Nicholas Fidalgo, Puyuan Ye
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3749 |
A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio, Eric McCarthy
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3750 |
A Formalization of the Correctness of the Floodsub Protocol
Ankit Kumar, Panagiotis Manolios
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |