| 2951 |
$\mathrm{TIME}[t]\subseteq \mathrm{SPACE}[O(\sqrt{t})]$ via Tree Height Compression
Logan Nye
|
🔮
The Ethereal
|
cs.CC
|
1 |
11 months ago |
| 2952 |
The second minimum weight of Grassmann codes
Mrinmoy Datta, Tiasa Dutta
|
🔮
The Ethereal
|
math.CO
|
1 |
11 months ago |
| 2953 |
Measuring Ransomware Lateral Movement Susceptibility via Privilege-Weighted Adjacency Matrix Exponentiation
Satyam Tyagi, Ganesh Murugesan
|
🔮
The Ethereal
|
cs.DM
|
1 |
11 months ago |
| 2954 |
Continuous Petri Nets for Fast Yield Computation: Polynomial-Time and MILP Approaches
Addie Jordon, Juri Kolčák, Daniel Merkle
|
🔮
The Ethereal
|
cs.DM
|
1 |
10 months ago |
| 2955 |
Improved Bounds for Twin-Width Parameter Variants with Algorithmic Applications to Counting Graph Colorings
Ambroise Baril, Miguel Couceiro, Victor Lagerkvist
|
🔮
The Ethereal
|
cs.CC
|
1 |
10 months ago |
| 2956 |
Scalable Learning of One-Counter Automata via State-Merging Algorithms
Shibashis Guha, Anirban Majumdar, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
10 months ago |
| 2957 |
A General Framework for Low Soundness Homomorphism Testing
Tushant Mittal, Sourya Roy
|
🔮
The Ethereal
|
cs.CC
|
1 |
10 months ago |
| 2958 |
Degree Realization by Bipartite Cactus Graphs
Amotz Bar-Noy, Toni Bohnlein, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
10 months ago |
| 2959 |
On the recognition problem for limits of entropy functions
Geva Yashfe
|
🔮
The Ethereal
|
math.CO
|
1 |
10 months ago |
| 2960 |
The Eigenvalue Method in Coding Theory
Aida Abiad, Loes Peters, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
1 |
10 months ago |
| 2961 |
Parameterized Complexity of Vehicle Routing
Michelle Döring, Jan Fehse, ... (+7 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
10 months ago |
| 2962 |
Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
Surya Teja Gavva, Peng Zhang
|
🔮
The Ethereal
|
math.CO
|
1 |
10 months ago |
| 2963 |
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Dominik Geißler, Tobias Winkler
|
🔮
The Ethereal
|
cs.FL
|
1 |
10 months ago |
| 2964 |
Supersimulators
Cynthia Dwork, Pranay Tankala
|
🔮
The Ethereal
|
cs.CC
|
1 |
10 months ago |
| 2965 |
Polynomial Invariants of q-Matroids and Rank-Metric Codes
Heide Gluesing-Luerssen, Benjamin Jany
|
🔮
The Ethereal
|
math.CO
|
1 |
10 months ago |
| 2966 |
Discrete scalar curvature as a weighted sum of Ollivier-Ricci curvatures
Abigail Hickok, Andrew J. Blumberg
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 months ago |
| 2967 |
Parameterized Complexity of s-Club Cluster Edge Deletion: When Is the Diameter Bound Necessary?
Ajinkya Gaikwad
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 months ago |
| 2968 |
Homomorphism Problems in Graph Databases and Automatic Structures
Rémi Morvan
|
🔮
The Ethereal
|
cs.LO
|
1 |
9 months ago |
| 2969 |
The Structure of In-Place Space-Bounded Computation
James Cook, Surendra Ghentiyala, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
9 months ago |
| 2970 |
On the Walsh spectra of quadratic APN functions
Sophie Hannah Bénéteau, Nicolas Goluboff, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
9 months ago |
| 2971 |
Deterministic Hardness of Approximation of Unique-SVP and GapSVP in $\ell_p$ norms for $p>2$
Yahli Hecht, Muli Safra
|
🔮
The Ethereal
|
cs.CC
|
1 |
9 months ago |
| 2972 |
SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
Zachary Hansen, Yuliya Lierler
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 months ago |
| 2973 |
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
Eric Vin, Kyle A. Miller, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 months ago |
| 2974 |
Boolean function monotonicity testing requires (almost) $n^{1/2}$ queries
Mark Chen, Xi Chen, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
8 months ago |
| 2975 |
Awesome graph parameters
Kenny Bešter Štorgel, Clément Dallard, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
8 months ago |
| 2976 |
Generalized Security-Preserving Refinement for Concurrent Systems
Huan Sun, David Sanán, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 months ago |
| 2977 |
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
Diana C. Benjumea, Marie Farrell, Louise A. Dennis
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 months ago |
| 2978 |
A linear k-fold Cheeger inequality
Franklin Kenter, Mary Radcliffe
|
🔮
The Ethereal
|
math.CO
|
0 |
11 years ago |
| 2979 |
The ModelCC Model-Based Parser Generator
Luis Quesada, Fernando Berzal, Juan-Carlos Cubero
|
🔮
The Ethereal
|
cs.FL
|
0 |
11 years ago |
| 2980 |
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
Radhakrishnan Delhibabu
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2981 |
Distributed Verification of Rare Properties using Importance Splitting Observers
Cyrille Jegourel, Axel Legay, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2982 |
Derandomized Construction of Combinatorial Batch Codes
Srimanta Bhattacharya
|
🔮
The Ethereal
|
cs.DM
|
0 |
11 years ago |
| 2983 |
Wave-Style Token Machines and Quantum Lambda Calculi
Ugo Dal Lago, Margherita Zorzi
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2984 |
A Sampling Technique of Proving Lower Bounds for Noisy Computations
Chinmoy Dutta, Jaikumar Radhakrishnan
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 years ago |
| 2985 |
Guarding Networks Through Heterogeneous Mobile Guards
Waseem Abbas, Sajal Bhatia, Xenofon Koutsoukos
|
🔮
The Ethereal
|
cs.DM
|
0 |
11 years ago |
| 2986 |
Lucretia - intersection type polymorphism for scripting languages
Marcin Benke, Viviana Bono, Aleksy Schubert
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2987 |
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
Claire Lefèvre, Christopher Béatrix, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2988 |
The complexity of computation in bit streams
Raphael Clifford, Markus Jalsenius, Benjamin Sach
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 years ago |
| 2989 |
Proceedings Tenth International Workshop on Developments in Computational Models
Ugo Dal Lago, Russ Harmer
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2990 |
Modular Action Language ALM
Daniela Inclezan, Michael Gelfond
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2991 |
Processing XML for Domain Specific Languages
Tony Clark
|
🔮
The Ethereal
|
cs.FL
|
0 |
11 years ago |
| 2992 |
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
Paul Tarau
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2993 |
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Iliano Cervesato, Kaustuv Chaudhuri
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 years ago |
| 2994 |
Extending SROIQ with Constraint Networks and Grounded Circumscription
Arjun Bhardwaj
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 2995 |
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 2996 |
Unsatisfiable Cores and Lower Bounding for Constraint Programming
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 2997 |
Formalizing Termination Proofs under Polynomial Quasi-interpretations
Naohi Eguchi
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 2998 |
Self-Correlation and Maximum Independence in Finite Relations
Dilian Gurov, Minko Markov
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 2999 |
Minimum parametric flow over time
Mircea Parpalea, Nicoleta Avesalon, Eleonor Ciurea
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3000 |
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
Matt Kaufmann, David L. Rager
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |