| 201 |
Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
Mario Lezoche, Hervé Panetto
|
🔮
The Ethereal
|
cs.LO
|
40 |
7 years ago |
| 202 |
Optimal Joint Subcarrier and Power Allocation in NOMA is Strongly NP-Hard
Lou Salaun, Chung Shue Chen, Marceau Coupechoux
|
🔮
The Ethereal
|
cs.CC
|
40 |
6 years ago |
| 203 |
Scattered subspaces and related codes
Giovanni Zini, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
40 |
5 years ago |
| 204 |
On construction and (non)existence of $c$-(almost) perfect nonlinear functions
Daniele Bartoli, Marco Calderini
|
🔮
The Ethereal
|
math.CO
|
40 |
5 years ago |
| 205 |
Combinatorial Characterizations of Algebraic Manipulation Detection Codes Involving Generalized Difference Families
Maura B. Paterson, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
39 |
10 years ago |
| 206 |
Discrete Gaussian Sampling Reduces to CVP and SVP
Noah Stephens-Davidowitz
|
🔮
The Ethereal
|
cs.CC
|
39 |
10 years ago |
| 207 |
On space efficiency of algorithms working on structural decompositions of graphs
Michał Pilipczuk, Marcin Wrochna
|
🔮
The Ethereal
|
cs.CC
|
39 |
10 years ago |
| 208 |
Asking the metaquestions in constraint tractability
Hubie Chen, Benoit Larose
|
🔮
The Ethereal
|
cs.CC
|
39 |
10 years ago |
| 209 |
Proving Liveness of Parameterized Programs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
|
🔮
The Ethereal
|
cs.LO
|
39 |
9 years ago |
| 210 |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
|
🔮
The Ethereal
|
cs.LO
|
39 |
9 years ago |
| 211 |
Temporal Cliques Admit Sparse Spanners
Arnaud Casteigts, Joseph G. Peters, Jason Schoeters
|
🔮
The Ethereal
|
cs.DM
|
39 |
7 years ago |
| 212 |
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Fabrizio Banci Buonamici, Gina Belmonte, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
39 |
7 years ago |
| 213 |
Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification
Marcel Hark, Benjamin Lucien Kaminski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
39 |
7 years ago |
| 214 |
Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
|
🔮
The Ethereal
|
cs.FL
|
39 |
5 years ago |
| 215 |
Sparse universal graphs for planarity
Louis Esperet, Gwenaël Joret, Pat Morin
|
🔮
The Ethereal
|
math.CO
|
39 |
5 years ago |
| 216 |
Three Combinatorial Perspectives on Minimal Codes
Gianira N. Alfarano, Martino Borello, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
39 |
5 years ago |
| 217 |
Algorithms for the minimum sum coloring problem: a review
Yan Jin, Jean-Philippe Hamiez, Jin-Kao Hao
|
🔮
The Ethereal
|
cs.DM
|
38 |
10 years ago |
| 218 |
Differential Hybrid Games
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
38 |
10 years ago |
| 219 |
On the classification of linear complementary dual codes
Makoto Araya, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
38 |
8 years ago |
| 220 |
Lifting Sum-of-Squares Lower Bounds: Degree-$2$ to Degree-$4$
Sidhanth Mohanty, Prasad Raghavendra, Jeff Xu
|
🔮
The Ethereal
|
cs.CC
|
38 |
6 years ago |
| 221 |
Computational Feasibility of Clustering under Clusterability Assumptions
Shai Ben-David
|
🔮
The Ethereal
|
cs.CC
|
37 |
11 years ago |
| 222 |
Relational reasoning via probabilistic coupling
Gilles Barthe, Thomas Espitau, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
37 |
10 years ago |
| 223 |
Deterministic Regular Expressions With Back-References
Dominik D. Freydenberger, Markus L. Schmid
|
🔮
The Ethereal
|
cs.FL
|
37 |
8 years ago |
| 224 |
Finer Tight Bounds for Coloring on Clique-Width
Michael Lampis
|
🔮
The Ethereal
|
cs.CC
|
37 |
8 years ago |
| 225 |
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
37 |
7 years ago |
| 226 |
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
37 |
6 years ago |
| 227 |
Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
|
🔮
The Ethereal
|
math.CO
|
37 |
3 years ago |
| 228 |
A structural approach to kernels for ILPs: Treewidth and Total Unimodularity
Bart M. P. Jansen, Stefan Kratsch
|
🔮
The Ethereal
|
cs.CC
|
36 |
10 years ago |
| 229 |
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
Daniel Neider, Ufuk Topcu
|
🔮
The Ethereal
|
cs.FL
|
36 |
10 years ago |
| 230 |
Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
|
🔮
The Ethereal
|
cs.FL
|
36 |
9 years ago |
| 231 |
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
Stefan Mitsch, André Platzer
|
🔮
The Ethereal
|
cs.LO
|
36 |
9 years ago |
| 232 |
Assigning times to minimise reachability in temporal graphs
Jessica Enright, Kitty Meeks, Fiona Skerman
|
🔮
The Ethereal
|
cs.CC
|
36 |
8 years ago |
| 233 |
Nearly orthogonal vectors and small antipodal spherical codes
Boris Bukh, Christopher Cox
|
🔮
The Ethereal
|
math.CO
|
36 |
8 years ago |
| 234 |
Fine-grained Complexity Meets IP = PSPACE
Lijie Chen, Shafi Goldwasser, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
36 |
7 years ago |
| 235 |
Location of zeros for the partition function of the Ising model on bounded degree graphs
Han Peters, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
36 |
7 years ago |
| 236 |
On an open problem about a class of optimal ternary cyclic codes
Dongchun Han, Haode Yan
|
🔮
The Ethereal
|
math.CO
|
36 |
7 years ago |
| 237 |
MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in\mathbb{F}_{q^6}[x]$
Giuseppe Marino, Maria Montanucci, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
36 |
6 years ago |
| 238 |
The Imandra Automated Reasoning System (system description)
Grant Olney Passmore, Simon Cruanes, ... (+7 more)
|
🔮
The Ethereal
|
cs.LO
|
36 |
6 years ago |
| 239 |
Planar Graphs that Need Four Pages
Mihalis Yannakakis
|
🔮
The Ethereal
|
math.CO
|
36 |
5 years ago |
| 240 |
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Marthe Bonamy, Édouard Bonnet, ... (+6 more)
|
🔮
The Ethereal
|
math.CO
|
36 |
3 years ago |
| 241 |
Near-optimal bounds on bounded-round quantum communication complexity of disjointness
Mark Braverman, Ankit Garg, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
35 |
10 years ago |
| 242 |
Approximation Algorithm for Minimum Weight $(k,m)$-CDS Problem in Unit Disk Graph
Yishuo Shi, Zhao Zhang, Ding-Zhu Du
|
🔮
The Ethereal
|
cs.DM
|
35 |
10 years ago |
| 243 |
Algebraic Databases
Patrick Schultz, David I. Spivak, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
35 |
10 years ago |
| 244 |
Non-Malleable Codes for Small-Depth Circuits
Marshall Ball, Dana Dachman-Soled, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
35 |
8 years ago |
| 245 |
An Assertion-Based Program Logic for Probabilistic Programs
Gilles Barthe, Thomas Espitau, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
35 |
8 years ago |
| 246 |
PPP-Completeness with Connections to Cryptography
Katerina Sotiraki, Manolis Zampetakis, Giorgos Zirdelis
|
🔮
The Ethereal
|
cs.CC
|
35 |
7 years ago |
| 247 |
Clique-Width for Hereditary Graph Classes
Konrad K. Dabrowski, Matthew Johnson, Daniël Paulusma
|
🔮
The Ethereal
|
math.CO
|
35 |
7 years ago |
| 248 |
The Bang Calculus Revisited
Antonio Bucciarelli, Delia Kesner, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
35 |
6 years ago |
| 249 |
Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphs
Afonso S. Bandeira, Jess Banks, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
35 |
5 years ago |
| 250 |
Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete
Daniel Bertschinger, Christoph Hertrich, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
35 |
4 years ago |