Results 91 to 100 of about 67,082 (308)
The Impact of the Lambda Calculus in Logic and Computer Science [PDF]
Bulletin of Symbolic Logic, 1997 AbstractOne of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems ...
openaire +3 more sources
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
A Parallel semantics for normal logic programs plus time
, 2013 It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment ...
Cleary, John G. +2 more
core
Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)
, 2009 This volume contains the proceedings of the Workshop on Logic, Models and Computer Science (LMCS’06). The workshop was held in Camerino, Italy on April 20, 21 and 22, 2006.
TOFFALORI, Carlo, CORRADINI, Flavio
core +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
Computer Science Logic 2008, LNCS 5213
, 2008 Refereed proceedings of the 22nd International Conference on Computer Science Logic.
AA.VV., S. Martini, M. Kaminski
core
An Analysis of Tennenbaum's Theorem in Constructive Type Theory [PDF]
Logical Methods in Computer ScienceTennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers.
Marc Hermes, Dominik Kirst
doaj +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
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
Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor
Advanced Functional Materials, EarlyView.Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben +6 more
wiley +1 more source