Results 81 to 90 of about 1,933,548 (305)

Gate‐Programmable Linearization of Atomically Thin Nanoelectromechanical Resonators via Duffing Nonlinearity Cancellation

Advanced Functional Materials, EarlyView.
Gate bias is used to cancel Duffing nonlinearity in atomically thin MoS2 drumhead resonators, switching their response from hardening to softening and creating a nearly linear operating point. This electrical control suppresses hysteresis, enables stronger linear drive, and improves signal‐to‐noise ratio, offering a practical route to stable 2D NEMS ...
Pengcheng Zhang, Miroslav Haluska, Cosmin Roman, Christofer Hierold   +3 more
wiley   +1 more source

Cylindric Modal Logic

Journal of Symbolic Logic, 1995
AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full ...
openaire   +4 more sources

Ambient‐Stable Transparent P‐Type CuI Transistors Via Room‐Temperature Pulsed Laser Deposition

Advanced Functional Materials, EarlyView.
An in situ PLD fabricated AlOx${\rm AlO}_x$/CuI/AlOx${\rm AlO}_x$ sandwich structure enables stable CuI TFTs with a field‐effect mobility of 2.3 ±$\pm$ 0.7 cm2${\rm cm}^{2}$ V−1${\rm V}^{-1}$ s−1${\rm s}^{-1}$ and excellent ambient stability. Complementary inverters based on CuI:Rb and ZnO:Al exhibit rail‐to‐rail voltage transfer characteristics and an
Yang Chen, Susanne Selle, Michael S. Bar, Michael Lorenz, Holger von Wenckstern, Marius Grundmann   +5 more
wiley   +1 more source

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Bulletin of the Section of Logic
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj   +1 more source

MINIMAL MODAL LOGICS, CONSTRUCTIVE MODAL LOGICS AND THEIR RELATIONS

The Review of Symbolic Logic
AbstractWe present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal logics are defined based on their classical counterparts in two distinct ways: (1) via embedding into fusions of classical modal logics through a natural extension of ...
openaire   +3 more sources

Encoding Modal Logics in Logical Frameworks

Studia Logica, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Avron, Arnon, HONSELL, Furio, MICULAN, Marino, Paravano, Cristian   +3 more
openaire   +3 more sources

Tunable Complementary Doping Strategy Enables High‐Performance Homo‐Channel CMOS in Monolayer WSe2

Advanced Functional Materials, EarlyView.
Polarity‐selective modulation enables a homo‐channel WSe2 CMOS platform from a single 2D semiconductor. MoOx and AlN tune WSe2 toward p‐ and n‐type operation, respectively, yielding complementary FETs and inverters with balanced switching, high voltage gain, low static power, and promising scalability for 2D logic integration.
Kuan‐Hsiang Chiu, Wen‐Chia Wu, His‐Yu Chen, Chien‐Chih Liu, Ze‐Rui Lin, Chiung‐Yuan Lin, Chenming Hu, Chao‐Hsin Chien   +7 more
wiley   +1 more source

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

Contraction-free calculi for modal logics S5 and KD45

Lietuvos Matematikos Rinkinys, 2011
It is known that termination and backtracking are among the most important problems in constructing derivations in non-classical logics. In this paper contractionfree and backtracking-free sequent calculi for modal logics S5 and KD45 are presented and ...
Julius Andrikonis, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

3D Anodic Alumina Nanoarchitectures: A Decade of Progress from Foundational Science to Functional Metamaterials

Advanced Materials, EarlyView.
Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley   +1 more source