Results 11 to 20 of about 9,410 (233)
, 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 +2 more sources
Overview of Opacity in Discrete Event Systems
IEEE Access, 2020 In recent years, opacity has received increasing attention in terms of analyzing security and privacy problems. Opacity is a confidentiality property that characterizes a system's ability to hide its secret information from any external intruders.
Ye Guo +4 more
doaj +1 more source
Моделирование и анализ информационных систем, 2015 Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets. They were developed in [21, 15], as a tool of recognition of languages generated by Categorial Dependency Grammars (CDGs).
Michael Dekhtyar, Boris Karlov
doaj +1 more source
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, 1999 A main task in document transformation and information retrieval is locating subtrees satisfying some pattern. Therefore, unary queries, i.e., queries that map a tree to a set of its nodes, play an important role in the context of structured document databases.
NEVEN, Frank, Schwentick, Thomas
openaire +2 more sources
A Universal Framework for Analysis of Self-Replication Phenomena
Entropy, 2009 In this paper, we propose definitions for a general, domain-independent concept of replicability and specifically focus on the notion of self-replication.
Hod Lipson, Bryant Adams
doaj +1 more source
Local Normal Forms for First-Order Logic with Applications to Games and Automata [PDF]
Discrete Mathematics & Theoretical Computer Science, 1999 Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of
Thomas Schwentick, Klaus Barthelmann
doaj +1 more source
Efficient Algorithms for Computing the Inner Edit Distance of a Regular Language via Transducers
Algorithms, 2018 The concept of edit distance and its variants has applications in many areas such as computational linguistics, bioinformatics, and synchronization error detection in data communications.
Lila Kari +3 more
doaj +1 more source
Children's engagement and learning in "moving toys" workshops in the 1st cycle of schooling
INFAD, 2020 The motivation and interest of children and young people in science areas remains a challenge for contemporary education, and there is also evidence of the importance of its promotion since the early years of schooling as well as the use of ...
A. Santos +15 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.
Adamatzky, Andrew +5 more
openaire +3 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