| 1701 |
MDS codes in the Doob graphs
Evgeny Bespalov, Denis Krotov
|
🔮
The Ethereal
|
math.CO
|
4 |
10 years ago |
| 1702 |
A Geometric Framework for the Inconsistency in Pairwise Comparisons
Waldemar W. Koczkodaj, Jean-Pierre Magnot
|
🔮
The Ethereal
|
math.LO
|
4 |
10 years ago |
| 1703 |
Relational lattices via duality
Luigi Santocanale
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1704 |
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds
Mahdi Amani, Abbas Nowzari-Dalini
|
🔮
The Ethereal
|
cs.CC
|
4 |
10 years ago |
| 1705 |
An Expressive Probabilistic Temporal Logic
Bruno Woltzenlogel Paleo
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1706 |
Weighted Pushdown Systems with Indexed Weight Domains
Yasuhiko Minamide
|
🔮
The Ethereal
|
cs.FL
|
4 |
10 years ago |
| 1707 |
Variations on Noetherianness
Denis Firsov, Tarmo Uustalu, Niccolò Veltri
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1708 |
Resilience of a synchronized multi-agent system
S. Bereg, L. E. Caraballo, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
10 years ago |
| 1709 |
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B
Ashish Darbari, Iain Singleton, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1710 |
On minimal distance between q-ary bent functions
Vladimir N. Potapov
|
🔮
The Ethereal
|
math.CO
|
4 |
10 years ago |
| 1711 |
Approximately coloring graphs without long induced paths
Maria Chudnovsky, Oliver Schaudt, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
10 years ago |
| 1712 |
Number representations and term rewriting
Boas Kluiving, Wijnand van Woerkom
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1713 |
On the dimension of twisted centralizer codes
S. P. Glasby, Cheryl E. Praeger, Adel Alahmadi
|
🔮
The Ethereal
|
math.CO
|
4 |
10 years ago |
| 1714 |
A note on "Approximation schemes for a subclass of subset selection problems", and a faster FPTAS for the Minimum Knapsack Problem
Cédric Bentz, Pierre Le Bodic
|
🔮
The Ethereal
|
cs.CC
|
4 |
9 years ago |
| 1715 |
Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 1716 |
Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 1717 |
Random Popular Matchings with Incomplete Preference Lists
Suthee Ruangwises, Toshiya Itoh
|
🔮
The Ethereal
|
cs.DM
|
4 |
9 years ago |
| 1718 |
On Deductive Systems of AC Semantics for Rough Sets
A. Mani
|
🔮
The Ethereal
|
math.LO
|
4 |
9 years ago |
| 1719 |
Dual-Pivot Quicksort: Optimality, Analysis and Zeros of Associated Lattice Paths
Martin Aumüller, Martin Dietzfelbinger, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
9 years ago |
| 1720 |
QBF Solving by Counterexample-guided Expansion
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 1721 |
LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks
Fu Song, Tayssir Touili
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 1722 |
Formal Languages, Formally and Coinductively
Dmitriy Traytel
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 1723 |
On Coloring Random Subgraphs of a Fixed Graph
Igor Shinkar
|
🔮
The Ethereal
|
math.CO
|
4 |
9 years ago |
| 1724 |
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
Rob van Glabbeek, Peter Höfner
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 1725 |
Optimal lower bounds for universal relation, samplers, and finding duplicates
Jelani Nelson, Jakub Pachocki, Zhengyu Wang
|
🔮
The Ethereal
|
cs.CC
|
4 |
9 years ago |
| 1726 |
A polynomial-time randomized reduction from tournament isomorphism to tournament asymmetry
Pascal Schweitzer
|
🔮
The Ethereal
|
cs.DM
|
4 |
9 years ago |
| 1727 |
Grammatical Inference as a Satisfiability Modulo Theories Problem
Rick Smetsers
|
🔮
The Ethereal
|
cs.FL
|
4 |
9 years ago |
| 1728 |
Upper bounds on the smallest size of a complete cap in $\mathrm{PG}(N,q)$, $N\ge3$, under a certain probabilistic conjecture
Alexander A. Davydov, Giorgio Faina, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
9 years ago |
| 1729 |
Tight Euler tours in uniform hypergraphs - computational aspects
Zbigniew Lonc, Paweł Naroski, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.CC
|
4 |
9 years ago |
| 1730 |
Structure Learning of $H$-colorings
Antonio Blanca, Zongchen Chen, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
8 years ago |
| 1731 |
When data mining meets optimization: A case study on the quadratic assignment problem
Yangming Zhou, Jin-Kao Hao, Béatrice Duval
|
🔮
The Ethereal
|
cs.DM
|
4 |
8 years ago |
| 1732 |
An intensionally fully-abstract sheaf model for $π$ (expanded version)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
|
🔮
The Ethereal
|
cs.LO
|
4 |
8 years ago |
| 1733 |
Identification of Strong Edges in AMP Chain Graphs
Jose M. Peña
|
🔮
The Ethereal
|
math.CO
|
4 |
8 years ago |
| 1734 |
Self-Predicting Boolean Functions
Nir Weinberger, Ofer Shayevitz
|
🔮
The Ethereal
|
cs.DM
|
4 |
8 years ago |
| 1735 |
Analysis of the Continued Logarithm Algorithm
Pablo Rotondo, Brigitte Vallee, Alfredo Viola
|
🔮
The Ethereal
|
cs.DM
|
4 |
8 years ago |
| 1736 |
Binary Subspace Codes in Small Ambient Spaces
Daniel Heinlein, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
4 |
8 years ago |
| 1737 |
On linear codes and distinct weights
Alessio Meneghetti
|
🔮
The Ethereal
|
math.CO
|
4 |
8 years ago |
| 1738 |
Beyond the Lovasz Local Lemma: Point to Set Correlations and Their Algorithmic Applications
Dimitris Achlioptas, Fotis Iliopoulos, Alistair Sinclair
|
🔮
The Ethereal
|
cs.DM
|
4 |
8 years ago |
| 1739 |
A complete characterization of plateaued Boolean functions in terms of their Cayley graphs
Constanza Riera, Patrick Sole, Pantelimon Stanica
|
🔮
The Ethereal
|
math.CO
|
4 |
8 years ago |
| 1740 |
Towards Functorial Language-Games
Jules Hedges, Martha Lewis
|
🔮
The Ethereal
|
cs.LO
|
4 |
8 years ago |
| 1741 |
Hitting times and resistance distances of $q$-triangulation graphs: Accurate results and applications
Yibo Zeng, Zhongzhi Zhang
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1742 |
Solving Partition Problems Almost Always Requires Pushing Many Vertices Around
Iyad Kanj, Christian Komusiewicz, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
7 years ago |
| 1743 |
Detecting strong cliques
Ademir Hujdurović, Martin Milanič, Bernard Ries
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1744 |
Exploring the Landscape of Relational Syllogistic Logics
Alex Kruckman, Lawrence S. Moss
|
🔮
The Ethereal
|
math.LO
|
4 |
7 years ago |
| 1745 |
Towards a classification of Lindenmayer systems
Diego Krivochen, Douglas Saddy
|
🔮
The Ethereal
|
cs.FL
|
4 |
7 years ago |
| 1746 |
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
David Hardin, Konrad Slind
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1747 |
D-chain tomography of networks: a new structure spectrum and an application to the SIR process
Ricky X. F. Chen, Christian M. Reidys, Andrei C. Bura
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1748 |
Toward a Uniform Approach to the Unfolding of Nets
Eric Fabre, G. Michele Pinna
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1749 |
Perfect Codes for Generalized Deletions from Minuscule Elements of Weyl Groups
Manabu Hagiwara
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1750 |
Syntax and Typing for Cedille Core
Aaron Stump
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |