| 251 |
On the Solvability of Inductive Problems: A Study in Epistemic Topology
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
|
🔮
The Ethereal
|
cs.LO
|
34 |
9 years ago |
| 252 |
An Introduction to Quantum Computing, Without the Physics
Giacomo Nannicini
|
🔮
The Ethereal
|
cs.DM
|
34 |
8 years ago |
| 253 |
The Parameterized Hardness of the k-Center Problem in Transportation Networks
Andreas Emil Feldmann, Daniel Marx
|
🔮
The Ethereal
|
cs.CC
|
34 |
8 years ago |
| 254 |
Centrality-Friendship Paradoxes: When Our Friends Are More Important Than Us
Desmond J. Higham
|
🔮
The Ethereal
|
cs.DM
|
34 |
7 years ago |
| 255 |
Unlabeled sample compression schemes and corner peelings for ample and maximum classes
Jérémie Chalopin, Victor Chepoi, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
34 |
7 years ago |
| 256 |
On the tree-width of even-hole-free graphs
Pierre Aboulker, Isolde Adler, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
34 |
5 years ago |
| 257 |
Trace Reconstruction Problems in Computational Biology
Vinnu Bhardwaj, Pavel A. Pevzner, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
34 |
5 years ago |
| 258 |
Automata and Fixpoints for Asynchronous Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
|
🔮
The Ethereal
|
cs.LO
|
34 |
5 years ago |
| 259 |
First-Order Model Checking on Structurally Sparse Graph Classes
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
|
🔮
The Ethereal
|
cs.LO
|
34 |
3 years ago |
| 260 |
Reticulation-visible networks
Magnus Bordewich, Charles Semple
|
🔮
The Ethereal
|
math.CO
|
33 |
10 years ago |
| 261 |
The Rationale behind the Concept of Goal
Guido Governatori, Francesco Olivieri, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
33 |
10 years ago |
| 262 |
The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation
Pierre-Étienne Meunier, Damien Woods
|
🔮
The Ethereal
|
cs.CC
|
33 |
9 years ago |
| 263 |
An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism
Daniel Neuen, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.CC
|
33 |
8 years ago |
| 264 |
On Strong NP-Completeness of Rational Problems
Dominik Wojtczak
|
🔮
The Ethereal
|
cs.DM
|
33 |
8 years ago |
| 265 |
Finite LTL Synthesis with Environment Assumptions and Quality Measures
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
|
🔮
The Ethereal
|
cs.LO
|
33 |
7 years ago |
| 266 |
Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Hugo Jacob, Marcin Pilipczuk
|
🔮
The Ethereal
|
cs.DM
|
33 |
4 years ago |
| 267 |
A Holant Dichotomy: Is the FKT Algorithm Universal?
Jin-Yi Cai, Zhiguo Fu, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
32 |
10 years ago |
| 268 |
Average Distance in a General Class of Scale-Free Networks with Underlying Geometry
Karl Bringmann, Ralph Keusch, Johannes Lengler
|
🔮
The Ethereal
|
cs.DM
|
32 |
10 years ago |
| 269 |
Online Submodular Maximization with Free Disposal: Randomization Beats 0.25 for Partition Matroids
T-H. Hubert Chan, Zhiyi Huang, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
32 |
9 years ago |
| 270 |
Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner, Christian Müller, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
32 |
8 years ago |
| 271 |
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
32 |
8 years ago |
| 272 |
A Trichotomy for Regular Trail Queries
Wim Martens, Matthias Niewerth, Tina Popp
|
🔮
The Ethereal
|
cs.FL
|
32 |
7 years ago |
| 273 |
Placement Delivery Arrays from Combinations of Strong Edge Colorings
Jerod Michel, Qi Wang
|
🔮
The Ethereal
|
math.CO
|
32 |
6 years ago |
| 274 |
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
|
🔮
The Ethereal
|
cs.LO
|
32 |
6 years ago |
| 275 |
Combining subspace codes
Antonio Cossidente, Sascha Kurz, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
32 |
6 years ago |
| 276 |
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Julian Gutierrez, Muhammad Najib, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
32 |
5 years ago |
| 277 |
Co-lexicographically Ordering Automata and Regular Languages -- Part I
Nicola Cotumaccio, Giovanna D'Agostino, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
32 |
3 years ago |
| 278 |
Two Source Extractors for Asymptotically Optimal Entropy, and (Many) More
Xin Li
|
🔮
The Ethereal
|
cs.CC
|
32 |
3 years ago |
| 279 |
Abstract Learning Frameworks for Synthesis
Christof Löding, P. Madhusudan, Daniel Neider
|
🔮
The Ethereal
|
cs.LO
|
31 |
10 years ago |
| 280 |
Quantum Max-flow/Min-cut
Shawn X. Cui, Michael H. Freedman, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
31 |
10 years ago |
| 281 |
Fast Parallel Fixed-Parameter Algorithms via Color Coding
Max Bannach, Christoph Stockhusen, Till Tantau
|
🔮
The Ethereal
|
cs.CC
|
31 |
10 years ago |
| 282 |
Algorithmic statistics: forty years later
Nikolai Vereshchagin, Alexander Shen
|
🔮
The Ethereal
|
cs.CC
|
31 |
9 years ago |
| 283 |
The phases of large networks with edge and triangle constraints
Richard Kenyon, Charles Radin, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
31 |
9 years ago |
| 284 |
A Converse to Banach's Fixed Point Theorem and its CLS Completeness
Constantinos Daskalakis, Christos Tzamos, Manolis Zampetakis
|
🔮
The Ethereal
|
cs.CC
|
31 |
9 years ago |
| 285 |
On the lengths of divisible codes
Michael Kiermaier, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
31 |
8 years ago |
| 286 |
The Bang Calculus and the Two Girard's Translations
Giulio Guerrieri, Giulio Manzonetto
|
🔮
The Ethereal
|
cs.LO
|
31 |
7 years ago |
| 287 |
Assignment and Pricing of Shared Rides in Ride-Sourcing using Combinatorial Double Auctions
Renos Karamanis, Eleftherios Anastasiadis, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
31 |
6 years ago |
| 288 |
Sublinear Algorithms for Gap Edit Distance
Elazar Goldenberg, Robert Krauthgamer, Barna Saha
|
🔮
The Ethereal
|
cs.CC
|
31 |
6 years ago |
| 289 |
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
|
🔮
The Ethereal
|
cs.LO
|
31 |
6 years ago |
| 290 |
Monochromatic Triangles, Intermediate Matrix Products, and Convolutions
Andrea Lincoln, Adam Polak, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
31 |
5 years ago |
| 291 |
Flip-width: Cops and Robber on dense graphs
Szymon Toruńczyk
|
🔮
The Ethereal
|
math.CO
|
31 |
3 years ago |
| 292 |
Estimation of Laplacian spectra of direct and strong product graphs
Hiroki Sayama
|
🔮
The Ethereal
|
cs.DM
|
30 |
10 years ago |
| 293 |
Bipodal structure in oversaturated random graphs
Richard Kenyon, Charles Radin, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
30 |
10 years ago |
| 294 |
On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
|
🔮
The Ethereal
|
cs.CC
|
30 |
10 years ago |
| 295 |
Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
|
🔮
The Ethereal
|
cs.LO
|
30 |
10 years ago |
| 296 |
New extremal binary self-dual codes of length 68 via short kharaghani array over f_2 + uf_2
Abidin Kaya
|
🔮
The Ethereal
|
math.CO
|
30 |
10 years ago |
| 297 |
Designing a semantic model for a wide-spectrum language with concurrency
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
|
🔮
The Ethereal
|
cs.LO
|
30 |
9 years ago |
| 298 |
The Advantage of Truncated Permutations
Shoni Gilboa, Shay Gueron
|
🔮
The Ethereal
|
math.CO
|
30 |
9 years ago |
| 299 |
How hard is it to satisfy (almost) all roommates?
Jiehua Chen, Danny Hermelin, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
8 years ago |
| 300 |
Bounded Quantifier Instantiation for Checking Inductive Invariants
Yotam M. Y. Feldman, Oded Padon, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
30 |
8 years ago |