| 751 |
Parameterized inapproximability for Steiner Orientation by Gap Amplification
Michał Włodarczyk
|
🔮
The Ethereal
|
cs.CC
|
14 |
6 years ago |
| 752 |
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 753 |
A Quantitative Understanding of Pattern Matching
Sandra Alves, Delia Kesner, Daniel Ventura
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 754 |
Decomposing Probabilistic Lambda-calculi
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 755 |
The number of almost perfect nonlinear functions grows exponentially
Christian Kaspers, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
14 |
6 years ago |
| 756 |
Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
14 |
5 years ago |
| 757 |
Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 758 |
Modular Answer Set Programming as a Formal Specification Language
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 759 |
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 760 |
Learning Concepts Described by Weight Aggregation Logic
Steffen van Bergerem, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 761 |
Ranked enumeration of MSO logic on words
Pierre Bourhis, Alejandro Grez, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
14 |
5 years ago |
| 762 |
Hardness for Triangle Problems under Even More Believable Hypotheses: Reductions from Real APSP, Real 3SUM, and OV
Timothy M. Chan, Virginia Vassilevska Williams, Yinzhan Xu
|
🔮
The Ethereal
|
cs.CC
|
14 |
4 years ago |
| 763 |
Balanced Allocations with the Choice of Noise
Dimitrios Los, Thomas Sauerwald
|
🔮
The Ethereal
|
cs.DM
|
14 |
3 years ago |
| 764 |
Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints
Eun Jung Kim, Stefan Kratsch, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
14 |
3 years ago |
| 765 |
Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part I: Algorithmic Results
Jacob Focke, Dániel Marx, ... (+5 more)
|
🔮
The Ethereal
|
cs.CC
|
14 |
3 years ago |
| 766 |
Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials
Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
14 |
3 years ago |
| 767 |
Complexity Framework For Forbidden Subgraphs I: The Framework
Matthew Johnson, Barnaby Martin, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
14 |
3 years ago |
| 768 |
Automaton-Based Representations of Task Knowledge from Generative Language Models
Yunhao Yang, Jean-Raphaël Gaglione, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
14 |
3 years ago |
| 769 |
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
3 years ago |
| 770 |
Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts
Felix Stutz
|
🔮
The Ethereal
|
cs.FL
|
14 |
3 years ago |
| 771 |
A stronger connection between the asymptotic rank conjecture and the set cover conjecture
Kevin Pratt
|
🔮
The Ethereal
|
cs.CC
|
14 |
2 years ago |
| 772 |
Triadic analysis of affiliation networks
Jason Cory Brunson
|
🔮
The Ethereal
|
math.CO
|
13 |
11 years ago |
| 773 |
Merit factors of polynomials derived from difference sets
Christian Günther, Kai-Uwe Schmidt
|
🔮
The Ethereal
|
math.CO
|
13 |
11 years ago |
| 774 |
Finite Open-World Query Answering with Number Restrictions (Extended Version)
Antoine Amarilli, Michael Benedikt
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 775 |
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 776 |
A Type-Directed Negation Elimination
Etienne Lozes
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 777 |
On the uniform one-dimensional fragment
Antti Kuusisto
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 778 |
Proof-relevant $π$-calculus: a constructive account of concurrency and causality
Roly Perera, James Cheney
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 779 |
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing
Isabella Mastroeni, Damiano Zanardini
|
🔮
The Ethereal
|
cs.LO
|
13 |
9 years ago |
| 780 |
Nonnegative Matrix Factorization Requires Irrationality
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
13 |
9 years ago |
| 781 |
Optimality of Correlated Sampling Strategies
Mohammad Bavarian, Badih Ghazi, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
13 |
9 years ago |
| 782 |
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer, Karlheinz Friedberger
|
🔮
The Ethereal
|
cs.LO
|
13 |
9 years ago |
| 783 |
Linear-Time Tree Containment in Phylogenetic Networks
Mathias Weller
|
🔮
The Ethereal
|
cs.CC
|
13 |
9 years ago |
| 784 |
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
9 years ago |
| 785 |
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Antoine Genitrini, Bernhard Gittenberger, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
13 |
9 years ago |
| 786 |
More on additive triples of bijections
Sean Eberhard
|
🔮
The Ethereal
|
math.CO
|
13 |
9 years ago |
| 787 |
Binary extremal self-dual codes of length $60$ and related codes
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
13 |
8 years ago |
| 788 |
Boolean dimension and tree-width
Stefan Felsner, Tamás Mészáros, Piotr Micek
|
🔮
The Ethereal
|
math.CO
|
13 |
8 years ago |
| 789 |
Privacy by typing in the $π$-calculus
Dimitrios Kouzapas, Anna Philippou
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 790 |
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 791 |
Tensor network complexity of multilinear maps
Per Austrin, Petteri Kaski, Kaie Kubjas
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 792 |
Call-by-Need, Neededness and All That
Delia Kesner, Alejandro Ríos, Andrés Viso
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 793 |
On the Relative Succinctness of Sentential Decision Diagrams
Beate Bollig, Matthias Buttkus
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 794 |
Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars
Karl Bringmann, Philip Wellnitz
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 795 |
A theory of linear typings as flows on 3-valent graphs
Noam Zeilberger
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 796 |
Swendsen-Wang Dynamics for General Graphs in the Tree Uniqueness Region
Antonio Blanca, Zongchen Chen, Eric Vigoda
|
🔮
The Ethereal
|
cs.DM
|
13 |
7 years ago |
| 797 |
Is your function low-dimensional?
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
13 |
7 years ago |
| 798 |
On the Enumeration and Counting of Bicriteria Temporal Paths
Petra Mutzel, Lutz Oettershagen
|
🔮
The Ethereal
|
cs.CC
|
13 |
7 years ago |
| 799 |
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mohamed Yousri Mahmoud, Amy P. Felty
|
🔮
The Ethereal
|
cs.LO
|
13 |
7 years ago |
| 800 |
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Thomas Brihaye, Florent Delgrange, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
7 years ago |