Results 91 to 100 of about 283,589 (317)
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [PDF]
Logical Methods in Computer Science, 2007 String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure.
Joost Engelfriet, Hendrik Jan Hoogeboom
doaj +1 more source
Maxmin- $$\omega $$ : A Simple Deterministic Asynchronous Cellular Automaton Scheme [PDF]
, 2016 In this paper, we introduce the maxmin-\(\omega \) system, a simple and intuitive model of asynchronous dynamics on a network. Each node in this system updates its state upon receiving a fixed proportion \(\omega \) of inputs from neighbourhood nodes. We study the behaviour of nodal update times as a function of \(\omega \).
openaire +2 more sources
Recent Advances on Thermochromic Inks for Security Applications
Advanced Materials Technologies, EarlyView.Thermochromic security inks have garnered interest in recent years as security elements for authentication, information encryption, and anti‐counterfeiting. This review outlines different types of thermochromic materials, how they have been developed as functional inks, and how advancements in property enhancement, sustainability, and printing ...
Duarte B. Oliveira +5 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.This review explores recent advances in digital micromirror device (DMD)‐based lithography, focusing on its programmable light modulation, multi‐material compatibility, and dimensional patterning strategies. It highlights innovations from optical system design to materials integration and multifunctional applications, positioning DMD lithography as a ...
Yubin Lee +5 more
wiley +1 more source
On Tree Pattern Matching by Pushdown Automata
Acta Polytechnica, 2009 Tree pattern matching is an important operation in Computer Science on which a number of tasks such as mechanical theorem proving, term-rewriting, symbolic computation and non-procedural programming languages are based on.
T. Flouri
doaj
Laser Micromachining of Liquid Metal Patterns for Stretchable Electronic Circuits
Advanced Materials Technologies, EarlyView.A cleanroom‐free fabrication strategy combines UV‐laser micromachining with a copper foil wetting layer to rapidly produce high resolution, liquid metal based stretchable electronic circuits on diverse substrates. The scalable, maskless process enables complex circuit designs (<$<$3 h, ∼$\sim$15/device) with excellent electrical stability under strain,
Merjen Palvanova +3 more
wiley +1 more source
Fabrication, Properties, and Applications of Scaffolds for Bone Tissue Regeneration
Advanced Materials Technologies, EarlyView.This review explores cutting‐edge biomaterials and fabrication techniques for scaffolds in bone tissue regeneration. It conducts a critical comparison of various strategies, meticulously analyzes the key contradictions in the field, and outlines an integrated development path spanning from biomaterial selection to clinical application, while ...
Shangsi Chen, Min Wang
wiley +1 more source
Hard‐Magnetic Soft Millirobots in Underactuated Systems
Advanced Robotics Research, EarlyView.This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
Robotic Materials With Bioinspired Microstructures for High Sensitivity and Fast Actuation
Advanced Science, EarlyView.In the review paper, design rationale and approaches for bioinspired sensors and actuators in robotics applications are presented. These bioinspired microstructure strategies implemented in both can improve the performance in several ways. Also, recent ideas and innovations that embed robotic materials with logic and computation with it are part of the
Sakshi Sakshi +4 more
wiley +1 more source