| 2251 |
The far side of the cube
Dan R. Ghica
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2252 |
On the Elementary Affine Lambda-Calculus with and Without Fixed Points
Lê Thành Dũng Nguyen
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2253 |
Corona product of signed graphs and its application to signed network modelling
Bibhas Adhikari, Amrik Singh, Sandeep Kumar Yadav
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2254 |
Cellular Monads from Positive GSOS Specifications
Tom Hirschowitz
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2255 |
Verifying the DPLL Algorithm in Dafny
Cezar-Constantin Andrici, Ştefan Ciobâcă
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2256 |
The Essence of Petri Net Gluings
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
|
🔮
The Ethereal
|
math.CT
|
2 |
6 years ago |
| 2257 |
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report
Lars Luthmann, Hendrik Göttmann, Malte Lochau
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2258 |
The Minimization of Random Hypergraphs
Thomas Bläsius, Tobias Friedrich, Martin Schirneck
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2259 |
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Diego Agustín Ambrossio, Marcos Cramer
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2260 |
Relational Test Tables: A Practical Specification Language for Evolution and Security
Alexander Weigl, Mattias Ulbrich, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2261 |
The Lattice Structure of Linear Subspace Codes
Pranab Basu, Navin Kashyap
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2262 |
Extended Formulation Lower Bounds for Refuting Random CSPs
Jonah Brown-Cohen, Prasad Raghavendra
|
🔮
The Ethereal
|
cs.CC
|
2 |
6 years ago |
| 2263 |
Classical linear logic, cobordisms and categorial grammars
Sergey Slavnov
|
🔮
The Ethereal
|
math.LO
|
2 |
6 years ago |
| 2264 |
The Lexicographic Method for the Threshold Cover Problem
Mathew C. Francis, Dalu Jacob
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2265 |
Formal Verification of Debates in Argumentation Theory
Ria Jha, Francesco Belardinelli, Francesca Toni
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2266 |
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, ... (+6 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
6 years ago |
| 2267 |
Johnson Graph Codes
Iwan Duursma, Xiao Li
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2268 |
A Polynomial Time Algorithm for the $k$-Disjoint Shortest Paths Problem
William Lochet
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2269 |
Bringing Belief Base Change into Dynamic Epistemic Logic
Marlo Souza, Álvaro Moreira
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2270 |
Boldly Going Where No Prover Has Gone Before
Giles Reger
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2271 |
Moser-Tardos resampling algorithm, entropy compression method and the subset gas
Paula M. S. Fialho, Bernardo N. B. de Lima, Aldo Procacci
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2272 |
Edge-Isoperimetric Inequalities and Ball-Noise Stability: Linear Programming and Probabilistic Approaches
Lei Yu
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2273 |
Quantitative Coding and Complexity Theory of Continuous Data
Donghyun Lim, Martin Ziegler
|
🔮
The Ethereal
|
math.LO
|
2 |
6 years ago |
| 2274 |
Synthesis in Presence of Dynamic Links
Béatrice Bérard, Benedikt Bollig, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
6 years ago |
| 2275 |
Edge corona product as an approach to modeling complex simplical networks
Yucheng Wang, Yuhao Yi, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2276 |
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2277 |
Reappraising the distribution of the number of edge crossings of graphs on a sphere
Lluís Alemany-Puig, Mercè Mora, Ramon Ferrer-i-Cancho
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2278 |
Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions
Sergey Bereg, Brian Malouf, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2279 |
On the decoding of 1-Fibonacci error correcting codes
Emanuele Bellini, Chiara Marcolla, Nadir Murru
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2280 |
Classification of optimal quaternary Hermitian LCD codes of dimension $2$
Keita Ishizuka
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2281 |
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Radu Mateescu, Wendelin Serwe, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2282 |
An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs
K. Yu. Gorbunov, V. A. Lyubetsky
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2283 |
A Linear Time Algorithm for Computing the Eternal Vertex Cover Number of Cactus Graphs
Jasine Babu, Veena Prabhakaran, Arko Sharma
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2284 |
No-Go Theorems for Data Privacy
Thomas Studer
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2285 |
Characterisation of the parameters of maximum weight spectrum codes according to their spread
Alessio Meneghetti, Wrya K. Kadir
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2286 |
S-semantics -- an example
Włodzimierz Drabent
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2287 |
Total Coloring for some classes of Cayley graphs
Prajnanaswaroopa S, Geetha J, Somasundaram K
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2288 |
Grading Adjoint Logic
Harley Eades, Dominic Orchard
|
🔮
The Ethereal
|
cs.LO
|
2 |
6 years ago |
| 2289 |
Bounds of the sum of edge lengths in linear arrangements of trees
Ramon Ferrer-i-Cancho, Carlos Gómez-Rodríguez, Juan Luis Esteban
|
🔮
The Ethereal
|
cs.DM
|
2 |
6 years ago |
| 2290 |
RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical States for RNA Secondary Structures
Amandeep Singh Bhatia, Shenggen Zheng
|
🔮
The Ethereal
|
cs.FL
|
2 |
6 years ago |
| 2291 |
Bounding the trace function of a hypergraph with applications
Farhad Shahrokhi
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |
| 2292 |
Hierarchical Clusterings of Unweighted Graphs
Svein Høgemo, Christophe Paul, Jan Arne Telle
|
🔮
The Ethereal
|
cs.CC
|
2 |
5 years ago |
| 2293 |
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 2294 |
On Testability of First-Order Properties in Bounded-Degree Graphs
Isolde Adler, Noleen Köhler, Pan Peng
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 2295 |
An explicit construction of graphs of bounded degree that are far from being Hamiltonian
Isolde Adler, Noleen Köhler
|
🔮
The Ethereal
|
cs.DM
|
2 |
5 years ago |
| 2296 |
Is the space complexity of planted clique recovery the same as that of detection?
Jay Mardia
|
🔮
The Ethereal
|
cs.CC
|
2 |
5 years ago |
| 2297 |
Ambiguity Hierarchy of Regular Infinite Tree Languages
Alexander Rabinovich, Doron Tiferet
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 2298 |
Information Hiding Using Matroid Theory
Ragnar Freij-Hollanti, Olga Kuznetsova
|
🔮
The Ethereal
|
math.CO
|
2 |
5 years ago |
| 2299 |
A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?
Jonathan Lenchner
|
🔮
The Ethereal
|
math.LO
|
2 |
5 years ago |
| 2300 |
Towards Refinable Choreographies
Ugo de'Liguoro, Hernán Melgratti, Emilio Tuosto
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |