| 2651 |
New binary self-dual codes via a generalization of the four circulant construction
Joe Gildea, Abidin Kaya, Bahattin Yildiz
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2652 |
Bitopological Duality for Algebras of Fittings logic and Natural Duality extension
Litan Kumar Das, Kumar Sankar Ray
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2653 |
Streaming Transformations of Infinite Ordered-Data Words
Xiaokang Qiu
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2654 |
Modular coinduction up-to for higher-order languages via first-order transition systems
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2655 |
The Abstract Machinery of Interaction (Long Version)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2656 |
Four-valued monitorability of $ω$-regular languages
Zhe Chen, Yunyun Chen, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2657 |
On Higher-Order Cryptography (Long Version)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2658 |
Generating random bigraphs with preferential attachment
Dominik Grzelak, Barbara Priwitzer, Uwe Aßmann
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |
| 2659 |
An Easy-to-implement Construction for $(k,n)$-threshold Progressive Visual Secret Sharing Schemes
Hong-Bin Chen, Hsiang-Chun Hsu, Justie Su-Tzu Juan
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2660 |
Process algebra, process scheduling, and mutual exclusion
C. A. Middelburg
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2661 |
A homological characterization of generalized multinomial coefficients related to the entropic chain rule
Juan Pablo Vigneaux
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2662 |
The Fine-Grained Complexity of Computing the Tutte Polynomial of a Linear Matroid
Andreas Björklund, Petteri Kaski
|
🔮
The Ethereal
|
cs.CC
|
1 |
6 years ago |
| 2663 |
Exact capacitated domination: on the computational complexity of uniqueness
Gregory Gutin, Philip R Neary, Anders Yeo
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2664 |
On subspaces of Kloosterman zeros and permutations of the form $L_1(x^{-1})+L_2(x)$
Faruk Göloğlu, Lukas Kölsch, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2665 |
Graph Distances and Clustering
Pierre Miasnikof, Alexander Y. Shestopaloff, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |
| 2666 |
Polynomial-delay Enumeration Algorithms in Set Systems
Kazuya Haraguchi, Hiroshi Nagamochi
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |
| 2667 |
Combining predicate transformer semantics for effects: a case study in parsing regular languages
Anne Baanen, Wouter Swierstra
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2668 |
Featured Games
Uli Fahrenberg, Axel Legay
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2669 |
How to generate random lambda terms?
Maciej Bendkowski
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2670 |
Maximum $w$-cyclic holely group divisible packings with block size three and applications to optical orthogonal codes
Zenghui Fang, Junling Zhou, Lidong Wang
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2671 |
Graphs with Multiple Sources per Vertex
Martin van Harmelen, Jonas Groschwitz
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2672 |
A Fast Distributed Algorithm for $(Δ+ 1)$-Edge-Coloring
Anton Bernshteyn
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2673 |
Binary intersection formalized
Štěpán Holub, Štěpán Starosta
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2674 |
Reasoning with Contextual Knowledge and Influence Diagrams
Erman Acar, Rafael Peñaloza
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2675 |
Incremental methods for checking real-time consistency
Thierry Jéron, Nicolas Markey, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2676 |
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling
Yong Li, Andrea Turrini, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2677 |
Logic of computational semi-effects and categorical gluing for equivariant functors
Yuichi Nishiwaki, Toshiya Asai
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2678 |
Dominated Minimal Separators are Tame (Nearly All Others are Feral)
Peter Gartland, Daniel Lokshtanov
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |
| 2679 |
Independence versus Indetermination: basis of two canonical clustering criteria
Pierre Bertrand, Michel Broniatowski, Jean-François Marcotorchino
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |
| 2680 |
Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report)
Ryuta Arisaka, Takayuki Ito
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2681 |
A polynomial-time algorithm to determine (almost) Hamiltonicity of dense regular graphs
Viresh Patel, Fabian Stroh
|
🔮
The Ethereal
|
math.CO
|
1 |
5 years ago |
| 2682 |
Automorphism groups of maps in linear time
Ken-ichi Kawarabayashi, Bojan Mohar, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
5 years ago |
| 2683 |
Glushkov's construction for functional subsequential transducers
Aleksander Mendoza-Drosik
|
🔮
The Ethereal
|
cs.FL
|
1 |
5 years ago |
| 2684 |
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME
Neil D. Jones, Siddharth Bhaskar, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
5 years ago |
| 2685 |
A unified algorithm for colouring graphs of bounded clique-width
Bruno Courcelle, Irène Durand, Michael Raskin
|
🔮
The Ethereal
|
cs.CC
|
1 |
5 years ago |
| 2686 |
A Heuristic Approach to Two Level Boolean Minimization Derived from Karnaugh Mapping
Ethan L. Childerhose, Jingzhou Liu
|
🔮
The Ethereal
|
math.LO
|
1 |
5 years ago |
| 2687 |
Haystack Hunting Hints and Locker Room Communication
Artur Czumaj, George Kontogeorgiou, Mike Paterson
|
🔮
The Ethereal
|
math.CO
|
1 |
5 years ago |
| 2688 |
Combining Determinism and Indeterminism
Michael Stephen Fiske
|
🔮
The Ethereal
|
math.LO
|
1 |
5 years ago |
| 2689 |
Faster Property Testers in a Variation of the Bounded Degree Model
Isolde Adler, Polly Fahey
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2690 |
SHACL Satisfiability and Containment (Extended Paper)
Paolo Pareti, George Konstantinidis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2691 |
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
Wolf De Wulf, Bart Bogaerts
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2692 |
Emergence of complex data from simple local rules in a network game
Felipe S. Abrahão, Klaus Wehmuth, Artur Ziviani
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2693 |
On the Approximability of Robust Network Design
Yacine Al-Najjar, Walid Ben-Ameur, Jeremie Leguay
|
🔮
The Ethereal
|
cs.CC
|
1 |
5 years ago |
| 2694 |
A spatial model checker in GPU (extended version)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2695 |
The Graphs of Stably Matchable Pairs
David Eppstein
|
🔮
The Ethereal
|
cs.DM
|
1 |
5 years ago |
| 2696 |
Leader Election And Local Identifiers For 3D Programmable Matter
Nicolas Gastineau, Wahabou Abdou, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
5 years ago |
| 2697 |
The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
Aritra Sarkar
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2698 |
The clustered selected-internal Steiner tree problem
Yen Hung Chen
|
🔮
The Ethereal
|
math.CO
|
1 |
5 years ago |
| 2699 |
The Long, the Short and the Random
Giorgio Camerani
|
🔮
The Ethereal
|
cs.CC
|
1 |
5 years ago |
| 2700 |
A Deductive Verification Framework For Higher Order Programs
Tiago Lopes Soares
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |