Results 21 to 30 of about 9,778 (268)
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
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
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
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
Single Valued Neutrosophic General Machine [PDF]
Neutrosophic Sets and Systems, 2022 In this paper, first of all, considering the notions of single-valued neutrosophic and general fuzzy automata we present the concept of single-valued neutrosophic general machine, to simplicity, SVNGM.
Marzieh Shamsizadeh
doaj +1 more source
Clocks, Automata and the Mechanization of Nature (1300–1600)
Philosophies, 2022 This paper aims at tracking down, by looking at late medieval and early modern discussions over the ontological status of artifacts, the main steps of the process through which nature became theorized on a mechanistic model in the early 17th century. The
Sylvain Roudaut
doaj +1 more source