| 451 |
Amplifiers and Suppressors of Selection for the Moran Process on Undirected Graphs
George Giakkoupis
|
🔮
The Ethereal
|
cs.DM
|
22 |
9 years ago |
| 452 |
Knapsack Problems: A Parameterized Point of View
Carolin Albrecht, Frank Gurski, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
22 |
9 years ago |
| 453 |
Conflict-Free Coloring of Planar Graphs
Zachary Abel, Victor Alvarez, ... (+6 more)
|
🔮
The Ethereal
|
cs.DM
|
22 |
9 years ago |
| 454 |
Dynamic Conjunctive Queries
Thomas Zeume, Thomas Schwentick
|
🔮
The Ethereal
|
cs.LO
|
22 |
9 years ago |
| 455 |
Uniform generation of random graphs with power-law degree sequences
Pu Gao, Nicholas Wormald
|
🔮
The Ethereal
|
math.CO
|
22 |
8 years ago |
| 456 |
Polynomial Cases for the Vertex Coloring Problem
T. Karthick, Frédéric Maffray, Lucas Pastor
|
🔮
The Ethereal
|
math.CO
|
22 |
8 years ago |
| 457 |
Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
8 years ago |
| 458 |
A complexity dichotomy for Matching Cut in (bipartite) graphs of fixed diameter
Hoang-Oanh Le, Van Bang Le
|
🔮
The Ethereal
|
cs.CC
|
22 |
7 years ago |
| 459 |
What is algebraic about algebraic effects and handlers?
Andrej Bauer
|
🔮
The Ethereal
|
cs.LO
|
22 |
7 years ago |
| 460 |
New lower bound on the Shannon capacity of C7 from circular graphs
Sven Polak, Alexander Schrijver
|
🔮
The Ethereal
|
math.CO
|
22 |
7 years ago |
| 461 |
Forman's Ricci curvature - From networks to hypernetworks
Emil Saucan, Melanie Weber
|
🔮
The Ethereal
|
cs.DM
|
22 |
7 years ago |
| 462 |
The hat guessing number of graphs
Noga Alon, Omri Ben-Eliezer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
22 |
7 years ago |
| 463 |
Junta correlation is testable
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
22 |
7 years ago |
| 464 |
Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert Rand, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
7 years ago |
| 465 |
Quaternary Hermitian linear complementary dual codes
Makoto Araya, Masaaki Harada, Ken Saito
|
🔮
The Ethereal
|
math.CO
|
22 |
7 years ago |
| 466 |
Average-based Robustness for Continuous-Time Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
|
🔮
The Ethereal
|
cs.FL
|
22 |
6 years ago |
| 467 |
A Calculus for Modular Loop Acceleration
Florian Frohn
|
🔮
The Ethereal
|
cs.LO
|
22 |
6 years ago |
| 468 |
Common Complements of Linear Subspaces and the Sparseness of MRD Codes
Anina Gruica, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
22 |
5 years ago |
| 469 |
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Danilo Pianini, Roberto Casadei, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
5 years ago |
| 470 |
The Existential Theory of the Reals as a Complexity Class: A Compendium
Marcus Schaefer, Jean Cardinal, Tillmann Miltzow
|
🔮
The Ethereal
|
cs.CC
|
22 |
1 year ago |
| 471 |
Parameterized Algorithms for Deletion to (r,l)-graphs
Sudeshna Kolay, Fahad Panolan
|
🔮
The Ethereal
|
cs.CC
|
21 |
10 years ago |
| 472 |
LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners
Max Wisniewski, Alexander Steen, Christoph Benzmüller
|
🔮
The Ethereal
|
cs.LO
|
21 |
10 years ago |
| 473 |
Using Program Synthesis for Program Analysis
Cristina David, Daniel Kroening, Matt Lewis
|
🔮
The Ethereal
|
cs.LO
|
21 |
10 years ago |
| 474 |
The Complexity of Pattern Matching for $321$-Avoiding and Skew-Merged Permutations
Michael H. Albert, Marie-Louise Lackner, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
21 |
10 years ago |
| 475 |
Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
|
🔮
The Ethereal
|
cs.LO
|
21 |
9 years ago |
| 476 |
An Abstract Semantics of the Global View of Choreographies
Roberto Guanciale, Emilio Tuosto
|
🔮
The Ethereal
|
cs.LO
|
21 |
9 years ago |
| 477 |
Homomorphism bounds and edge-colourings of $K_4$-minor-free graphs
Laurent Beaudou, Florent Foucaud, Reza Naserasr
|
🔮
The Ethereal
|
math.CO
|
21 |
9 years ago |
| 478 |
Certifying coloring algorithms for graphs without long induced paths
Marcin Kamiński, Anna Pstrucha
|
🔮
The Ethereal
|
math.CO
|
21 |
9 years ago |
| 479 |
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Jess Banks, Robert Kleinberg, Cristopher Moore
|
🔮
The Ethereal
|
cs.CC
|
21 |
8 years ago |
| 480 |
Hardness Results for Structured Linear Systems
Rasmus Kyng, Peng Zhang
|
🔮
The Ethereal
|
cs.CC
|
21 |
8 years ago |
| 481 |
Some restrictions on weight enumerators of singly even self-dual codes II
Masaaki Harada, Akihiro Munemasa
|
🔮
The Ethereal
|
math.CO
|
21 |
8 years ago |
| 482 |
The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
|
🔮
The Ethereal
|
cs.LO
|
21 |
8 years ago |
| 483 |
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)
Milan Ceska, Vojtech Havlena, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
21 |
8 years ago |
| 484 |
Adaptive Lower Bound for Testing Monotonicity on the Line
Aleksandrs Belovs
|
🔮
The Ethereal
|
cs.CC
|
21 |
8 years ago |
| 485 |
Maximum Realizability for Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
|
🔮
The Ethereal
|
cs.LO
|
21 |
8 years ago |
| 486 |
Doubly transitive lines I: Higman pairs and roux
Joseph W. Iverson, Dustin G. Mixon
|
🔮
The Ethereal
|
math.CO
|
21 |
7 years ago |
| 487 |
Best-case and Worst-case Sparsifiability of Boolean CSPs
Hubie Chen, Bart M. P. Jansen, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
21 |
7 years ago |
| 488 |
Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
|
🔮
The Ethereal
|
cs.LO
|
21 |
7 years ago |
| 489 |
On the Maximum Weight Independent Set Problem in graphs without induced cycles of length at least five
Maria Chudnovsky, Marcin Pilipczuk, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
21 |
7 years ago |
| 490 |
Computer Science and Metaphysics: A Cross-Fertilization
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
|
🔮
The Ethereal
|
cs.LO
|
21 |
6 years ago |
| 491 |
An improved approximation algorithm for ATSP
Vera Traub, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
21 |
6 years ago |
| 492 |
Hardness of Random Optimization Problems for Boolean Circuits, Low-Degree Polynomials, and Langevin Dynamics
David Gamarnik, Aukosh Jagannath, Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
21 |
5 years ago |
| 493 |
Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets
Hayashi Ani, Jeffrey Bosboom, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
21 |
5 years ago |
| 494 |
Maximizing coverage while ensuring fairness: a tale of conflicting objective
Abolfazl Asudeh, Tanya Berger-Wolf, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
21 |
5 years ago |
| 495 |
LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
21 |
5 years ago |
| 496 |
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Pierre Bourhis, Carsten Lutz
|
🔮
The Ethereal
|
cs.LO
|
21 |
5 years ago |
| 497 |
Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, Lars Birkedal
|
🔮
The Ethereal
|
cs.LO
|
21 |
5 years ago |
| 498 |
A SAT-based Resolution of Lam's Problem
Curtis Bright, Kevin K. H. Cheung, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
21 |
5 years ago |
| 499 |
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
|
🔮
The Ethereal
|
cs.LO
|
21 |
3 years ago |
| 500 |
Cover Your Bases: How to Minimize the Sequencing Coverage in DNA Storage Systems
Daniella Bar-Lev, Omer Sabary, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
21 |
2 years ago |