Imagen de Portada

Bridging Chaos Game Representations and $k$-mer Frequencies of DNA Sequences

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	He, Haoze, Kari, Lila, Arias, Pablo Millan
Formato:	Preprint
Publicado:	2025
Materias:	Formal Languages and Automata Theory D.3.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Quasi-stratified Order Semantics of Concurrency
por: Koutny, Maciej, et al.
Publicado: (2024)

The Attractor-Cycle Notation for Finite Transformations
por: Egri-Nagy, Attila, et al.
Publicado: (2013)

Towards Automatic Error Recovery in Parsing Expression
por: de Medeiros, Sérgio Queiroz, et al.
Publicado: (2025)

LR Parsing of Permutation Phrases
por: Kostičová, Jana
Publicado: (2024)

Non-reducible Modal Transition Systems
por: Basile, Davide
Publicado: (2023)

Learning real-time one-counter automata using polynomially many queries
por: Mathew, Prince, et al.
Publicado: (2024)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
por: Bansal, Suguman, et al.
Publicado: (2025)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
por: López-Rubio, Ezequiel
Publicado: (2026)

Visualising CTL Witnesses and Counterexamples -- Extended Version
por: Rensink, Arend
Publicado: (2026)

Specifying and Verifying the Convergence Stairs of the Collatz Program
por: Ebnenasir, Ali
Publicado: (2024)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
por: Marksteiner, Stefan, et al.
Publicado: (2025)

Model-bounded monitoring of hybrid systems
por: Waga, Masaki, et al.
Publicado: (2021)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
por: Wang, Peixin, et al.
Publicado: (2025)

Learning Deterministic One-Counter Automata in Polynomial Time
por: Mathew, Prince, et al.
Publicado: (2025)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
por: Geatti, Luca, et al.
Publicado: (2024)

Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
por: Silva, Jorge Miguel
Publicado: (2026)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

Probability and Angelic Nondeterminism with Multiset Semantics
por: Ong, Shawn, et al.
Publicado: (2024)

Controller Synthesis for Parametric Timed Games
por: Dahlsen-Jensen, Mikael Bisgaard, et al.
Publicado: (2025)

AGDES: Automatic Generation of Dependent Event Sequences
por: Guzman, Alexander Obeid
Publicado: (2026)

Token Games and History-Deterministic Quantitative-Automata
por: Boker, Udi, et al.
Publicado: (2021)

Infinite-state Games with Energy Objectives Beyond Counters
por: Sağlam, Irmak, et al.
Publicado: (2026)

Difficulty Generating Factors for Context-free Language Construction Assignments
por: Schmalstieg, Florian, et al.
Publicado: (2025)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
por: Acharya, Rohan, et al.
Publicado: (2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
por: Dahlsen-Jensen, Mikael Bisgaard, et al.
Publicado: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
por: Larsen, Kim G., et al.
Publicado: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
por: Bergsträßer, Pascal, et al.
Publicado: (2024)

On the Representation and State Complexity of Block Languages
por: Duarte, Guilherme, et al.
Publicado: (2024)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
por: Kim, Moon, et al.
Publicado: (2025)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
por: Bobrow, Elliot, et al.
Publicado: (2025)

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
por: Glück, Robert, et al.
Publicado: (2024)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
por: Aiswarya, C, et al.
Publicado: (2024)

Contract-based Verification of Digital Twins
por: Naeem, Muhammad, et al.
Publicado: (2025)

NL Is Strictly Contained in P
por: Flum, Santiago, et al.
Publicado: (2023)

Towards Cumulative Abstract Semantics via Handlers
por: Lueker, Cade, et al.
Publicado: (2025)

Fast and General Automatic Differentiation for Finite-State Methods
por: Yang, Lucas Ondel, et al.
Publicado: (2026)

Decision Procedure for A Theory of String Sequences
por: Hu, Denghang, et al.
Publicado: (2025)

Non-interference analysis of bounded labeled Petri nets
por: Ran, Ning, et al.
Publicado: (2025)

Structural Abstraction and Refinement for Probabilistic Programs
por: Li, Guanyan, et al.
Publicado: (2025)

Frequency-Histogram Coarse Graining in Elementary Cellular Automata and 2D CA
por: Jain, Sanyam, et al.
Publicado: (2025)