| 501 |
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 |
| 502 |
Adaptive Lower Bound for Testing Monotonicity on the Line
Aleksandrs Belovs
|
🔮
The Ethereal
|
cs.CC
|
21 |
8 years ago |
| 503 |
Maximum Realizability for Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
|
🔮
The Ethereal
|
cs.LO
|
21 |
8 years ago |
| 504 |
Doubly transitive lines I: Higman pairs and roux
Joseph W. Iverson, Dustin G. Mixon
|
🔮
The Ethereal
|
math.CO
|
21 |
8 years ago |
| 505 |
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 |
| 506 |
Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
|
🔮
The Ethereal
|
cs.LO
|
21 |
7 years ago |
| 507 |
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 |
| 508 |
Computer Science and Metaphysics: A Cross-Fertilization
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
|
🔮
The Ethereal
|
cs.LO
|
21 |
7 years ago |
| 509 |
An improved approximation algorithm for ATSP
Vera Traub, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
21 |
6 years ago |
| 510 |
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 |
6 years ago |
| 511 |
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 |
6 years ago |
| 512 |
Maximizing coverage while ensuring fairness: a tale of conflicting objective
Abolfazl Asudeh, Tanya Berger-Wolf, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
21 |
6 years ago |
| 513 |
LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
21 |
5 years ago |
| 514 |
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Pierre Bourhis, Carsten Lutz
|
🔮
The Ethereal
|
cs.LO
|
21 |
5 years ago |
| 515 |
Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, Lars Birkedal
|
🔮
The Ethereal
|
cs.LO
|
21 |
5 years ago |
| 516 |
A SAT-based Resolution of Lam's Problem
Curtis Bright, Kevin K. H. Cheung, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
21 |
5 years ago |
| 517 |
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
|
🔮
The Ethereal
|
cs.LO
|
21 |
4 years ago |
| 518 |
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 |
3 years ago |
| 519 |
Spatial Interpolants
Aws Albarghouthi, Josh Berdine, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
11 years ago |
| 520 |
Inapproximability of $H$-Transversal/Packing
Venkatesan Guruswami, Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
20 |
11 years ago |
| 521 |
Independent sets and cuts in large-girth regular graphs
Endre Csóka
|
🔮
The Ethereal
|
math.CO
|
20 |
10 years ago |
| 522 |
Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
10 years ago |
| 523 |
A Classical Realizability Model for a Semantical Value Restriction
Rodolphe Lepigre
|
🔮
The Ethereal
|
cs.LO
|
20 |
10 years ago |
| 524 |
Approximation Algorithm for Fault-Tolerant Virtual Backbone in Wireless Sensor Networks
Jiao Zhou, Zhao Zhang, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
10 years ago |
| 525 |
On the Complexity of Connection Games
Édouard Bonnet, Florian Jamain, Abdallah Saffidine
|
🔮
The Ethereal
|
cs.CC
|
20 |
10 years ago |
| 526 |
Understanding the complexity of #SAT using knowledge compilation
Florent Capelli
|
🔮
The Ethereal
|
cs.CC
|
20 |
9 years ago |
| 527 |
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
|
🔮
The Ethereal
|
math.CO
|
20 |
9 years ago |
| 528 |
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Ian J. Hayes, Larissa A. Meinicke, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
8 years ago |
| 529 |
Spectral Methods for Immunization of Large Networks
Muhammad Ahmad, Juvaria Tariq, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
8 years ago |
| 530 |
Discovering the hidden community structure of public transportation networks
Laszlo Hajdu, Andras Bota, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
8 years ago |
| 531 |
Quadratic and symmetric bilinear forms over finite fields and their association schemes
Kai-Uwe Schmidt
|
🔮
The Ethereal
|
math.CO
|
20 |
8 years ago |
| 532 |
An explicit two-source extractor with min-entropy rate near 4/9
Mark Lewko
|
🔮
The Ethereal
|
math.CO
|
20 |
8 years ago |
| 533 |
Towards a formal notion of impact metric for cyber-physical attacks (full version)
Ruggero Lanotte, Massimo Merro, Simone Tini
|
🔮
The Ethereal
|
cs.LO
|
20 |
8 years ago |
| 534 |
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
7 years ago |
| 535 |
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
Milan Češka, Vojtěch Havlena, ... (+7 more)
|
🔮
The Ethereal
|
cs.FL
|
20 |
7 years ago |
| 536 |
Medians in median graphs and their cube complexes in linear time
Laurine Bénéteau, Jérémie Chalopin, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
6 years ago |
| 537 |
Compositional Non-Interference for Fine-Grained Concurrent Programs
Dan Frumin, Robbert Krebbers, Lars Birkedal
|
🔮
The Ethereal
|
cs.LO
|
20 |
6 years ago |
| 538 |
Pseudo-deterministic Streaming
Shafi Goldwasser, Ofer Grossman, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
20 |
6 years ago |
| 539 |
On $Δ$-Modular Integer Linear Problems In The Canonical Form And Equivalent Problems
D. V. Gribanov, I. A. Shumilov, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
20 |
6 years ago |
| 540 |
Weighted Additive Spanners
Reyan Ahmed, Greg Bodwin, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
6 years ago |
| 541 |
Feedback Edge Sets in Temporal Graphs
Roman Haag, Hendrik Molter, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
6 years ago |
| 542 |
Full complexity classification of the list homomorphism problem for bounded-treewidth graphs
Karolina Okrasa, Marta Piecyk, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.CC
|
20 |
6 years ago |
| 543 |
Logical Separability of Labeled Data Examples under Ontologies
Jean Christoph Jung, Carsten Lutz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
6 years ago |
| 544 |
Efficient List-Decoding with Constant Alphabet and List Sizes
Zeyu Guo, Noga Ron-Zewi
|
🔮
The Ethereal
|
cs.CC
|
20 |
5 years ago |
| 545 |
A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems
Nicolas Bousquet, Amer E. Mouawad, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
20 |
4 years ago |
| 546 |
Constructing Near Spanning Trees with Few Local Inspections
Reut Levi, Guy Moshkovitz, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
19 |
11 years ago |
| 547 |
Zero-free regions of partition functions with applications to algorithms and graph limits
Guus Regts
|
🔮
The Ethereal
|
math.CO
|
19 |
11 years ago |
| 548 |
Tangles and the Mona Lisa
Reinhard Diestel, Geoff Whittle
|
🔮
The Ethereal
|
math.CO
|
19 |
10 years ago |
| 549 |
Directed Containers as Categories
Danel Ahman, Tarmo Uustalu
|
🔮
The Ethereal
|
cs.LO
|
19 |
10 years ago |
| 550 |
Weight recursions for any rotation symmetric Boolean functions
Thomas W. Cusick
|
🔮
The Ethereal
|
math.CO
|
19 |
9 years ago |