Results 21 to 30 of about 37,049 (259)
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Simulation as a Correct Transformation of Rewrite Systems [PDF]
, 1997 . Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in the original rewrite system. In this paper it is shown that if such a simulation
Jaco Van De Pol +9 more
core +2 more sources
Theoretical Computer Science, 1987 \textit{J. C. Raoult} [ibid. 32, 1-24 (1984; Zbl 0551.68065)] has given a description of graph rewriting. His description is operational, despite the similarity which his constructions have to the category-theoretic concept of a pushout. We describe a modification to Raoult's description of graph rewriting which allows the reduction of a redex to be ...
openaire +3 more sources
Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation
Advanced Materials, EarlyView.A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels +4 more
wiley +1 more source
Non-linear rewrite closure and weak normalization
, 2013 A rewrite closure is an extension of a term rewrite system with new rules, usually deduced by transitivity. Rewrite closures have the nice property that all rewrite derivations can be transformed into derivations of a simple form.
Godoy Balil, Guillem +3 more
core +1 more source
A Survey of Interlayer Interaction Models for Graphene and Other 2D Materials
Advanced Materials Interfaces, EarlyView.Van der Waals interactions arising from electronic polarization at atomically close interfaces generate corrugated interlayer energy landscapes that govern normal and tangential tractions. This review presents an overview of quantum, atomistic, analytical, and continuum modeling approaches, highlighting their roles across length scales in capturing ...
Gourav Yadav +2 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +1 more source
Theoretical Computer Science, 1984 This paper deals with rewriting of directed ordered graphs over a graded alphabet G. The author shows that if graphs are represented by vertices and edges direct derivations accordin to \textit{H. Ehrig}, \textit{M. Pfender}, and \textit{H. J. Schneider} [Graph Grammars: an algebraic approach, Proc. 14th Annual Conf. Switching Automata Theory, 167-180 (
openaire +1 more source
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting techniques, and does not require the use of combination methods. The interpolant is constructed in such a way that it reflects the structure of the rewrite proof.
Christopher Lynch, Yuefeng Tang
openaire +1 more source
Advanced Optical Materials, EarlyView.A proline‐integrated donor–acceptor fluorophore enables multifunctional luminescence through rational molecular design. Water‐vapor‐responsive mechanochromic luminescence (MCL) with circularly polarized luminescence (CPL) switching and efficient visualization of latent fingerprints (LFPs) are realized from this single small organic molecule.
Hao Chen +3 more
wiley +1 more source