Results 71 to 80 of about 2,655,411 (248)

A Phase-Adjustable Noise-Shaping SAR ADC for Mitigating Parasitic Capacitance Effects from PIP Capacitors

open access: yesSensors
High parasitic capacitance from poly-insulator-poly capacitors in complementary metal oxide semiconductor (CMOS) processes presents a major bottleneck to achieving high-resolution successive approximation register (SAR) analog-to-digital converters (ADCs)
Xuelong Ouyang   +4 more
doaj   +1 more source

Supporting AI Readiness Through Digital Workflows in Materials Science

open access: yesAdvanced Engineering Materials, EarlyView.
Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns   +67 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

open access: yesAdvanced 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 [PDF]

open access: yes, 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  

A post-style proof of completeness theorem for symmetric relatedness Logic S [PDF]

open access: yes, 2018
One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem ...
Klonowski, Mateusz
core   +2 more sources

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

open access: yesAdvanced 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

The Significance of Informal Logic for Philosophy

open access: yesInformal Logic, 2000
Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj   +1 more source

Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies

open access: yesAdvanced Functional Materials, EarlyView.
The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley   +1 more source

Completeness for game logic [PDF]

open access: yes, 2019
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games.
Johannes Marti   +19 more
core   +2 more sources

Monolithic Oxidation Enables Ultrathin Vertically Graded Tantalum Oxide for Low‐Voltage, Low‐Variability Memristive Switching

open access: yesAdvanced Functional Materials, EarlyView.
Monolithic UV‐ozone oxidation of Ta forms an ultrathin Ta2O5/TaOx bilayer enabling resistive switching with a vertical defect gradient. A stoichiometric surface layer over an oxygen‐deficient sublayer promotes localized filament nucleation near the top interface, enabling low‐voltage operation, and reduced cycle‐to‐cycle variability.
Seunghoon Yang   +11 more
wiley   +1 more source

Home - About - Disclaimer - Privacy