Results 11 to 20 of about 63,385 (219)
Algorithms, 2021 Proteins are the main active molecules of life. Although natural proteins play many roles, as enzymes or antibodies for example, there is a need to go beyond the repertoire of natural proteins to produce engineered proteins that precisely meet ...
Manon Ruffini +5 more
doaj +1 more source
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
Robust Controller Synthesis in Timed Automata [PDF]
, 2013 We consider the fundamental problem of Büchi acceptance in timed automata in a robust setting. The problem is formalised in terms of controller synthesis: timed automata are equipped with a parametrised game-based semantics that models the possible ...
Reynier, Pierre-Alain +7 more
core +1 more source
History−Register Automata [PDF]
, 2013 Programs with dynamic allocation are able to create and use an unbounded number of fresh resources, such as references, objects, files, etc. We propose History-Register Automata (HRA), a new automata-theoretic formalism for modelling such programs. HRAs
Tzevelekos, Nikos +5 more
core +1 more source
Automata and automata mappings of semigroups
CoRR, 2015 6 ...
Boris I. Plotkin, Tatjana L. Plotkin
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