Results 81 to 90 of about 1,309,863 (280)

The Higher-Order-Logic Formath

Bulletin of the Belgian Mathematical Society - Simon Stevin, 2008
This paper describes in detail the logic Formath, inspired by two HOL derivatives: HOL-4 and HOL-Light. Formath is designed from the point of view of a mathematician. This results in the introduction of a syntactical distinction between bound and free variables, the use of ``de Bruijn'' indices and extending the consequences to more than one ...
openaire   +3 more sources

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

Higher-Order Coalition Logic

, 2010
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and
BOELLA, Guido, D. M. Gabbay, V. Genovese, L. v. der Torre   +3 more
openaire   +3 more sources

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

A Scholastic-Realist Modal-Structuralism

Philosophia Scientiæ, 2014
How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures?
Ahti-Veikko Pietarinen
doaj   +1 more source

Higher-order representation of substructural logics [PDF]

ACM SIGPLAN Notices, 2010
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Framework, without any linear or modal extensions. Using this encoding, metatheoretic proofs about such logics can easily be developed in the Twelf proof assistant.
openaire   +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

Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review

Advanced Healthcare Materials, EarlyView.
Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro, Mario González‐Quintas, Mónica Fernández‐Arias, Jesús del Val, Félix Quintero, Rafael Comesaña, Fernando Lusquiños, Julian R. Jones, Juan Pou   +8 more
wiley   +1 more source

Internal Guidance for Satallax

, 2016
We propose a new internal guidance method for automated theorem provers based on the given-clause algorithm. Our method influences the choice of unprocessed clauses using positive and negative examples from previous proofs.
Brown, Chad, Färber, Michael
core   +1 more source

Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration

Advanced Healthcare Materials, EarlyView.
Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu, Yongjie Tang, Sidi Liu, Tao Xu, Qian Liu   +4 more
wiley   +1 more source