Results 111 to 120 of about 5,611,476 (304)
ON THE PROBLEM OF LOGIC-AUTOMATIC FORMULAS PERFORMABILITY
Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2020 Background. In the theory of finite automata, there are a number of ways to define finite automata (finitely automatic functions). There are systems of canonical equations among them, Moore diagrams, information trees, schemes of automatic elements ...
S. S. Marchenkov
doaj +1 more source
Compositional Detection of Zeno Behaviour in Timed Automata [PDF]
, 2006 The formal specification and verification of real-time systems are difficult tasks, given the complexity of these systems and the safety-critical role they usually play. Timed Automata, and real-time model-checking, have emerged as powerful tools to deal
Howard Bowman +2 more
core
Genetically Programmed Shape‐Morphing of Engineered Living Materials
Advanced Functional Materials, EarlyView.Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.The effects of solid‐state electrolyte architecture and electrolyte/electrode interfacial polarization resistance on Critical Current Density and the risks for “interfacial” and “internal” Li‐metal dendrite formation were investigated in simulations of FIB‐reconstructed porous‐dense Li7La3Zr2O12 (LLZO) “bilayers”, providing insight for full cells ...
Tanner R. Hamann +2 more
wiley +1 more source
Advanced Functional Materials, EarlyView.We demonstrate that halide composition determines phase morphology, governing distinct operating mechanisms in mixed halide perovskites. Phase segregating 75% Br compositions enhance solar cell performance, whereas intrinsically phase‐separated 95% Br compositions provide stable light emitting diodes.
Tal Binyamin +6 more
wiley +1 more source
Intracrystalline Void‐Mediated Toughening of Brittle Crystals in Quail Eggshells
Advanced Functional Materials, EarlyView.In quail eggshells, the high density and disordered arrangement of intracrystalline voids inhibit lattice cleavage, suppress long‐range crack propagation, and promote deformation twinning and quasi‐plasticity, serving as an essential toughening motif. We show that these voids remain within a narrow subcritical size range and therefore predominantly do ...
Jingxiao Zhong +16 more
wiley +1 more source
Visual Graphical Interpreted Language for Discrete Modeling DLAA
Современные информационные технологии и IT-образованиеThe article is devoted to the development of a visual graphical language (DLAA) of state diagrams of special-purpose finite state machines (FSM) intended for structured description of configuration and behavior of discrete-event systems.
Dmitry Gapanovich, Vladimir Sukhomlin
doaj +1 more source
Quantum logic and automata theory
, 2007 It is noted that a theory of computation based on quantum logic is to be established as a logical foundation of quantum computation. Finite automata and pushdown automata are considered the simplest abstract mathematical models of computing machines ...
Ying, M, Mingsheng Ying
core +1 more source