| 2201 |
Equivalences between learning of data and probability distributions, and their applications
George Barmpalias, Nan Fang, Frank Stephan
|
🔮
The Ethereal
|
math.LO
|
2 |
8 years ago |
| 2202 |
Structure Entropy and Resistor Graphs
Angsheng Li, Yicheng Pan
|
🔮
The Ethereal
|
cs.DM
|
2 |
8 years ago |
| 2203 |
Characterisation of (Sub)sequential Rational Functions over a General Class Monoids
Stefan Gerdjikov
|
🔮
The Ethereal
|
cs.FL
|
2 |
8 years ago |
| 2204 |
A Complexity Theory for Labeling Schemes
Maurice Chandoo
|
🔮
The Ethereal
|
cs.CC
|
2 |
8 years ago |
| 2205 |
A family of ovoids in PG(3, 2^m) from cyclic codes
Cunsheng Ding
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2206 |
Singly even self-dual codes of length $24k+10$ and minimum weight $4k+2$
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2207 |
On the ratio of prefix codes to all uniquely decodable codes with a given length distribution
Adam Woryna
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2208 |
Planar Steiner Orientation is NP-complete
Moritz Beck, Johannes Blum, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
8 years ago |
| 2209 |
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems
Clément Aubert, Ioana Cristescu
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2210 |
Presentable signatures and initial semantics
Benedikt Ahrens, André Hirschowitz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2211 |
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Régine Laleau, Dominique Méry, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2212 |
Distributed Automata and Logic
Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
2 |
8 years ago |
| 2213 |
Finding models through graph saturation
Sebastiaan J. C. Joosten
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2214 |
Uniform generation of spanning regular subgraphs of a dense graph
Pu Gao, Catherine Greenhill
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2215 |
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Adnan Rashid, Osman Hasan
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2216 |
Relaxing and Restraining Queries for OBDA
Medina Andreşel, Yazmin Ibáñez-García, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2217 |
Min (A)cyclic Feedback Vertex Sets and Min Ones Monotone 3-SAT
Irena Rusu
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2218 |
Complexity of Computing the Anti-Ramsey Numbers for Paths
Saeed Akhoondian Amiri, Alexandru Popa, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2219 |
The Zero-Difference Properties of Functions and Their Applications
Zongxiang Yi, Dingyi Pei, ChunmingTang
|
🔮
The Ethereal
|
math.CO
|
2 |
7 years ago |
| 2220 |
User Support for the Combinator Logic Synthesizer Framework
Jan Bessai, Anna Vasileva
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2221 |
CSS Minification via Constraint Solving (Technical Report)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2222 |
Sequential algorithms and the computational content of classical proofs
Thomas Powell
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2223 |
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology
Bernd Finkbeiner, Samantha Kleinberg
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2224 |
PrideMM: A Solver for Relaxed Memory Models
Simon Cooksey, Sarah Harris, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2225 |
Deterministic 2-Dimensional Temperature-1 Tile Assembly Systems Cannot Compute
Jérôme Durand-Lose, Hendrik Jan Hoogeboom, Nataša Jonoska
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2226 |
Beating Treewidth for Average-Case Subgraph Isomorphism
Gregory Rosenthal
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2227 |
Automating the Diagram Method to Prove Correctness of Program Transformations
David Sabel
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2228 |
Mutual Coinduction
Moez A. AbdelGawad
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2229 |
Turing-Completeness of Dynamics in Abstract Persuasion Argumentation
Ryuta Arisaka
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2230 |
Towards Ranking Geometric Automated Theorem Provers
Nuno Baeta, Pedro Quaresma
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2231 |
From Linear Logic to Cyclic Sharing
Masahito Hasegawa
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2232 |
Approximating Cumulative Pebbling Cost is Unique Games Hard
Jeremiah Blocki, Seunghoon Lee, Samson Zhou
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2233 |
On $q$-nearly bent Boolean functions
Zhixiong Chen, Andrew Klapper
|
🔮
The Ethereal
|
math.CO
|
2 |
7 years ago |
| 2234 |
On optimal weak algebraic manipulation detection codes and weighted external difference families
Minfeng Shao, Ying Miao
|
🔮
The Ethereal
|
math.CO
|
2 |
7 years ago |
| 2235 |
Graph Width Measures for CNF-Encodings with Auxiliary Variables
Stefan Mengel, Romain Wallon
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2236 |
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Yakoub Nemouchi, Simon Foster, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2237 |
Fake news and rumors: a trigger for proliferation or fading away
Ahad N. Zehmakan, Serge Galam
|
🔮
The Ethereal
|
cs.DM
|
2 |
7 years ago |
| 2238 |
Fast Computing the Algebraic Degree of Boolean Functions
Valentin Bakoev
|
🔮
The Ethereal
|
cs.DM
|
2 |
7 years ago |
| 2239 |
Structural Parameterization for Graph Deletion Problems over Data Streams
Arijit Bishnu, Arijit Ghosh, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2240 |
Fixed-parameter tractability of counting small minimum $(S,T)$-cuts
Pierre Bergé, Benjamin Mouscadet, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
7 years ago |
| 2241 |
Majority-logic Decoding with Subspace Designs
Romar dela Cruz, Alfred Wassermann
|
🔮
The Ethereal
|
math.CO
|
2 |
7 years ago |
| 2242 |
Minimum k-critical bipartite graphs
Sylwia Cichacz, Karol Suchan
|
🔮
The Ethereal
|
math.CO
|
2 |
7 years ago |
| 2243 |
Time-Stamped Claim Logic
João Rasga, Cristina Sernadas, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2244 |
The simultaneous conjugacy problem in the symmetric group
Andrej Brodnik, Aleksander Malnič, Rok Požar
|
🔮
The Ethereal
|
cs.DM
|
2 |
7 years ago |
| 2245 |
A Unified Algebraic Framework for Non-Monotonicity
Nourhan Ehab, Haythem O. Ismail
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2246 |
Abstract Solvers for Computing Cautious Consequences of ASP programs
Giovanni Amendola, Carmine Dodaro, Marco Maratea
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2247 |
Better Paracoherent Answer Sets with Less Resources
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2248 |
Classification of linear codes using canonical augmentation
Iliya Bouyukliev, Stefka Bouyuklieva
|
🔮
The Ethereal
|
cs.DM
|
2 |
7 years ago |
| 2249 |
On Uniform Equivalence of Epistemic Logic Programs
Wolfgang Faber, Michael Morak, Stefan Woltran
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 2250 |
New nonexistence results on $(m,n)$-generalized bent functions
Ka Hin Leung, Qi Wang
|
🔮
The Ethereal
|
math.CO
|
2 |
6 years ago |