Results 101 to 110 of about 823,326 (291)

Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems

Advanced Functional Materials, EarlyView.
MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley   +1 more source

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

Atomic Layer Deposition in Transistors and Monolithic 3D Integration

Advanced Functional Materials, EarlyView.
Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu, Taoyu Zou, Cheng‐Yan Xu, Liang Zhen, Yang Li, Yong‐Young Noh   +5 more
wiley   +1 more source

Fuzzy Linear Temporal Logic with Quality Constraints

Mathematics
As an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj   +1 more source

Multi‐Functional ZnO–Te Heterojunction Devices Enabling Compact Frequency Quadrupler

Advanced Functional Materials, EarlyView.
Wafer‐scale ZnO–Te heterojunction devices featuring tunable double negative differential transconductance (D‐NDT) are demonstrated at ≤ 200°C. Leveraging this unique characteristic, a single‐stage frequency quadrupler is realized, achieving a 64%–75% reduction in device count.
Jae Hyeon Jun, Byeong Gwan Kim, Min Seo Kang, Ui Gwan Shin, Minjae Kim, Kiyung Kim, Hae‐Won Lee, Yongsu Lee, Byoung Hun Lee   +8 more
wiley   +1 more source

Linear Logic for Meaning Assembly

, 1995
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts.
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay   +3 more
core   +1 more source

Critical Role of Polymer Gate Dielectrics on the Charge Carrier Transport in Perovskite Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
Charge transport in 2D tin perovskite FETs is shown to be governed by dielectric interface behavior. Polar polymer dielectrics induce dipolar disorder that localizes carriers, whereas nonpolar polymers suppress trapping and enable superior charge transport, ensuring stable and reliable transistor operation. ABSTRACT Understanding the role of interfaces
Chongyao Li, Zhitian Ling, Pawel Czulkin, Paul W. M. Blom, Wojciech Pisula, Tomasz Marszalek   +5 more
wiley   +1 more source

Unlocking Photodetection Mode Switching from a Simple Lateral Design

Advanced Functional Materials, EarlyView.
A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong, Keng‐Te Lin, Joel van Embden, Taimur Ahmed, Yumeng Du, Dashen Dong, Yiwen Mai, Junlin Lu, Sumeet Walia, Baohua Jia, Tianyi Ma   +10 more
wiley   +1 more source

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives [PDF]

, 2016
Relational semantics for linear logic is a form of non-idempotent intersection type system, from which several informations on the execution of a proof-structure can be recovered.
de Falco, Lorenzo Tortora, Guerrieri, Giulio, Pellissier, Luc   +2 more
core   +3 more sources

Gödel–Dummett linear temporal logic

Artificial Intelligence
arXiv admin note: substantial text overlap with arXiv:2205.00574, arXiv:2205 ...
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean   +3 more
openaire   +4 more sources