Yazar
Hofman, Piotrek. editor.
Format:
Electronic Resources
Alıntı:
languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted
View Other Search Results
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting
Yazar
Chaves, Madalena. editor.
Format:
Electronic Resources
Alıntı:
-- Combinatorial dynamics for regulatory networks -- Reactive models for biological regulatory networks -- Temporal
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
submissions. The topics of the conference include deal with dynamical, topological, ergodic and algebraic
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
selected from 52 submissions. The papers address various topics such as database design, dynamics of
Yazar
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
Format:
Electronic Resources
Alıntı:
, symbolic dynamics, numeration systems, text processing, number theory, etc.
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics
Arama Sonuçlarını Sınırlandır
Daraltılmış: