Results 31 to 40 of about 186,512,308 (212)

A simple modal logic for belief revision [PDF]

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule.
Giacomo Bonanno
core   +2 more sources

Thermally Robust Room‐Temperature Interlayer Excitons in a Hybrid van der Waals Heterostructure

Advanced Functional Materials, EarlyView.
We report an optically active interlayer exciton in a hybrid van der Waals (PEA)2PbBr4/MoS2 heterostructure that remains thermally stable up to 400 K. The emission exhibits polarization anisotropy consistent with an out‐of‐plane optical transition‐dipole component and shows lifetime extension indicative of electron–hole separation.
Seoyeon Ko, Hyeon Jun Jeong, Soungmin Bae, Jieun Jo, Chan Kwon, Hayoung Ko, Dong Hyeon Kim, Hyunjung Shin, Mun Seok Jeong, Seokhyun Yoon   +9 more
wiley   +1 more source

A second order logic of existence [PDF]

, 1969
Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino
core   +1 more source

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

An Observation Concerning Porte’s Rule in Modal Logic [PDF]

, 2015
It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ...
Humberstone, Lloyd, French, Rohan
core   +2 more sources

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Epitaxially Integrated Electro‐Optic KNbO3 Thin Films on Silicon

Advanced Materials, EarlyView.
We demonstrate the first epitaxial integration of electro‐optic KNbO3 thin films on silicon using suboxide molecular‐beam epitaxy. Combining adsorption‐controlled molecular‐beam epitaxy, advanced characterization, and phase‐field modeling, we demonstrate phase‐pure crystalline films mirroring bulk crystals with robust Pockels response, enabling future ...
Sankalpa Hazra, Tobias Schwaigert, Yingxin Zhu, Aiden Ross, Muhammad Aminul Haque Chowdhury, Shun‐Li Shang, Sameer Singh, Zhiyu Zhang, Zhe Wang, Brynn Brower, Saugata Sarker, Suchismita Sarker, Zi‐Kui Liu, Rama K. Vasudevan, Long‐Qing Chen, Yang Yang, Darrell G. Schlom, Venkatraman Gopalan   +17 more
wiley   +1 more source

Tamper‐Responsive Physical Unclonable Functions via Graphene‐Interlayered Block Copolymer Random Structures

Advanced Materials, EarlyView.
Self‐invalidating multilayer physical unclonable functions (PUFs) integrate fingerprint‐like metal nanopattern bilayers from block copolymer templates with highly reactive reduced graphene oxide (rGO) interlayers. This tamper‐responsive architecture blocks all unauthorized physical and chemical replication attempts while autonomously deactivating ...
Gyu Hui Jo, Dae Hui Park, Jeong‐Ho Jang, Woo Seok Tack, Jin Man Kim, Hak Ki Yu, Hyeong Min Jin, Jang Hwan Kim   +7 more
wiley   +1 more source

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

, 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

High‐Mobility Chalcogenophene‐Engineered Diketopyrrolopyrrole Mixed Ionic‐Electronic Conductors With Doping Tolerance for Low‐Power Organic Electrochemical Transistors

Advanced Materials, EarlyView.
Chalcogen substitution emerges as a powerful strategy for designing high‐performance OMIECs. In aliphatic–glycol side chain diketopyrrolopyrrole polymers, biselenophene incorporation promotes a planar, polarizable, and doping‐tolerant quinoidal framework, enabling PDPP‐4EG‐Se2 to combine high hole mobility, large µC*, enhanced operational stability ...
Shinbee Oh, Tae Hoon Kim, Dahyun Jeong, Ji Hwan Kim, Seungjin Lee, Tan Ngoc‐Lan Phan, Alexander Tipan‐Quishpe, Myung‐Han Yoon, Keehoon Kang, Bumjoon J. Kim   +9 more
wiley   +1 more source