Results 141 to 150 of about 14,469 (313)
A Description of Experimental Tax Evasion Behavior Using Finite Automata: the case of Chile and Italy [PDF]
In this paper we use a Moore Automata with Binary Stochastic Output Function for exploring the extensive decision on tax evasion made by subjects in experiments run in Chile and Italy.
Luigi Mittone, Nicolás Garrido
core
Advanced Science, EarlyView.A metasurface‐enabled ultrasonic platform achieves precise multi‐focal control through biological barriers, real‐time physiology‐driven modulation, and simultaneous wireless power and data transmission. By unifying wavefront engineering, closed‐loop feedback, and acoustic communication, this work establishes key enabling technologies toward scalable ...
Chuanxin Zhang +3 more
wiley +1 more source
In Defense of DEFECT or Cooperation does not Justify the Solution Concept [PDF]
The one-state machine that always defects is the only evolutionarily stable strategy in the machine game that is derived from the prisoners' dilemma, when preferences are lexicographic in the complexity.
Oscar Volij
core
Advanced Science, EarlyView.This work develops a breathable potentiometric self‐powered pressure sensor with good wearability, using a non‐woven fabric substrate and hydrogel electrolyte. The sensor is integrated into a five‐channel smart glove to acquire reliable hand motion signals, which are processed by a CNN for identity verification and smart vehicle control in human ...
Qilong Zhang +10 more
wiley +1 more source
An Embodied Paper‐Based Microfluidic Al‐Air Battery for Enduring Untethered Insect‐Scale Robots
Advanced Science, EarlyView.This work presents a centimeter‐scale microfluidic aluminum–air battery (MFAAB) with dual‐surface anode and F−‐mediated byproduct decomposition. The design enables a high capacity of 2697.05 mAh/g Al and delivers tens of milliwatts to power LEDs, motors, and a toy car.
Yun Yang +5 more
wiley +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
Nonuniform Deterministic Finite Automata over Finite Algebraic Structures [PDF]
Nonuniform deterministic finite automata (NUDFA) over monoids were invented by Barrington in [Barrington, 1985] to study boundaries of nonuniform constant-memory computation.
Idziak, Pawel M. +5 more
core +1 more source
Compact Tabletop Magnetic Resonance Elastography for Mapping Soft Tissue Viscoelasticity
Advanced Science, EarlyView.This work introduces a compact, low‐cost tabletop magnetic resonance elastography platform for high‐resolution viscoelastic mapping in soft‐tissue specimens. Using this method in human colorectal liver metastases, we demonstrate fully automated biomechanical profiling of treatment response and show that heterogeneity‐based metrics outperform ...
Weijie Zhao +19 more
wiley +1 more source
An alternating hierarchy for finite automata
Theoretical Computer Science, 2012 Many variants of finite automata have been proposed in the literature (one-way/two-way, deterministic/nondeterministic/alternating). While all these variants characterize the class of regular languages, they reveal important differences from the point of view of the succinctness of the descriptions.
openaire +1 more source
Adventures in applying iteration lemmas
, 2013 The word problem of a finitely generated group is commonly defined to be a formal language over a finite generating set. The class of finite groups has been characterised as the class of finitely generated groups that have word problem decidable by a
Pfeiffer, Markus Johannes
core