Results 41 to 50 of about 3,500,861 (360)

Carbon Nanotube 3D Integrated Circuits: From Design to Applications

Advanced Functional Materials, EarlyView.
As Moore's law approaches its physical limits, carbon nanotube (CNT) 3D integrated circuits (ICs) emerge as a promising alternative due to the miniaturization, high mobility, and low power consumption. CNT 3D ICs in optoelectronics, memory, and monolithic ICs are reviewed while addressing challenges in fabrication, design, and integration.
Han‐Yang Liu, Yun Sun, Dong‐Ming Sun, Hui‐Ming Cheng   +3 more
wiley   +1 more source

Notice of Books Received

Informal Logic, 2022
Informal Logic
doaj   +5 more sources

Automated Termination Proofs for Logic Programs by Term Rewriting

, 2008
There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into
Giesl, J., Schneider-Kamp, P., Serebrenik, A., Thiemann, R.   +3 more
core   +2 more sources

Logical Consequence and Logical Expressions

THEORIA, 2008
...
openaire   +5 more sources

Self‐Poled Halide Perovskite Ruddlesden‐Popper Ferroelectric‐Photovoltaic Semiconductor Thin Films and Their Energy Harvesting Properties

Advanced Functional Materials, EarlyView.
Low‐dimensional halide perovskite thin films, (BA)2(MA)n‐1PbnBr3n+1 (n = 1, 2), exhibit both semiconducting and ferroelectric properties, enabling mechanical and light energy harvesting. Using Cr/Cr₂O₃ or PCBM as barrier layers ensures reproducible ferroelectricity.
Raja Sekhar Muddam, Shaoyang Wang, Nirmal Prashanth Maria Joseph Raj, Qingping Wang, Philip Wijesinghe, Julia Payne, Matthew S. Dyer, Chris Bowen, Lethy Krishnan Jagadamma   +8 more
wiley   +1 more source

$L^p$-$L^q$ Boundedness of Spectral Multipliers of the Anharmonic Oscillator

Comptes Rendus. Mathématique, 2022
In this note we study the $L^p-L^q$ boundedness of Fourier multipliers of anharmonic oscillators, and as a consequence also of spectral multipliers, for the range ...
Chatzakou, Marianna, Kumar, Vishvesh
doaj   +1 more source

Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA

Advanced Functional Materials, EarlyView.
It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das, Naupada Preeyanka, Suryakant Mishra, Yutao Sang, Claudio Fontanesi   +4 more
wiley   +1 more source

A Multi-Bit Neuromorphic Weight Cell Using Ferroelectric FETs, suitable for SoC Integration

IEEE Journal of the Electron Devices Society, 2018
A multi-bit digital weight cell for high-performance, inference-only non-GPU-like neuromorphic accelerators is presented. The cell is designed with simplicity of peripheral circuitry in mind.
Borna Obradovic, Titash Rakshit, Ryan Hatcher, Jorge Kittl, Rwik Sengupta, Joon Goo Hong, Mark S. Rodder   +6 more
doaj   +1 more source

Material Modeling in Semiconductor Process Applications

Journal of Microelectronic Manufacturing, 2020
During the past decade, significant progress has been achieved in the application of material modeling to aid technology development in semiconductor manufacturing companies such as Intel.
Boris A. Voinov, Patrick H. Keys, Stephen M. Cea, Ananth P. Kaushik, Mark A. Stettler   +4 more
doaj   +1 more source

The succinctness of first-order logic on linear orders [PDF]

, 2011
Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Grohe, Martin, Schweikardt, Nicole
core