| 2751 |
On 4-general sets in finite projective spaces
Francesco Pavese
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2752 |
Coding information into all infinite subsets of a dense set
Matthew Harrison-Trainor, Lu Liu, Patrick Lutz
|
🔮
The Ethereal
|
math.LO
|
1 |
3 years ago |
| 2753 |
On Approximability of Steiner Tree in $\ell_p$-metrics
Henry Fleischmann, Surya Teja Gavva, Karthik C. S
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2754 |
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Tim S. Lyon, Piotr Ostropolski-Nalewaja
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2755 |
A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Erwan Mahe, Boutheina Bannour, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
3 years ago |
| 2756 |
Range-Restricted Interpolation through Clausal Tableaux
Christoph Wernhard
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2757 |
Functional Dependencies with Predicates: What Makes the $g_3$-error Easy to Compute?
Simon Vilmin, Pierre Faure--Giovagnoli, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
3 years ago |
| 2758 |
On boundedness of zeros of the independence polynomial of tori
David de Boer, Pjotr Buys, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2759 |
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
Nicolas Waldburger
|
🔮
The Ethereal
|
cs.FL
|
1 |
3 years ago |
| 2760 |
Optimal Information Encoding in Chemical Reaction Networks
Austin Luchsinger, David Doty, David Soloveichik
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2761 |
Parameterised distance to local irregularity
Foivos Fioravantes, Nikolaos Melissinos, Theofilos Triommatis
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2762 |
Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms
Jesús Domínguez, Aleksandar Nanevski
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2763 |
On the Ratio of Shannon Numbers of Graphs
Sharareh Alipour, Amin Gohari, Mehrshad Taziki
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2764 |
Contextual Behavioural Metrics (Extended Version)
Ugo Dal Lago, Maurizio Murgia
|
🔮
The Ethereal
|
cs.FL
|
1 |
3 years ago |
| 2765 |
Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2766 |
Hadamard matrices of orders 60 and 64 with automorphisms of orders 29 and 31
Makoto Araya, Masaaki Harada, Vladimir D. Tonchev
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2767 |
Structural Analysis of GRAFCET Control Specifications
Aron Schnakenbeck, Robin Mroß, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2768 |
Improving Probabilistic Bisimulation for MDPs Using Machine Learning
Mohammadsadegh Mohaghegh, Khayyam Salehi
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2769 |
Distance Labeling for Families of Cycles
Arseny M. Shur, Mikhail Rubinchik
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2770 |
Certifying C program correctness with respect to CH2O with VeriFast
Stefan Wils, Bart Jacobs
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2771 |
On the Independencies Hidden in the Structure of a Probabilistic Logic Program
Kilian Rückschloß, Felix Weitkämper
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2772 |
Recursive Error Reduction for Regular Branching Programs
Eshan Chattopadhyay, Jyun-Jie Liao
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2773 |
A Mechanized Theory of the Box Calculus
Joseph Fourment, Yichen Xu
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2774 |
Defensive Alliances in Signed Networks
Emmanuel Arrighi, Zhidan Feng, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2775 |
Sumplete is Hard, Even with Two Different Numbers
Suthee Ruangwises
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2776 |
On the expressive power of mod-$p$ linear forms on the Boolean cube
Thomas Karam
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2777 |
Containment for Guarded Monotone Strict NP
Alexey Barsukov, Michael Pinsker, Jakub Rydval
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2778 |
Towards Simpler Sorting Networks and Monotone Circuits for Majority
Natalia Dobrokhotova-Maikova, Alexander Kozachinskiy, Vladimir Podolskii
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2779 |
USSR is in P/poly
Nikhil Balaji, Samir Datta
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2780 |
Retrieving Top-k Hyperedge Triplets: Models and Applications
Jason Niu, Ilya D. Amburg, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2781 |
Gaussian Approximation of Convex Sets by Intersections of Halfspaces
Anindya De, Shivam Nadimpalli, Rocco A. Servedio
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2782 |
Verification of a Rust Implementation of Knuth's Dancing Links using ACL2
David S. Hardin
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2783 |
Learning Deterministic Finite Automata from Confidence Oracles
Wilson Wu
|
🔮
The Ethereal
|
cs.FL
|
1 |
2 years ago |
| 2784 |
Every latin hypercube of order 5 has transversals
A. L. Perezhogin, V. N. Potapov, S. Yu. Vladimirov
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2785 |
Succinct Encodings of Binary Trees with Application to AVL Trees
Jeremy Chizewer, Stephen Melczer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2786 |
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs
Davide Barbarossa, Paolo Pistone
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2787 |
Rumors with Changing Credibility
Charlotte Out, Nicolás Rivera, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2788 |
Output-sensitive Complexity of Multi-Objective Integer Network Flow Problems
David Könen, Michael Stiglmayr
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2789 |
A Logical Framework with Infinitary Terms
Zhibo Chen
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2790 |
Object-Centric Conformance Alignments with Synchronization (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2791 |
Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2792 |
Efficient Reactive Synthesis Using Mode Decomposition
Matías Brizzio, César Sánchez
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2793 |
Syntax Monads for the Working Formal Metatheorist
Lawrence Dunn, Val Tannen, Steve Zdancewic
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2794 |
Shannon capacity, Lovász theta number and the Mycielski construction
Bence Csonka, Gábor Simonyi
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2795 |
Normality, Relativization, and Randomness
Wesley Calvert, Emma Grunner, ... (+3 more)
|
🔮
The Ethereal
|
math.LO
|
1 |
2 years ago |
| 2796 |
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Yuhao Zhou, Stavros Tripakis
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2797 |
Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern
Jacob Focke, Florian Hörsch, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2798 |
Subsumptions of Algebraic Rewrite Rules
Thierry Boy de la Tour
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2799 |
Total Matching and Subdeterminants
Luca Ferrarini, Samuel Fiorini, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2800 |
On the stabilizer of the graph of linear functions over finite fields
Valentino Smaldore, Corrado Zanella, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |