Results 161 to 170 of about 16,571,812 (297)
Higher Order Logic and Hardware Verification
, 1993 This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and ...
openaire +2 more sources
Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites
Advanced Materials Technologies, EarlyView.Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang +9 more
wiley +1 more source
Nature‐Derived Chitosan Biopolymer: A Promising Candidate for Sustainable Electronics
Advanced Materials Technologies, EarlyView.In the creation of environmentally friendly devices, nature‐derived chitosan biopolymer is a promising contender for sustainable electronic research. It can be utilized to create more ecologically friendly scalable gadgets and has a variety of uses in different active layers of electronics.
Joshua McDonald +3 more
wiley +1 more source
Disturb‐Resilient and Wake‐up‐Free 2T‐MFMFET Array for Storage and Computing Applications
Advanced Materials Technologies, EarlyView.A disturb‐resilient and wake‐up‐free 2T‐MFMFET array fabricated using a FeRAM‐compatible process demonstrates excellent uniformity, a large memory window, and 3‐bit multi‐level‐cell storage capability. A newly proposed hybrid in‐memory computing scheme further enables accurate multiply–accumulate operations with minimal refresh overhead, highlighting ...
Chen‐Yi Cho +6 more
wiley +1 more source
Tabled higher-order logic programming
, 2003 donation from the Siebel Scholars Program. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the USAF, NSF, the U.S ...
Brigitte Pientka
core
Microfabrication of Soft Millirobots Propelled by Low Voltage Electrohydraulic Actuators
Advanced Materials Technologies, EarlyView.Manual layer‐by‐layer assembly is replaced by wafer‐level MEMS batch fabrication for compliant polymer‐based electrohydraulic actuators. The microfabricated devices integrate sacrificially defined microcavities, Parylene‐C‐sealed inlets, and multilayer polymer–metal films.
Shai Shmulevich +2 more
wiley +1 more source
Dynamic Disulfide Ionogels for Self‐Healing, Transparent, and Elastic E‐Skins
Advanced Materials Technologies, EarlyView.A dynamic covalent ionogel is designed via polymer–ionic liquid interaction control. The interplay between ionic liquid compatibility, viscosity, and concentration governs polymer segmental dynamics, which in turn regulates disulfide exchange kinetics and mechanical durability.
Min Su Kim +6 more
wiley +1 more source
A Dynamic Epistemic Logic with Lying and Theory of Mind Limitations. [PDF]
J Logic Lang InfTop JD, Verbrugge R, de Weerd H.
europepmc +1 more source
Advanced Materials Technologies, EarlyView.Dense tactile streams from across the humanoid body converge on collide in a central wiring and data bottleneck. By relocating computation closer to and then into the skin itself, near‐ and in‐sensor architectures, together with neuromorphic computing, chart a path toward perception‐native electronic skin, in which the conversion of stimulus into ...
Mijin Kim +6 more
wiley +1 more source