| 3001 |
A greedy algorithm for the minimization of a ratio of same-index element sums from two positive arrays
Alexander Lozovskiy
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3002 |
Polar Grassmannians and their Codes
Ilaria Cardinali, Luca Giuzzi
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3003 |
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
Nathalie Bertrand, Mirco Tribastone
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3004 |
Integrality Gaps and Approximation Algorithms for Dispersers and Bipartite Expanders
Xue Chen
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3005 |
SAT as a game
Olivier Bailleux
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3006 |
Proceedings Workshop on Models for Formal Analysis of Real Systems
Rob van Glabbeek, Jan Friso Groote, Peter Höfner
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3007 |
Proceedings First International Workshop on Focusing
Iliano Cervesato, Carsten Schürmann
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3008 |
Improved bounds on the peak sidelobe level of binary sequences
Idris Mercer
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3009 |
Remark on a result of Constantine
Padraig Ó Catháin
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3010 |
Querying with Łukasiewicz logic
Stefano Aguzzoli, Pietro Codara, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3011 |
Type Theory and its Meaning Explanations
Jonathan Sterling
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3012 |
A token-passing net implementation of optimal reduction with embedded read-back
Anton Salikhmetov
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3013 |
On maximum components of a class of perfect codes
I. Yu. Mogilnykh, F. I. Solov'eva
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3014 |
On the extention of propelinear structures of Nordstrom-Robinson code to Hamming code
I. Yu. Mogilnykh
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3015 |
Probing Graph Proper Total Colorings With Additional Constrained Conditions
Bing Yao, Ming Yao, Xiang-en Chen
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3016 |
Linear time algorithm for computing the rank of divisors on cactus graphs
Phan Thi Ha Duong
|
🔮
The Ethereal
|
math.CO
|
0 |
10 years ago |
| 3017 |
Universality of causal graph dynamics
Simon Martiel, Bruno Martin
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3018 |
The IMP game: Learnability, approximability and adversarial learning beyond $Σ^0_1$
Michael Brand, David L. Dowe
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3019 |
Revisiting the Sanders-Freiman-Ruzsa Theorem in $\mathbb{F}_p^n$ and its Application to Non-malleable Codes
Divesh Aggarwal, Jop Briët
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3020 |
Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking
Baltasar Trancón y Widemann
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3021 |
Zero-Suppressed Computation: A New Computation Inspired by ZDDs
Hiroki Morizumi
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3022 |
Proving completeness of logic programs with the cut
Włodzimierz Drabent
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3023 |
Proceedings of the Eleventh International Workshop on Developments in Computational Models
César A. Muñoz, Jorge A. Pérez
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3024 |
Formalising Confluence in PVS
Mauricio Ayala-Rincón
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3025 |
Minimization of Büchi Automata using Fair Simulation
Daniel Tischner
|
🔮
The Ethereal
|
cs.FL
|
0 |
10 years ago |
| 3026 |
A fixed-parameter algorithm for a routing open shop problem: unit processing times, few machines and locations
René van Bevern, Artem V. Pyatkin
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3027 |
On the Complexity of Detecting Constrained Negative Cost Cycles
Longkun Guo, Peng Li
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3028 |
A comprehensive theory of cascading via-paths and the reciprocal pointer chain method
Brandon Smock, Joseph Wilson
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3029 |
Building the Signature of Set Theory Using the MathSem Program
Andrey Luxemburg
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3030 |
The Existence of the Tau One-Way Functions Class as a Proof that P != NP
Javier A. Arroyo-Figueroa
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3031 |
Fault tolerant supergraphs with automorphisms
Ashwin Ganesan
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3032 |
On the Grundy number of Cameron graphs
Wing-Kai Hon, Ton Kloks, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3033 |
Advances in Property-Based Testing for $α$Prolog
James Cheney, Alberto Momigliano, Matteo Pessina
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3034 |
The Complexity of Simulation and Matrix Multiplication
Massimo Cairo, Romeo Rizzi
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3035 |
On "Exponential Lower Bounds for Polytopes in Combinatorial Optimization" by Fiorini et al. (2015): A Refutation For Models With Disjoint Sets of Descriptive Variables
Moustapha Diaby, Mark H. Karwan, Lei Sun
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 years ago |
| 3036 |
Parallelizing asymptotically optimal algorithms for large-scale dualization problems
Elena V. Djukova, Andrey G. Nikiforov, Petr A. Prokofyev
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3037 |
Proceedings First International Workshop on Hammers for Type Theories
Jasmin Christian Blanchette, Cezary Kaliszyk
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3038 |
Efficient Verification of Concurrent Programs Over TSO Memory Model
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3039 |
Secure Multiparty Sessions with Topics
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3040 |
A verified abstract machine for functional coroutines
Tristan Crolard
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3041 |
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
Ranald Clouston, Aleš Bizjak, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3042 |
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract
Diego Latella
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3043 |
Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
Milan Banković
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3044 |
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
John P. Gallagher, Philipp Rümmer
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3045 |
Removing Unnecessary Variables from Horn Clause Verification Conditions
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 years ago |
| 3046 |
A Search Algorithm for Simplicial Complexes
Subhrajit Bhattacharya
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 years ago |
| 3047 |
A flow based pruning scheme for enumerative equitable coloring algorithms
Arie Koster, Robert Schweidweiler, Martin Tieves
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3048 |
Stable Models for Infinitary Formulas with Extensional Atoms
Amelia Harrison, Vladimir Lifschitz
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3049 |
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
Daniel Gebler, Kirstin Peters
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3050 |
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
Grzegorz Gutowski, Patryk Mikos
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |