| 3601 |
Locally seeded embeddings, and Ramsey numbers of bipartite graphs with sublinear bandwidth
Dylan J. Altschuler, Han Huang, Konstantin Tikhomirov
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3602 |
Automata Size Reduction by Procedure Finding
Michal Šedý, Lukáš Holík
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3603 |
Parameterized Saga of First-Fit and Last-Fit Coloring
Akanksha Agrawal, Daniel Lokshtanov, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3604 |
On the number of relevant variables for discrete functions
V. N. Potapov
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3605 |
Erdős-Gyárfás conjecture on graphs without long induced paths
Anand Shripad Hegde, R. B. Sandeep, P. Shashank
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3606 |
Converting BPMN Diagrams to Privacy Calculus
Georgios V. Pitsiladis, Petros S. Stefaneas
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3607 |
Tracer: A Tool for Race Detection in Software Defined Network Models
Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3608 |
A Type System for Data Flow and Alias Analysis in ReScript
Nicky Ask Lund, Hans Hüttel
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3609 |
Early Announcement: Parametricity for GADTs
Pierre Cagne, Patricia Johann
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3610 |
Decidability Issues for Petri Nets -- a survey
Javier Esparza, Mogens Nielsen
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3611 |
Reconstructing edge-deleted unicyclic graphs
Anthony E. Pizzimenti, Umarkhon Rakhimov
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3612 |
Noisy Linear Group Testing: Exact Thresholds and Efficient Algorithms
Lukas Hintze, Lena Krieg, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3613 |
Learning Aggregate Queries Defined by First-Order Logic with Counting
Steffen van Bergerem, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3614 |
Automated Strategy Invention for Confluence of Term Rewrite Systems
Liao Zhang, Fabian Mitterwallner, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3615 |
Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3616 |
A Zero-Knowledge PCP Theorem
Tom Gur, Jack O'Connor, Nicholas Spooner
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3617 |
Nearly Tight Bounds on Testing of Metric Properties
Yiqiao Bao, Sampath Kannan, Erik Waingarten
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3618 |
Learning Quantitative Automata Modulo Theories
Eric Hsiung, Swarat Chaudhuri, Joydeep Biswas
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3619 |
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
Bohan Li, Dawei Li, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3620 |
Strong XOR Lemma for Information Complexity
Pachara Sawettamalya, Huacheng Yu
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3621 |
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3622 |
A Hierarchical Scale-free Graph Generator under Limited Resources
Xiaorui Qi, Yanlong Wen, Xiaojie Yuan
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3623 |
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari, Thomas Flinkow, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3624 |
A $k^{\frac{q}{q-2}}$ Lower Bound for Odd Query Locally Decodable Codes from Bipartite Kikuchi Graphs
Oliver Janzer, Peter Manohar
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3625 |
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Jan Gruteser, Jan Roßbach, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3626 |
Reducibility among NP-Hard graph problems and boundary classes
Syed Mujtaba Hassan, Shahid Hussain, Abdul Samad
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3627 |
The Polymatroid Representation of a Greedoid, and Associated Galois Connections
Robert Streit, Vijay K. Garg
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3628 |
Bow Metrics and Hyperbolicity
Feodor F. Dragan, Guillaume Ducoffe, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3629 |
Social Distancing Induced Coronavirus Optimization Algorithm (COVO): Application to Multimodal Function Optimization and Noise Removal
Om Ramakisan Varma, Mala Kalra
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3630 |
Bounds for Quantum Circuits using Logic-Based Analysis
Benedikt Fauseweh, Ben Hermann, Falk Howar
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3631 |
On the matching arrangement of a graph, improper weight function problem and its application
Aleksey Bolotnikov, Anwar Irmatov
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3632 |
Summa Summarum: Moessner's Theorem without Dynamic Programming
Olivier Danvy
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3633 |
VEL: A Formally Verified Reasoner for OWL2 EL Profile
Atalay Mert Ileri, Nalen Rangarajan, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3634 |
Congruence-based Learning of Probabilistic Deterministic Finite Automata
Matías Carrasco, Franz Mayr, Sergio Yovine
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3635 |
Linear Equations with Min and Max Operators: Computational Complexity
Krishnendu Chatterjee, Ruichen Luo, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3636 |
Localized RETE for Incremental Graph Queries with Nested Graph Conditions
Matthias Barkowsky, Holger Giese
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3637 |
A Computationally Grounded Framework for Cognitive Attitudes (extended version)
Tiago de Lima, Emiliano Lorini, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3638 |
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Tom T. P. Franken, Thomas Neele
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3639 |
Distance Vector Domination
Gennaro Cordasco, Luisa Garagano, Adele A. Rescigno
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3640 |
Parameterized Complexity of (d,r)-Domination via Modular Decomposition
Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3641 |
Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
Jahid Chowdhury Choton, Lipsy Gupta, Pavithra Prabhakar
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3642 |
Two Cases of Deduction with Non-referring Descriptions
Jiří Raclavský
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3643 |
An Algorithmic Approach to Finding Degree-Doubling Nodes in Oriented Graphs
Charles Glover
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3644 |
Young domination on Hamming rectangles
Janko Gravner, Matjaž Krnc, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3645 |
Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
Igor Konnov, Jure Kukovec, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3646 |
Provenance Guided Rollback Suggestions
David Zhao, Pavle Subotic, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3647 |
Homotopical Entropy
Andrés Ortiz-Muñoz
|
🔮
The Ethereal
|
math.CT
|
0 |
1 year ago |
| 3648 |
Logical Relations for Formally Verified Authenticated Data Structures
Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3649 |
Packing Dijoins in Weighted Chordal Digraphs
Gérard Cornuéjols, Siyue Liu, R. Ravi
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3650 |
Generalized graph codes and thier minimum distances
Naoki Fujii
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |