| 2601 |
How many matchings cover the nodes of a graph?
Dehia Ait Ferhat, Zoltán Király, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2602 |
Formal FocusST Specification of CAN
Maria Spichkova
|
🔮
The Ethereal
|
cs.FL
|
1 |
7 years ago |
| 2603 |
Towards Machine Learning Induction
Yutaka Nagashima
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2604 |
In Praise of Sequence (Co-)Algebra and its implementation in Haskell
Kieran Clenaghan
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2605 |
Minuet: A method to solve Sudoku puzzles by hand
Carlos F. Daganzo
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2606 |
The content correlation of multiple streaming edges
Michel de Rougemont, Guillaume Vimont
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2607 |
A modified greedy algorithm to improve bounds for the vertex cover number
R. Dharmarajan, D. Ramachandran
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2608 |
Longest Common Subsequence on Weighted Sequences
Evangelos Kipouridis, Kostas Tsichlas
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2609 |
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Normann Decker, Anton Pirogov
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2610 |
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang, Hongfei Fu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2611 |
Totality for Mixed Inductive and Coinductive Types
Pierre Hyvernat
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2612 |
Proceedings Tenth International Workshop on Computing with Terms and Graphs
Maribel Fernández, Ian Mackie
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2613 |
Types by Need (Extended Version)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2614 |
Information-theoretic lower bounds for quantum sorting
Jean Cardinal, Gwenaël Joret, Jérémie Roland
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2615 |
From Sharma-Mittal to von-Neumann Entropy of a Graph
Souma Mazumdar, Amrik Singh, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2616 |
A linear-time algorithm and analysis of graph Relative Hausdorff distance
Sinan G. Aksoy, Kathleen E. Nowak, Stephen J. Young
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2617 |
A linear bound on the k-rendezvous time for primitive sets of NZ matrices
Costanza Catalano, Umer Azfar, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2618 |
Towards Intuitive Reasoning in Axiomatic Geometry
Maximilian Doré, Krysia Broda
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2619 |
Steiner systems $S(2,4,2^m)$ supported by a family of extended cyclic codes
Qi Wang
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2620 |
Shortest-Path-Preserving Rounding
Herman Haverkort, David Kübel, Elmar Langetepe
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2621 |
On Mappings on the Hypercube with Small Average Stretch
Lucas Boczkowski, Igor Shinkar
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2622 |
Average Bias and Polynomial Sources
Arnab Bhattacharyya, Philips George John, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2623 |
Schur ring and Codes for $S$-subgroups over $\Z_{2}^{n}$
Ronald Orozco López
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2624 |
A Linear Algorithm for Minimum Dominator Colorings of Orientations of Paths
Michael Cary
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2625 |
Fault-Tolerant Path-Embedding of Twisted Hypercube-Like Networks THLNs
Huifeng Zhang, Xirong Xu, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2626 |
Link Dimension and Exact Construction of a Graph
Gunjan S. Mahindre, Anura P. Jayasumana
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2627 |
Parallelism Theorem and Derived Rules for Parallel Coherent Transformations
Thierry Boy de la Tour
|
🔮
The Ethereal
|
math.CT
|
1 |
7 years ago |
| 2628 |
Formal verification of trading in financial markets
Suneel Sarswat, Abhishek Kr Singh
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2629 |
Robust Approach to Restricted Items Selection Problem
Maciej Drwal
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2630 |
Social Choice Methods for Database Aggregation
Francesco Belardinelli, Umberto Grandi
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2631 |
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations
Carmen Leticia García-Mata, Pedro Rafael Márquez-Gutiérrez
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2632 |
Characterization and classification of optimal LCD codes
Makoto Araya, Masaaki Harada, Ken Saito
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2633 |
An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences
Kai Wang
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2634 |
Explaining SDN Failures via Axiomatisations
Georgiana Caltais
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2635 |
Reasoning about call-by-value: a missing result in the history of Hoare's logic
Krzysztof R. Apt, Frank S. de Boer
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2636 |
Exact solutions for geodesic distance on treelike models with some constraints
Xudong Luo, Fei Ma, Wentao Xu
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2637 |
The Computational Complexity of Fire Emblem Series and similar Tactical Role-Playing Games
Jiawei Gao
|
🔮
The Ethereal
|
cs.CC
|
1 |
6 years ago |
| 2638 |
On the Strong Equivalences of LPMLN Programs
Bin Wang, Jun Shen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2639 |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
Felicidad Aguado, Pedro Cabalar, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2640 |
Advances in Big Data Bio Analytics
Nicos Angelopoulos, Jan Wielemaker
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2641 |
Towards declarative comparabilities: application to functional dependencies
Lhouari Nourine, Jean Marc Petit, Simon Vilmin
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2642 |
On the Approximation Ratio of the $k$-Opt and Lin-Kernighan Algorithm
Xianghui Zhong
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |
| 2643 |
Types for Parallel Complexity in the Pi-calculus
Patrick Baillot, Alexis Ghyselen
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2644 |
Reflections on "Incremental Cardinality Constraints for MaxSAT"
Ruben Martins, Saurabh Joshi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2645 |
Hamming Distances in Vector Spaces over Finite Fields
Esen Aksoy Yazici
|
🔮
The Ethereal
|
math.CO
|
1 |
6 years ago |
| 2646 |
The Distribution Function of the Longest Path Length in Constant Treewidth DAGs with Random Edge Length
Ei Ando
|
🔮
The Ethereal
|
cs.CC
|
1 |
6 years ago |
| 2647 |
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille
Aaron Stump
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2648 |
Statistical EL is ExpTime-complete
Bartosz Bednarczyk
|
🔮
The Ethereal
|
cs.LO
|
1 |
6 years ago |
| 2649 |
Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Nicolas Beldiceanu, Mats Carlsson, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
6 years ago |
| 2650 |
An algorithm for bounding extremal functions of forbidden sequences
Jesse Geneson
|
🔮
The Ethereal
|
cs.DM
|
1 |
6 years ago |