Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Haoze, Kari, Lila, Arias, Pablo Millan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory D.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

LR Parsing of Permutation Phrases
di: Kostičová, Jana
Pubblicazione: (2024)

Non-reducible Modal Transition Systems
di: Basile, Davide
Pubblicazione: (2023)

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

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

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

Visualising CTL Witnesses and Counterexamples -- Extended Version
di: Rensink, Arend
Pubblicazione: (2026)

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

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

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

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

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

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

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

Flavors of Quantifiers in Hyperlogics
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

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

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

AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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