| 3851 |
Halfspaces are hard to test with relative error
Xi Chen, Anindya De, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 months ago |
| 3852 |
Graph Classes Closed under Self-intersection
Konrad K. Dabrowski, Vadim V. Lozin, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
8 months ago |
| 3853 |
Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
Stefan Kiefer, Andrew Ryzhikov
|
🔮
The Ethereal
|
cs.FL
|
0 |
8 months ago |
| 3854 |
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
Mikhail Andreev, Alexander Shen
|
🔮
The Ethereal
|
math.LO
|
0 |
8 months ago |
| 3855 |
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
Kwing Hei Li, Alejandro Aguirre, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3856 |
Optimal and Efficient Partite Decompositions of Hypergraphs
Andrew Krapivin, Benjamin Przybocki, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
8 months ago |
| 3857 |
Graded Projection Recursion (GPR): A Framework for Controlling Bit-Complexity of Algebraic Packing
Jeffrey Uhlmann
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 months ago |
| 3858 |
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Maike Schwammberger, Mengwei Xu
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3859 |
Subgraph Isomorphism: Prolog vs. Conventional
Claire Y. Yin, Peter M. Kogge
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3860 |
Context-aware, Ante-hoc Explanations of Driving Behaviour
Dominik Grundt, Ishan Saxena, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3861 |
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
Mahdi Etumi, Hazel M. Taylor, Marie Farrell
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3862 |
Generalized ovals, 2.5-dimensional additive codes, and multispreads
Denis S. Krotov, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
0 |
8 months ago |
| 3863 |
Synthesis of Safety Specifications for Probabilistic Systems
Gaspard Ohlmann, Edwin Hamel-De le Court, Francesco Belardinelli
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3864 |
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Markus Anders, Bart Bogaerts, ... (+9 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3865 |
An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders
Arnau Mir, Alejandro Mus, Juan Vicente Riera
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3866 |
Efficient Turing Machine Simulation with Transformers
Qian Li, Yuyi Wang
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 months ago |
| 3867 |
On the Hardness of Approximation of the Fair k-Center Problem
Suhas Thejaswi
|
🔮
The Ethereal
|
cs.CC
|
0 |
5 months ago |