Results 61 to 70 of about 307 (171)
, 2019 © 2019 Association for Computing Machinery. Closure calculus is simpler than pure lambda-calculus as it does not mention free variables or index manipulation, variable renaming, implicit substitution, or any other meta-theory. Further, all programs, even
Jay, B
core +1 more source
Chelation‐Driven Dual‐Interface Regulation for Long‐Life Aqueous Zn–I2 Batteries
Advanced Science, EarlyView.Zn2+–TPEN coordination generates TPEN‐derived coordination species (TCC) that contribute to the regulation of both electrode interfaces. At the Zn anode, it creates an interfacial environment with reduced water accessibility that suppresses HER and corrosion while promoting uniform deposition; at the I2 cathode, it captures polyiodide to inhibit ...
Dong Wook Kim +10 more
wiley +1 more source
LFTOP: An LF based approach to domain specific reasoning [PDF]
, 2006 Specialized vocabulary, notations and inference rules tailored for the description, analysis and reasoning of a domain is very important for the domain.
Pang, Jianmin
core
Advanced Electronic Materials, EarlyView.Our work bridges the gap between skyrmion discovery and material design by demonstrating how atomic‐scale control of exchange interactions enables tunable skyrmion phase transitions in centrosymmetric magnetic metals. ABSTRACT Magnetic skyrmions are topologically protected spin states that hold promise for shaping the future of electronics.
Dasuni N. Rathnaweera +9 more
wiley +1 more source
Advanced Electronic Materials, EarlyView.In this work, low‐resolution infrared imaging is combined with a 28 nm FeFET IMC architecture to enable compact, energy‐efficient edge inference. MLC FeFET devices are experimentally characterized, and controlled multi‐level current accumulation is validated at crossbar array level.
Alptekin Vardar +9 more
wiley +1 more source
Stochastic‐MTJ Sampler Arrays for In‐Array Monte–Carlo Estimation
Advanced Electronic Materials, EarlyView.A low‐energy‐barrier magnetic tunnel junction array is operated as a probability‐domain sampler: each cell's random switching, programmed through a shared digital‐to‐analog converter, makes the per‐column multiply–accumulate an unbiased Monte–Carlo expectation estimator that returns both a mean and a calibrated uncertainty.
Ran Zhang +6 more
wiley +1 more source
, 1998 Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound
Henk Barendregt (20193594) +2 more
core
Advanced Electronic Materials, EarlyView.The rigid fused backbone of Y6‐series acceptors is deconstructed into a modular, non‐fused A‐π‐A′‐π‐A architecture. Comprehensive quantum chemical simulations reveal that strategic core and π‐bridge engineering preserves strong near‐infrared light‐harvesting and enhances intramolecular charge‐transfer character.
Qurat ul Ain +7 more
wiley +1 more source
Universal Oxychlorination Strategy in Halide Solid Electrolytes for All‐Solid‐State Batteries
Advanced Energy Materials, EarlyView.A WO2Cl2‐driven oxychlorination strategy enables bulk oxygen incorporation into close‐packed LixMCl6 (M = Zr, Y, Er, In) halide lattices. Oxygen is selectively anchored by W6+ as lattice‐integrated [WO2Cl4]2− units, regulating the anionic framework, diversifying Li coordination, and weakening Li–Cl interactions.
Jae‐Seung Kim +13 more
wiley +1 more source
Complexity of normalization in the pure typed Lambda-calculus [PDF]
, 1982 Helmat Schwichtenberg +3 more
core +1 more source