| 3551 |
Inferring Message Flows From System Communication Traces
Bardia Nadimi, Hao Zheng
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3552 |
(Co)condition hits the Path
Tesla Zhang, Valery Isaev
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3553 |
$t$-Balanced Codes with the Kendall-$τ$ Metric
Benjamin Jany, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3554 |
Higher-Order Bialgebraic Semantics
Sergey Goncharov, Stefan Milius, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3555 |
Half-duplex communication complexity with adversary can be less than the classical communication complexity
Mikhail Dektiarev, Nikolay Vereshchagin
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3556 |
Program Synthesis is $Σ_3^0$-Complete
Jinwoo Kim
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3557 |
Delta-modular ILP Problems of Bounded Codimension, Discrepancy, and Convolution (new version)
M. Cherniavskii, D. Gribanov, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3558 |
Formalizing the notions of non-interactive and interactive algorithms
C. A. Middelburg
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3559 |
Sphere packing proper colorings of an expander graph
Honglin Zhu
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3560 |
There are no good infinite families of toric codes
Jason P. Bell, Sean Monahan, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3561 |
Resource Leveling: Complexity of a UET two-processor scheduling variant and related problems
Pascale Bendotti, Luca Brunod Indrigo, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3562 |
Parameterized Shortest Path Reconfiguration
Nicolas Bousquet, Kshitij Gajjar, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3563 |
Proceedings of the 13th edition of the conference on Random Generation of Combinatorial Structures. Polyominoes and Tilings
Srečko Brlek, Luca Ferrari
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3564 |
Pop Stacks with a Bypass
Lapo Cioni, Luca Ferrari, Rebecca Smith
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3565 |
Querying Labeled Time Series Data with Scenario Programs
Devan Shanker
|
🔮
The Ethereal
|
cs.FL
|
0 |
2 years ago |
| 3566 |
Optimizing Extension Techniques for Discovering Non-Algebraic Matroids
Michael Bamiloshin, Oriol Farràs
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3567 |
Cuts in Graphs with Matroid Constraints
Aritra Banik, Fedor V. Fomin, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3568 |
A convenient trick to compute cluster sizes in a Network
Hsun-Yi Hsieh, Yu-Chun Kao
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3569 |
A Theory for Coloring Walks in a Digraph
Seth Chaiken
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3570 |
Binary LCD Codes and Their Graph Representations
Keita Ishizuka
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3571 |
Characterizing Data Dependencies Then and Now
Phokion G. Kolaitis, Andreas Pieris
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3572 |
On the Complexity of the Conditional Independence Implication Problem With Bounded Cardinalities
Michał Makowski
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3573 |
Sample Complexity of Low-rank Tensor Recovery from Uniformly Random Entries
Hiroki Hamaguchi, Shin-ichi Tanigawa
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3574 |
On some randomized algorithms and their evaluation
Krasimir Yordzhev
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3575 |
Queries With Exact Truth Values in Paraconsistent Description Logics
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3576 |
Revisiting Tree Canonization using polynomials
V. Arvind, Samir Datta, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3577 |
Bounds on MLDR Codes Over ${\mathbb Z}_{p^t}$
Tim L. Alderson
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3578 |
A Constant-Approximation Algorithm for Budgeted Sweep Coverage with Mobile Sensors
Wei Liang, Shaojie Tang, Zhao Zhang
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3579 |
Exponent-Strings and Their Edit Distance
Ingyu Baek
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3580 |
Configuration Monitor Synthesis
Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3581 |
Directed Hypercube Routing, a Generalized Lehman-Ron Theorem, and Monotonicity Testing
Deeparnab Chakrabarty, C. Seshadhri
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3582 |
On the joint embedding property for cographs and trees
Daniel Carter
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3583 |
Declarative Integration and Management of Large Language Models through Finite Automata: Application to Automation, Communication, and Ethics
Thierry Petit, Arnault Pachot, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3584 |
Efficient Local and Tabu Search Strategies for Large-Scale Quadratic Integer Programming
Haibo Wang, Bahram Alidaee
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3585 |
A Further Investigation on Complete Complementary Codes from $q$-ary Functions
Palash Sarkar, Chunlei Li, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3586 |
Non-Cartesian Guarded Recursion with Daggers
Louis Lemonnier
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3587 |
Faster Mixing of Higher-Dimensional Random Reversible Circuits
William Gay, William He, Nicholas Kocurek
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3588 |
Some Thoughts on Symbolic Transfer Entropy
Dian Jin
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3589 |
Efficient Approximation of Centrality Measures in Uncertain Graphs
Daniel Ketels
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3590 |
Proceedings 13th International Workshop on Developments in Computational Models
Sandra Alves, Ian Mackie
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3591 |
The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
Beniamino Accattoli
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3592 |
Characterizing and Testing Principal Minor Equivalence of Matrices
Abhranil Chatterjee, Sumanta Ghosh, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3593 |
The $Z$-Curve as an $n$-Dimensional Hypersphere: Properties and Analysis
Diego Vazquez Gonzalez, Hsing-Kuo Pao
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3594 |
LR Parsing of Permutation Phrases
Jana Kostičová
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3595 |
Bounding $\varepsilon$-scatter dimension via metric sparsity
Romain Bourneuf, Marcin Pilipczuk
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3596 |
Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
Anand Balakrishnan, Merve Atasever, Jyotirmoy V. Deshmukh
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3597 |
Reconfiguring homomorphisms to reflexive graphs via a simple reduction
Moritz Mühlenthaler, Mark H. Siggers, Thomas Suzan
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3598 |
On Quantum Programming Languages
Benoît Valiron
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3599 |
The Decision Problem for Regular First-Order Theories
Umang Mathur, David Mestel, Mahesh Viswanathan
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3600 |
On the formalization of the notion of a concurrent algorithm
C. A. Middelburg
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |