Results 21 to 30 of about 63,385 (219)
Robust Weighted Timed Automata and Games [PDF]
, 2013 Weighted timed automata extend timed automata with cost variables that can be used to model the evolution of various quantities. Although cost-optimal reachability is decidable (in polynomial space) on this model, it becomes undecidable on weighted ...
Markey, Nicolas +5 more
core +1 more source
Recognizability for Automata [PDF]
, 2018 We present a new approach to define boolean algebras of various language families: given a family \(\mathcal {F}\) of infinite automata, an automaton H recognizes the set of languages accepted by all automata of \(\mathcal {F}\) that can be mapped by morphism into H.
Caucal, Didier, Rispal, Chloé
openaire +2 more sources
Tree Automata and Automata on Linear Orderings [PDF]
RAIRO - Theoretical Informatics and Applications, 2009 Summary: We show that the inclusion problem is decidable for rational languages of words indexed by scattered countable linear orderings. The method leans on a reduction to the decidability of the monadic second-order theory of the infinite binary tree.
Bruyère, Véronique +2 more
openaire +2 more sources
Guided play: from instructions to creativity when constructing automata
INFAD, 2020 Play is a very important activity for children development and there are evidences that it can be an added value when used for educational purposes. Research about how to integrate play in education points to the importance of teacher role, namely how ...
G. Bidarra +13 more
doaj +1 more source
, 2020 Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems.
Barbanera, Franco +2 more
openaire +3 more sources
Algorithms, 2018 Long-term heart rate variability (HRV) analysis is useful as a noninvasive technique for autonomic nervous system activity assessment. It provides a method for assessing many physiological and pathological factors that modulate the normal heartbeat.
David Pang, Tomohiko Igasaki
doaj +1 more source
Complex Systems, 2020 We study a cellular automaton (CA) model of information dynamics on a single hypha of a fungal mycelium. Such a filament is divided in compartments (here also called cells) by septa. These septa are invaginations of the cell wall and their pores allow for the flow of cytoplasm between compartments and hyphae.
Andrew Adamatzky +5 more
openaire +3 more sources
CANA: A Python Package for Quantifying Control and Canalization in Boolean Networks
Frontiers in Physiology, 2018 Logical models offer a simple but powerful means to understand the complex dynamics of biochemical regulation, without the need to estimate kinetic parameters.
Rion B. Correia +6 more
doaj +1 more source
Reliability and Safety of Autonomous Systems Based on Semantic Modelling for Self-Certification
Robotics, 2021 A novel modelling paradigm for online diagnostics and prognostics for autonomous systems is presented. A model for the autonomous system being diagnosed is designed using a logic-based formalism. The model supports the run-time ability to verify that the
Osama Zaki +3 more
doaj +1 more source
Tabularia, 2021 The three large images that adorn folios 4v, 19v and 25v of the 12th-century cartulary have already been extensively studied and commented upon and continue to raise numerous problems of interpretation.
Jacques Le Maho
doaj +1 more source