Results 21 to 30 of about 194,426 (295)
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
Beyond Language Equivalence on Visibly Pushdown Automata [PDF]
, 2009 We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-counter automata. We describe generic methods for proving complexity upper
Balcazar +18 more
core +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
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
Algorithms, 2016 LR parsing is a popular parsing strategy for variants of Context-Free Grammar (CFG). It has also been used for mildly context-sensitive formalisms, such as Tree-Adjoining Grammar.
Laura Kallmeyer, Wolfgang Maier
doaj +1 more source
Probabilistic Timed Automata with Clock-Dependent Probabilities [PDF]
, 2017 Probabilistic timed automata are classical timed automata extended with discrete probability distributions over edges. We introduce clock-dependent probabilistic timed automata, a variant of probabilistic timed automata in which transition probabilities ...
A Abate +13 more
core +2 more sources
Information and Control, 1969 Certain mathematical studies of pattern recognition, evolution theories, and self-reproducing automata motivated the definition of the tessellation automaton which is a mathematical model of an infinite array of uniformly interconnected identical finite-state machines.
Yamada, H., Amoroso, S.
openaire +1 more source
International Journal of Foundations of Computer Science, 2011 The Parikh finite word automaton model (PA) was introduced and studied by Klaedtke and Rueß. Here, we present some expressiveness properties of a restriction of the deterministic affine PA recently introduced, and use them as a tool to show that the bounded languages recognized by PA are the same as those recognized by deterministic PA. Moreover, this
Michaël Cadilhac +2 more
openaire +3 more sources