Results 41 to 50 of about 37,049 (259)

Temperature‐Resilient Reconfigurable Physical Unclonable Function Driven by Pulse Modulation Using CMOS‐Integrated Spintronic Chips

Advanced Science, EarlyView.
A reconfigurable physical unclonable function is developed using CMOS‐integrated SOT‐MRAM chips, leveraging a dual‐pulse strategy and offering enhanced environmental robustness. A temperature‐compensation effect arising from the CMOS transistor and SOT‐MTJ is revealed and established as a key prerequisite for thermal resilience.
Min Wang, Chuanpeng Jiang, Zhaohao Wang, Zhengyi Hou, Zhongkui Zhang, Yuanfu Zhao, Hong‐xi Liu, Weisheng Zhao   +7 more
wiley   +1 more source

Field‐Driven Activation of Solid‐State Devices in Open Circuits for Energy Harvesting and Wireless Sensing

Advanced Science, EarlyView.
Time‐varying electric fields can activate solid‐state devices such as LEDs and capacitors for energy harvesting and powering in open circuits. The response of solid‐state devices to time‐varying electric fields caused by vibrations can be utilised for smart sensing of human motions and object vibrations.
Renyun Zhang, Magnus Hummelgård, Henrik Andersson, Nicklas Blomquist, Jonas Örtegren, Hans‐Erik Nilsson, Zhong Lin Wang   +6 more
wiley   +1 more source

Process Rewrite Systems

, 1997
Many formal models for infinite-state concurrent systems are equivalent to special classes of rewrite systems. We classify these models by their expressiveness and define a hierarchy of classes of rewrite systems.
Richard Mayr, Mayr, Richard
core   +2 more sources

Advanced Multiscale Modeling for Revealing Anomalous Fluid Transport Induced by Confinement Interfacial Layer Reconstruction in Sub‐10 nm Space

Advanced Science, EarlyView.
Integrating experimental insights with molecular dynamics simulations, we establish an advanced mathematical model for fluids confined in sub‐10‐nm channels, enabling quantitative prediction of interfacial layer thickness and viscosity by accounting for channel material, temperature, and fluid properties.
Xiang Zhang, Bing Wei, Jingyi Wang, Runnan Wu   +3 more
wiley   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +1 more source

Operational and denotational semantics of rewrite programs [PDF]

, 1990
In this paper we present a new operational and denotational semantics for rewrite systems as logic programs. The main feature of our rewrite programs is that they allow us to define predicates not only by implications as in Prolog, but also by ...
Jieh Hsiang, BONACINA, Maria Paola
core  

Semantics for Prolog via term rewrite systems [PDF]

, 1987
The authors present semantics for logic programs using term rewrite systems. Reading program lines from left to right (so reversing the arrows), considering the result as a rewrite system, immediately gives the usual declarative semantics (the least ...
Weijland, WP, J. C. M. Baeten, Weijland, W.P., Baeten, J.C.M. (Jos), Baeten, Jos, W. P. Weijland, Baeten, JCM Jos, Baeten, J.C.M.   +7 more
core   +1 more source

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source

A Multimodal Magnetically Driven Soft Robot With Integrated Actuation‐Sensing Based on Photothermal Reprogramming Technology

Advanced Science, EarlyView.
This work reports a thermally safe, photothermally reprogrammable magnetic soft robot with its reprogramming temperature tuned to ∼39.5°C for biocompatibility. It achieves multimodal locomotion (max speed of 1.8 BL/s) and integrates liquid‐metal capacitive sensing to monitor self‐motion and detect environmental changes in simulated gastric environments,
Liu Yang, Yuliao Dong, Kangning Li, Cheng Jing, Ben Wang, Lin Xu   +5 more
wiley   +1 more source

Termination of rewriting

Journal of Symbolic Computation, 1987
This survey describes methods for proving that systems of rewrite rules are terminating programs. We illustrate the use in termination proofs of various kinds of orderings on terms, including polynomial interpretations and path orderings. The effect of restrictions, such as linearity, on the form of rules is also considered.
openaire   +2 more sources