Results 191 to 200 of about 8,214,233 (250)

Hierarchical Physical‐Cyber Encryption via Metasurface‐Encoded Holographic Keys

Advanced Science, EarlyView.
ABSTRACT Physical‐layer encryption based on metasurfaces has emerged as a promising alternative to conventional algorithmic cryptography by embedding security into physical processes. However, most existing metasurface‐based encryption schemes operate within single‐stage or static frameworks, where correct physical illumination directly reveals the ...
Zhen Liu, Changhong Dai, Wei Zhu, Ruisheng Yang, Bohan Zhang, Lei Zhang, Bobo Du, Shengxiang Wang, Guangwei Hu   +8 more
wiley   +1 more source

Wake‐Up and Fatigue under Electrical Cycling in HfO2‐Based Ferroelectrics: Mechanisms and Strategies toward Reliable Devices

Advanced Science, EarlyView.
HfO2‐based ferroelectrics exhibit wake‐up and fatigue behaviors during electrical cycling, significantly affecting device endurance and reliability. These phenomena are governed by defect dynamics, including oxygen vacancy redistribution and charge trapping.
Hongseok Kim, Shinhyeong Lee, Hyojun Choi, Minseung Park, Hyunah Cho, Min Hyuk Park, Yunseok Kim   +6 more
wiley   +1 more source

Herbicide Metabolic Resistance in Poaceae Plants via the GA‐GID1/DELLA‐DOF2‐P450s Module

Advanced Science, EarlyView.
Plant hormone signaling modulates herbicide resistance in Echinochloa crus‐galli. The GA–DELLA–DOF2 cascade directly activates P450 detoxification genes in two Poaceae species, uncovering a core mechanism of metabolic herbicide resistance. ABSTRACT Barnyard grass (Echinochloa crus‐galli) is one of the world's most important weeds, and the evolution of ...
Junzhi Wang, Jiale Qi, Lin Wei, Qin Yu, Zhongyuan Liu, Lianyang Bai, Lang Pan   +6 more
wiley   +1 more source

Computation and Structure‐Guided Arginine Scanning Engineers a Hyperactive AP Endonuclease for Multiplex Viral RNA Sensing

Advanced Science, EarlyView.
Computational and structure‐guided arginine scanning rewires the DNA‐binding interface of APE1 to create APE1‐Evo, a hyperactive yet specific AP endonuclease. Integrated into the NAPTUNE‐V2.0 cascade, APE1‐Evo enables amplification‐free, multiplex viral RNA sensing for dengue virus and influenza A/B, highlighting a general strategy for engineering ...
Junlan Wang, Ting Wu, Feizuo Wang, Boyang Wang, Xin Yu Wong, Senfeng Zhang, Shengsheng Ma, Yao Liu, Fangyao Yao, Zhifeng Zeng, Siyuan Yang, Kunming Liu, Qi Wang, Yilong Wang, Yunxiang Zang, Xiaolong Wang, Xingxu Huang, Shao Li, Quanquan Ji, Tao Hu, Chunyi Hu   +20 more
wiley   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Calculi for Many-Valued Logics

Logica Universalis, 2021
We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems.
Michael Kaminski, Nissim Francez
openaire   +1 more source

The Modalized Many-Valued Logic

2018 14th International Conference on Semantics, Knowledge and Grids (SKG), 2018
The intermediate logic is a three-valued logic proposed by Zhu. A modalized many-valued logic will be proposed in this paper which the unary connective @ $i$ is taken as a modality and a Gentzen-typed deduction system will be given so that the the system is sound and complete with the linearly many-valued semantics of the many-valued logic,
Bo Chen, Kang Zhao, Changhui Ma, Bing Zhang, Cheng Wu, Yuefei Su   +5 more
openaire   +1 more source

Designing in many-valued logic

Proceedings of the Second International Conference on Intelligent Processing and Manufacturing of Materials. IPMM'99 (Cat. No.99EX296), 1999
The analysis described is based on the many-valued logic of Lukasiewitcz (1970). It leads to the construction of a simple design model when the analysis cannot be based upon a two-valued logic. The reference is based on the semantics of Kripke, immersion in a definite possible world, and on the process of verification and confirmation of Carnap.
DONNARUMMA A, PAPPALARDO, Michele
openaire   +2 more sources

Many-Valued Modal Logics

Fundamenta Informaticae, 1991
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given
openaire   +3 more sources

CERES in Many-Valued Logics

2005
CERES is a method for cut-elimination in classical logic which is based on resolution. In this paper we extend CERES to CERES-m, a resolution-based method of cut-elimination in Gentzen calculi for arbitrary finitely-valued logics. Like in the classical case the core of the method is the construction of a resolution proof in finitely-valued logics ...
Matthias Baaz, Alexander Leitsch
openaire   +1 more source

What is many-valued logic?

Proceedings 1997 27th International Symposium on Multiple- Valued Logic, 2002
Firstly we examine the definition of many-valued logic within the framework of (logical) matrix theory. Secondly we discuss the general result, challenging the existence of many-valued logic, according to which every logic may be seen as two-valued.
openaire   +1 more source