Results 71 to 80 of about 696,327 (268)
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
The Basic Intuitionistic Logic of Proofs
, 2007 The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F.
Artemov, S. +3 more
core
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, Volume 36, Issue 43, 29 May 2026.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips
Advanced Functional Materials, EarlyView.This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee +16 more
wiley +1 more source
Semantic pollution and syntactic purity
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core +1 more source
Advanced Functional Materials, EarlyView.Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu +17 more
wiley +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +3 more sources
Advanced Functional Materials, EarlyView.A compostable PGS soft surgical robot with interchangeable modules integrates transient Mo tactile and Si thermal sensors for dual feedback. The device preserves its function after clinical‐grade sterilization, demonstrates stable actuation and cardiac tissue grasping with real‐time in vivo pulsatile monitoring, and biodegrades post‐use with soil‐safe,
Minseong Chae +27 more
wiley +1 more source
From Logic to Functional Logic Programs
, 2022 Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into ...
Hanus, Michael
core +1 more source