| 751 |
Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
|
🔮
The Ethereal
|
cs.LO
|
14 |
10 years ago |
| 752 |
An improved algorithm for the vertex cover $P_3$ problem on graphs of bounded treewidth
Zongwen Bai, Jianhua Tu, Yongtang Shi
|
🔮
The Ethereal
|
math.CO
|
14 |
10 years ago |
| 753 |
A symmetry breaking transition in the edge/triangle network model
Charles Radin, Kui Ren, Lorenzo Sadun
|
🔮
The Ethereal
|
math.CO
|
14 |
10 years ago |
| 754 |
Tight Sum-of-Squares lower bounds for binary polynomial optimization problems
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
|
🔮
The Ethereal
|
cs.CC
|
14 |
10 years ago |
| 755 |
Bent functions and line ovals
Kanat Abdukhalikov
|
🔮
The Ethereal
|
math.CO
|
14 |
9 years ago |
| 756 |
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Lihao Liang, Paul E. McKenney, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
9 years ago |
| 757 |
On the Compositionality of Quantitative Information Flow
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
|
🔮
The Ethereal
|
cs.LO
|
14 |
9 years ago |
| 758 |
From signatures to monads in UniMath
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
|
🔮
The Ethereal
|
cs.LO
|
14 |
9 years ago |
| 759 |
Dialectical Rough Sets, Parthood and Figures of Opposition-1
A. Mani
|
🔮
The Ethereal
|
math.LO
|
14 |
9 years ago |
| 760 |
A subspace code of size $333$ in the setting of a binary $q$-analog of the Fano plane
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 761 |
Asymptotically optimal Boolean functions
Kai-Uwe Schmidt
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 762 |
Monitoring Data Minimisation
Srinivas Pinisetty, Thibaud Antignac, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
8 years ago |
| 763 |
New LMRD bounds for constant dimension codes and improved constructions
Daniel Heinlein
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 764 |
Colouring Square-Free Graphs without Long Induced Paths
Serge Gaspers, Shenwei Huang, Daniël Paulusma
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 765 |
On Computing the Multiplicity of Cycles in Bipartite Graphs Using the Degree Distribution and the Spectrum of the Graph
Ali Dehghan, Amir H. Banihashemi
|
🔮
The Ethereal
|
cs.DM
|
14 |
8 years ago |
| 766 |
Regular omega-Languages with an Informative Right Congruence
Dana Angluin, Dana Fisman
|
🔮
The Ethereal
|
cs.FL
|
14 |
7 years ago |
| 767 |
Flip distances between graph orientations
Oswin Aichholzer, Jean Cardinal, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
14 |
7 years ago |
| 768 |
Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, ... (+4 more)
|
🔮
The Ethereal
|
math.CT
|
14 |
7 years ago |
| 769 |
Parameterized inapproximability for Steiner Orientation by Gap Amplification
Michał Włodarczyk
|
🔮
The Ethereal
|
cs.CC
|
14 |
7 years ago |
| 770 |
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 771 |
A Quantitative Understanding of Pattern Matching
Sandra Alves, Delia Kesner, Daniel Ventura
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 772 |
Decomposing Probabilistic Lambda-calculi
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 773 |
The number of almost perfect nonlinear functions grows exponentially
Christian Kaspers, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
14 |
6 years ago |
| 774 |
Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
14 |
6 years ago |
| 775 |
Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
6 years ago |
| 776 |
Modular Answer Set Programming as a Formal Specification Language
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 777 |
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 |
| 778 |
Learning Concepts Described by Weight Aggregation Logic
Steffen van Bergerem, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 779 |
Ranked enumeration of MSO logic on words
Pierre Bourhis, Alejandro Grez, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
14 |
5 years ago |
| 780 |
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 |
| 781 |
Balanced Allocations with the Choice of Noise
Dimitrios Los, Thomas Sauerwald
|
🔮
The Ethereal
|
cs.DM
|
14 |
4 years ago |
| 782 |
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 |
4 years ago |
| 783 |
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 |
| 784 |
Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials
Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
14 |
3 years ago |
| 785 |
Complexity Framework For Forbidden Subgraphs I: The Framework
Matthew Johnson, Barnaby Martin, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
14 |
3 years ago |
| 786 |
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 |
| 787 |
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
3 years ago |
| 788 |
Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts
Felix Stutz
|
🔮
The Ethereal
|
cs.FL
|
14 |
3 years ago |
| 789 |
A stronger connection between the asymptotic rank conjecture and the set cover conjecture
Kevin Pratt
|
🔮
The Ethereal
|
cs.CC
|
14 |
2 years ago |
| 790 |
Triadic analysis of affiliation networks
Jason Cory Brunson
|
🔮
The Ethereal
|
math.CO
|
13 |
11 years ago |
| 791 |
Merit factors of polynomials derived from difference sets
Christian Günther, Kai-Uwe Schmidt
|
🔮
The Ethereal
|
math.CO
|
13 |
11 years ago |
| 792 |
Finite Open-World Query Answering with Number Restrictions (Extended Version)
Antoine Amarilli, Michael Benedikt
|
🔮
The Ethereal
|
cs.LO
|
13 |
11 years ago |
| 793 |
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
11 years ago |
| 794 |
A Type-Directed Negation Elimination
Etienne Lozes
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 795 |
On the uniform one-dimensional fragment
Antti Kuusisto
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 796 |
Proof-relevant $π$-calculus: a constructive account of concurrency and causality
Roly Perera, James Cheney
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 797 |
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing
Isabella Mastroeni, Damiano Zanardini
|
🔮
The Ethereal
|
cs.LO
|
13 |
10 years ago |
| 798 |
Nonnegative Matrix Factorization Requires Irrationality
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
13 |
10 years ago |
| 799 |
Optimality of Correlated Sampling Strategies
Mohammad Bavarian, Badih Ghazi, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
13 |
9 years ago |
| 800 |
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer, Karlheinz Friedberger
|
🔮
The Ethereal
|
cs.LO
|
13 |
9 years ago |