| 2701 |
Constructing Segmented Differentiable Quadratics to Determine Algorithmic Run Times and Model Non-Polynomial Functions
Ananth Goyal
|
🔮
The Ethereal
|
cs.CC
|
1 |
5 years ago |
| 2702 |
Concerning Iterative Graph Normalization and Maximum Weight Independent Sets
Laurent Guigues
|
🔮
The Ethereal
|
cs.DM
|
1 |
5 years ago |
| 2703 |
A Standard Grammar for Temporal Logics on Finite Traces
Marco Favorito
|
🔮
The Ethereal
|
cs.LO
|
1 |
5 years ago |
| 2704 |
Isomorphism testing of $k$-spanning tournaments is Fixed Parameter Tractable
Vikraman Arvind, Ilia Ponomarenko, Grigory Ryabov
|
🔮
The Ethereal
|
math.CO
|
1 |
4 years ago |
| 2705 |
Sorting Balls and Water: Equivalence and Computational Complexity
Takehiro Ito, Jun Kawahara, ... (+8 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
4 years ago |
| 2706 |
Enumeration of chordal planar graphs and maps
Jordi Castellví, Marc Noy, Clément Requilé
|
🔮
The Ethereal
|
math.CO
|
1 |
4 years ago |
| 2707 |
Edge Intersection Graphs of Paths on a Triangular Grid
Vitor T. F. de Luca, María Pía Mazzoleni, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
4 years ago |
| 2708 |
A BAT-based Exact-Solution Algorithm for the Series-Parallel Redundancy Allocation Problem with Mixed Components
Wei-Chang Yeh
|
🔮
The Ethereal
|
cs.DM
|
1 |
4 years ago |
| 2709 |
Determinants from homomorphisms
Radu Curticapean
|
🔮
The Ethereal
|
math.CO
|
1 |
4 years ago |
| 2710 |
Enumerating Connected Dominating Sets
Faisal Abu-Khzam, Henning Fernau, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
4 years ago |
| 2711 |
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
Yanni Kouskoulas, T. J. Machado, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
4 years ago |
| 2712 |
An approach to translating Haskell programs to Agda and reasoning about them
Harold Carr, Christa Jenkins, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
4 years ago |
| 2713 |
A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
Alessandro Coglio
|
🔮
The Ethereal
|
cs.LO
|
1 |
4 years ago |
| 2714 |
A closer look at TDFA
Angelo Borsotti, Ulya Trafimovich
|
🔮
The Ethereal
|
cs.FL
|
1 |
4 years ago |
| 2715 |
A transient equivalence between Aldous-Broder and Wilson's algorithms and a two-stage framework for generating uniform spanning trees
Igor Nunes, Giulio Iacobelli, Daniel Ratton Figueiredo
|
🔮
The Ethereal
|
math.CO
|
1 |
4 years ago |
| 2716 |
Hardness of Interval Scheduling on Unrelated Machines
Danny Hermelin, Yuval Itzhaki, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
4 years ago |
| 2717 |
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
Junaid Rasheed, Michal Konečný
|
🔮
The Ethereal
|
cs.LO
|
1 |
4 years ago |
| 2718 |
Knowledge Authoring with Factual English
Yuheng Wang, Giorgian Borca-Tasciuc, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2719 |
A note on independent sets in sparse-dense graphs
Uéverton S. Souza
|
🔮
The Ethereal
|
cs.DM
|
1 |
3 years ago |
| 2720 |
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Dalton Chichester, Wei Du, ... (+9 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2721 |
Low-Latency Sliding Window Algorithms for Formal Languages
Moses Ganardi, Louis Jachiet, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
3 years ago |
| 2722 |
Edge-Cuts and Rooted Spanning Trees
Mohit Daga
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2723 |
Complexity of Simon's problem in classical sense
Hans Zantema
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2724 |
Rounding via Low Dimensional Embeddings
Mark Braverman, Dor Minzer
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2725 |
Edge Multiway Cut and Node Multiway Cut are NP-complete on subcubic graphs
Matthew Johnson, Barnaby Martin, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2726 |
Hardness Results for Minimizing the Covariance of Randomly Signed Sum of Vectors
Peng Zhang
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2727 |
Flexible Correct-by-Construction Programming
Tobias Runge, Tabea Bordis, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2728 |
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Jean-Raphaël Gaglione, Rajarshi Roy, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2729 |
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)
Mark Utting, Brae J. Webb, Ian J. Hayes
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2730 |
System $F^μ_ω$ with Context-free Session Types
Diana Costa, Andreia Mordido, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2731 |
A Strongly Polynomial-Time Algorithm for Weighted General Factors with Three Feasible Degrees
Shuai Shao, Stanislav Živný
|
🔮
The Ethereal
|
cs.DM
|
1 |
3 years ago |
| 2732 |
1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise
Lorenzo Ciardo, Marcin Kozik, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |
| 2733 |
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, ... (+4 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
3 years ago |
| 2734 |
Dynamic Flows with Time-Dependent Capacities
Thomas Bläsius, Adrian Feilhauer, Jannik Westenfelder
|
🔮
The Ethereal
|
cs.DM
|
1 |
3 years ago |
| 2735 |
On Existence of Must-Include Paths and Cycles in Undirected Graphs
Yefim Dinitz, Solomon Eyal Shimony
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2736 |
Denotational Semantics and a Fast Interpreter for jq
Michael Färber
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2737 |
Snakes and Ladders: a Treewidth Story
Steven Chaplick, Steven Kelk, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2738 |
Categorical magnitude and entropy
Stephanie Chen, Juan Pablo Vigneaux
|
🔮
The Ethereal
|
math.CT
|
1 |
3 years ago |
| 2739 |
Dynamic discretization discovery under hard node storage constraints
Madison Van Dyk, Jochen Koenemann
|
🔮
The Ethereal
|
cs.DM
|
1 |
3 years ago |
| 2740 |
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Kangfeng Ye, Jim Woodcock, Simon Foster
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2741 |
A Cheeger Inequality for Size-Specific Conductance
Yufan Huang, David F. Gleich
|
🔮
The Ethereal
|
cs.DM
|
1 |
3 years ago |
| 2742 |
Degree Sequence Optimization in Bounded Treewidth
Shmuel Onn
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2743 |
On complete $m$-arcs
Luca Bastioni, Giacomo Micheli
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2744 |
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Thomas Feller, Tim S. Lyon, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2745 |
Pseudorandom Finite Models
Jan Dreier, Jamie Tucker-Foltz
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2746 |
Parameterized Verification of Coverability in Infinite State Broadcast Networks
A. R. Balasubramanian
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2747 |
RDF Surfaces: Computer Says No
Patrick Hochstenbach, Jos De Roo, Ruben Verborgh
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2748 |
Automatic and Incremental Repair for Speculative Information Leaks
Joachim Bard, Swen Jacobs, Yakir Vizel
|
🔮
The Ethereal
|
cs.LO
|
1 |
3 years ago |
| 2749 |
New bounds for covering codes of radius 3 and codimension 3t+1
Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco
|
🔮
The Ethereal
|
math.CO
|
1 |
3 years ago |
| 2750 |
Marriage and Roommate
Kazuo Iwama, Shuichi Miyazaki
|
🔮
The Ethereal
|
cs.CC
|
1 |
3 years ago |