Bridging Chaos Game Representations and $k$-mer Frequencies of DNA Sequences
Fuente:
arXiv
Salvato in:
| Autori principali: | He, Haoze, Kari, Lila, Arias, Pablo Millan |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| 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)
di: Koutny, Maciej, et al.
Pubblicazione: (2024)
The Attractor-Cycle Notation for Finite Transformations
di: Egri-Nagy, Attila, et al.
Pubblicazione: (2013)
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)
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2025)
LR Parsing of Permutation Phrases
di: Kostičová, Jana
Pubblicazione: (2024)
di: Kostičová, Jana
Pubblicazione: (2024)
Non-reducible Modal Transition Systems
di: Basile, Davide
Pubblicazione: (2023)
di: Basile, Davide
Pubblicazione: (2023)
Learning real-time one-counter automata using polynomially many queries
di: Mathew, Prince, et al.
Pubblicazione: (2024)
di: Mathew, Prince, et al.
Pubblicazione: (2024)
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
di: Bansal, Suguman, et al.
Pubblicazione: (2025)
di: Bansal, Suguman, et al.
Pubblicazione: (2025)
Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
di: López-Rubio, Ezequiel
Pubblicazione: (2026)
di: López-Rubio, Ezequiel
Pubblicazione: (2026)
Visualising CTL Witnesses and Counterexamples -- Extended Version
di: Rensink, Arend
Pubblicazione: (2026)
di: Rensink, Arend
Pubblicazione: (2026)
Specifying and Verifying the Convergence Stairs of the Collatz Program
di: Ebnenasir, Ali
Pubblicazione: (2024)
di: Ebnenasir, Ali
Pubblicazione: (2024)
Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
di: Marksteiner, Stefan, et al.
Pubblicazione: (2025)
di: Marksteiner, Stefan, et al.
Pubblicazione: (2025)
Model-bounded monitoring of hybrid systems
di: Waga, Masaki, et al.
Pubblicazione: (2021)
di: Waga, Masaki, et al.
Pubblicazione: (2021)
Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)
di: Wang, Peixin, et al.
Pubblicazione: (2025)
Learning Deterministic One-Counter Automata in Polynomial Time
di: Mathew, Prince, et al.
Pubblicazione: (2025)
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)
di: Geatti, Luca, et al.
Pubblicazione: (2024)
Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
di: Silva, Jorge Miguel
Pubblicazione: (2026)
di: Silva, Jorge Miguel
Pubblicazione: (2026)
Flavors of Quantifiers in Hyperlogics
di: Chalupa, Marek, et al.
Pubblicazione: (2025)
di: Chalupa, Marek, et al.
Pubblicazione: (2025)
Probability and Angelic Nondeterminism with Multiset Semantics
di: Ong, Shawn, et al.
Pubblicazione: (2024)
di: Ong, Shawn, et al.
Pubblicazione: (2024)
Controller Synthesis for Parametric Timed Games
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2025)
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2025)
AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)
di: Guzman, Alexander Obeid
Pubblicazione: (2026)
Token Games and History-Deterministic Quantitative-Automata
di: Boker, Udi, et al.
Pubblicazione: (2021)
di: Boker, Udi, et al.
Pubblicazione: (2021)
Infinite-state Games with Energy Objectives Beyond Counters
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)
Difficulty Generating Factors for Context-free Language Construction Assignments
di: Schmalstieg, Florian, et al.
Pubblicazione: (2025)
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)
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)
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)
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)
di: Bergsträßer, Pascal, et al.
Pubblicazione: (2024)
On the Representation and State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)
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)
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)
di: Bobrow, Elliot, et al.
Pubblicazione: (2025)
Inversion by Partial Evaluation: A Reversible Interpreter Experiment
di: Glück, Robert, et al.
Pubblicazione: (2024)
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)
di: Aiswarya, C, et al.
Pubblicazione: (2024)
Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)
NL Is Strictly Contained in P
di: Flum, Santiago, et al.
Pubblicazione: (2023)
di: Flum, Santiago, et al.
Pubblicazione: (2023)
Towards Cumulative Abstract Semantics via Handlers
di: Lueker, Cade, et al.
Pubblicazione: (2025)
di: Lueker, Cade, et al.
Pubblicazione: (2025)
Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)
Decision Procedure for A Theory of String Sequences
di: Hu, Denghang, et al.
Pubblicazione: (2025)
di: Hu, Denghang, et al.
Pubblicazione: (2025)
Non-interference analysis of bounded labeled Petri nets
di: Ran, Ning, et al.
Pubblicazione: (2025)
di: Ran, Ning, et al.
Pubblicazione: (2025)
Structural Abstraction and Refinement for Probabilistic Programs
di: Li, Guanyan, et al.
Pubblicazione: (2025)
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)
di: Jain, Sanyam, et al.
Pubblicazione: (2025)
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)