Buchumschlag

Compression of executable QR codes or sQRy for Industry: an example for Wi-Fi access points

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Scanzio, Stefano, Formis, Gabriele, Chiavassa, Pietro, Wisniewski, Lukasz, Cena, Gianluca
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Human-Computer Interaction Computers and Society Formal Languages and Automata Theory Information Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Executable QR codes with Machine Learning for Industrial Applications
von: Scanzio, Stefano, et al.
Veröffentlicht: (2024)

Reachability in symmetric VASS
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2025)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
von: Acampora, Renato, et al.
Veröffentlicht: (2024)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Reachability in 3-VASS is Elementary
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Minimization of Streaming Transducers
von: Bianchini, Christian, et al.
Veröffentlicht: (2026)

A short survey around the pumping lemma for context-free languages
von: Gullà, Gabriele
Veröffentlicht: (2024)

Bi-reachability in Petri nets with data
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2024)

Slightly Non-Linear Higher-Order Tree Transducers
von: Nguyên, Lê Thành Dũng, et al.
Veröffentlicht: (2024)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Binary codes that do not preserve primitivity
von: Holub, Štěpán, et al.
Veröffentlicht: (2022)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
von: Benerecetti, Massimo, et al.
Veröffentlicht: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
von: Benerecetti, Massimo, et al.
Veröffentlicht: (2026)

Finite maximal codes and factorizations of cyclic groups
von: De Felice, Clelia
Veröffentlicht: (2022)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
von: Manini, Andrea, et al.
Veröffentlicht: (2025)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
von: Manini, Andrea, et al.
Veröffentlicht: (2026)

CASP: An evaluation dataset for formal verification of C code
von: Hertzberg, Niclas, et al.
Veröffentlicht: (2025)

On Decidability Timed Automata with 2 Parametric Clocks
von: Bersani, Marcello M., et al.
Veröffentlicht: (2025)

Multihead Finite-State Compression
von: Lutz, Neil
Veröffentlicht: (2025)

Reachability in VASS Extended with Integer Counters
von: Bizière, Clotilde, et al.
Veröffentlicht: (2026)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
von: Moreira, Nelma, et al.
Veröffentlicht: (2025)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
von: Pan, Muyu, et al.
Veröffentlicht: (2025)

Benchmarking Testing in Automated Theorem Proving
von: Kim, Jongyoon, et al.
Veröffentlicht: (2026)

On the complexity of computing Strahler numbers
von: Ganardi, Moses, et al.
Veröffentlicht: (2025)

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
von: Podolskii, Vladimir, et al.
Veröffentlicht: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
von: Uezato, Yuya
Veröffentlicht: (2024)

Consistent Autoformalization for Constructing Mathematical Libraries
von: Zhang, Lan, et al.
Veröffentlicht: (2024)

Directed Regular and Context-Free Languages
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

Knee-Deep in C-RASP: A Transformer Depth Hierarchy
von: Yang, Andy, et al.
Veröffentlicht: (2025)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
von: Wei, Zhenghao, et al.
Veröffentlicht: (2024)

Maximal Length Cellular Automata : A Survey
von: Adak, Sumit, et al.
Veröffentlicht: (2024)

Trading Determinism for Noncommutativity in Edmonds' Problem
von: Arvind, V., et al.
Veröffentlicht: (2024)

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
von: Gezer, M. Utkan, et al.
Veröffentlicht: (2020)

Visibly Recursive Automata
von: Dubrulle, Kévin, et al.
Veröffentlicht: (2026)

Between SC and LOGDCFL: Families of Languages Accepted by Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2022)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
von: Haneef, Farah
Veröffentlicht: (2024)

Entropy of pebble automata and space complexity
von: Montoya, J. Andres
Veröffentlicht: (2026)