| 351 |
Modularity of Erdős-Rényi random graphs
Colin McDiarmid, Fiona Skerman
|
🔮
The Ethereal
|
math.CO
|
27 |
7 years ago |
| 352 |
Hard to Solve Instances of the Euclidean Traveling Salesman Problem
Stefan Hougardy, Xianghui Zhong
|
🔮
The Ethereal
|
cs.DM
|
27 |
7 years ago |
| 353 |
Sparse Hypergraphs with Applications to Coding Theory
Chong Shangguan, Itzhak Tamo
|
🔮
The Ethereal
|
math.CO
|
27 |
7 years ago |
| 354 |
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
27 |
6 years ago |
| 355 |
UTxO- vs account-based smart contract blockchain programming paradigms
Lars Brunjes, Murdoch J. Gabbay
|
🔮
The Ethereal
|
cs.LO
|
27 |
6 years ago |
| 356 |
Learning sums of powers of low-degree polynomials in the non-degenerate case
Ankit Garg, Neeraj Kayal, Chandan Saha
|
🔮
The Ethereal
|
cs.CC
|
27 |
6 years ago |
| 357 |
Efficiently Testing Simon's Congruence
Pawel Gawrychowski, Maria Kosche, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
27 |
5 years ago |
| 358 |
Better $s$-$t$-Tours by Gao Trees
Corinna Gottschalk, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
26 |
10 years ago |
| 359 |
Constructions and Bounds for Mixed-Dimension Subspace Codes
Thomas Honold, Michael Kiermaier, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
26 |
10 years ago |
| 360 |
Internal Guidance for Satallax
Michael Färber, Chad Brown
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 361 |
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 362 |
BliStrTune: Hierarchical Invention of Theorem Proving Strategies
Jan Jakubuv, Josef Urban
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 363 |
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
26 |
9 years ago |
| 364 |
An efficient algorithm for finding all possible input nodes for controlling complex networks
Xizhe Zhang, Jianfei Han, Weixiong Zhang
|
🔮
The Ethereal
|
cs.DM
|
26 |
9 years ago |
| 365 |
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
Benjamin Lucien Kaminski, Joost-Pieter Katoen
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 366 |
A $o(d) \cdot \text{polylog}~n$ Monotonicity Tester for Boolean Functions over the Hypergrid $[n]^d$
Hadley Black, Deeparnab Chakrabarty, C. Seshadhri
|
🔮
The Ethereal
|
cs.DM
|
26 |
8 years ago |
| 367 |
Generalizing inference systems by coaxioms
Francesco Dagnino
|
🔮
The Ethereal
|
cs.LO
|
26 |
8 years ago |
| 368 |
Streaming Hardness of Unique Games
Venkatesan Guruswami, Runzhou Tao
|
🔮
The Ethereal
|
cs.CC
|
26 |
7 years ago |
| 369 |
Automata Learning: An Algebraic Approach
Henning Urbat, Lutz Schröder
|
🔮
The Ethereal
|
cs.FL
|
26 |
6 years ago |
| 370 |
Learning Concise Models from Long Execution Traces
Natasha Yogananda Jeppu, Tom Melham, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
26 |
6 years ago |
| 371 |
A simple and sharper proof of the hypergraph Moore bound
Jun-Ting Hsieh, Pravesh K. Kothari, Sidhanth Mohanty
|
🔮
The Ethereal
|
math.CO
|
26 |
3 years ago |
| 372 |
An efficient tree decomposition method for permanents and mixed discriminants
Diego Cifuentes, Pablo A. Parrilo
|
🔮
The Ethereal
|
cs.DM
|
25 |
10 years ago |
| 373 |
Lower bounds for the parameterized complexity of Minimum Fill-in and other completion problems
Ivan Bliznets, Marek Cygan, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
25 |
10 years ago |
| 374 |
Undecidability of the Lambek calculus with a relevant modality
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
|
🔮
The Ethereal
|
math.LO
|
25 |
10 years ago |
| 375 |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
|
🔮
The Ethereal
|
cs.LO
|
25 |
9 years ago |
| 376 |
Optimizing tree decompositions in MSO
Mikołaj Bojańczyk, Michał Pilipczuk
|
🔮
The Ethereal
|
cs.LO
|
25 |
9 years ago |
| 377 |
Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Nima Anari, Leonid Gurvits, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
25 |
9 years ago |
| 378 |
Denotational semantics of recursive types in synthetic guarded domain theory
Rasmus E. Møgelberg, Marco Paviotti
|
🔮
The Ethereal
|
cs.LO
|
25 |
7 years ago |
| 379 |
Affine Sessions
Dimitris Mostrous, Vasco T. Vasconcelos
|
🔮
The Ethereal
|
cs.LO
|
25 |
7 years ago |
| 380 |
The Arboricity Captures the Complexity of Sampling Edges
Talya Eden, Dana Ron, Will Rosenbaum
|
🔮
The Ethereal
|
cs.CC
|
25 |
7 years ago |
| 381 |
Improved bounds for the excluded-minor approximation of treedepth
Wojciech Czerwiński, Wojciech Nadara, Marcin Pilipczuk
|
🔮
The Ethereal
|
cs.DM
|
25 |
6 years ago |
| 382 |
Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences
Vincent A. Cicirello
|
🔮
The Ethereal
|
cs.DM
|
25 |
6 years ago |
| 383 |
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Farzaneh Derakhshan, Frank Pfenning
|
🔮
The Ethereal
|
cs.LO
|
25 |
6 years ago |
| 384 |
Lower Bounds for QBFs of Bounded Treewidth
Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
|
🔮
The Ethereal
|
cs.CC
|
25 |
6 years ago |
| 385 |
Smart Contract Interactions in Coq
Jakob Botsch Nielsen, Bas Spitters
|
🔮
The Ethereal
|
cs.LO
|
25 |
6 years ago |
| 386 |
On the computational power and complexity of Spiking Neural Networks
Johan Kwisthout, Nils Donselaar
|
🔮
The Ethereal
|
cs.CC
|
25 |
6 years ago |
| 387 |
Flip-sort and combinatorial aspects of pop-stack sorting
Andrei Asinowski, Cyril Banderier, Benjamin Hackl
|
🔮
The Ethereal
|
math.CO
|
25 |
6 years ago |
| 388 |
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
25 |
5 years ago |
| 389 |
Quickly excluding a non-planar graph
Ken-ichi Kawarabayashi, Robin Thomas, Paul Wollan
|
🔮
The Ethereal
|
math.CO
|
25 |
5 years ago |
| 390 |
Flipper games for monadically stable graph classes
Jakub Gajarský, Nikolas Mählmann, ... (+7 more)
|
🔮
The Ethereal
|
cs.LO
|
25 |
3 years ago |
| 391 |
New Bounds on Optimal Sorting Networks
Thorsten Ehlers, Mike Müller
|
🔮
The Ethereal
|
cs.DM
|
24 |
11 years ago |
| 392 |
Comparing Deadlock-Free Session Typed Processes
Ornela Dardha, Jorge A. Pérez
|
🔮
The Ethereal
|
cs.LO
|
24 |
10 years ago |
| 393 |
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Ilya Sergey, Aleksandar Nanevski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
10 years ago |
| 394 |
Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
10 years ago |
| 395 |
A Load-Buffer Semantics for Total Store Ordering
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
9 years ago |
| 396 |
AG codes and AG quantum codes from the GGS curve
Daniele Bartoli, Maria Montanucci, Giovanni Zini
|
🔮
The Ethereal
|
math.CO
|
24 |
9 years ago |
| 397 |
Inverse Lyndon words and Inverse Lyndon factorizations of words
Paola Bonizzoni, Clelia De Felice, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
8 years ago |
| 398 |
Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP
Vera Traub, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
24 |
8 years ago |
| 399 |
Polynomial tuning of multiparametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
|
🔮
The Ethereal
|
math.CO
|
24 |
8 years ago |
| 400 |
Complexity of Scheduling Charging in the Smart Grid
Mathijs de Weerdt, Michael Albert, Vincent Conitzer
|
🔮
The Ethereal
|
cs.CC
|
24 |
8 years ago |