Results 151 to 160 of about 32,356 (302)

First-order default logic revisited

, 2014
Reiter’s original proposal for default logic is unsatisfactory for open default theories because of Skolemization and grounding. In this paper, we reconsider this long-standing problem and propose a new world view semantics for first-order default logic.
Zhou, Yi (R12034)
core  

Extensões de primeira ordem para a lógica do anúncio público [PDF]

, 2015
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2015.Dentre as lógicas multimodais, a lógica epistêmica dinâmica foi desenvolvida para modelar as ...
Pereira, Marcio Kléos Freire
core  

Phase‐Resolved Dual Control of Phenol Photodissociation at the Air–Water Interface From Structure‐Resolved Statistics

Advanced Science, EarlyView.
Faster phenol photolysis at the air–water interface arises from two cooperative factors: a more favorable initial microenvironment for solvent‐side electron stabilization, which lowers CI access, and a more labile hydrogen‐bond network, which more readily reorganizes to stabilize the dark‐state intermediate.
Qiang Yin, Jialing Shi, Jinping Zhao, Chengjun Li, Yongbo Xie, Benkun Tan, Da Wang, Ziyun Wang, Yu Mao   +8 more
wiley   +1 more source

Intrinsic Dual‐Phase Regulated GeSe2 Nanoparticles Triggered by Ball‐Milling Treatment for Photonic Multi‐Valued Logic Circuits

Advanced Science, EarlyView.
We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai, Chun‐Jen Wang, Pin‐Chao Liao, Chin Shan Lue, Chia‐Nung Kuo, Le Vo Phuong Thuan, Po‐Hsuan Hsiao, Chang‐Hyun Kim, Chia‐Yun Chen   +8 more
wiley   +1 more source

On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics

, 2010
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core  

Terahertz Channel Modeling, Estimation and Localization in RIS‐Assisted Systems

Advanced Electronic Materials, EarlyView.
Reconfigurable intelligent surfaces have become a recent intensive research focus. Based on practical applications, channel strategies for RIS‐assisted terahertz wireless communication systems are categorized into three different types: channel modeling, channel estimation, and channel localization.
Hongjing Wang, Weipeng Wang, Xuan Cong, Shiyu Wang, Gao Li, Sen Gong, Lin Huang, Hongxin Zeng, Yaxin Zhang, Ziqiang Yang   +9 more
wiley   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic

In this paper, we present an embedding of higher-order nominal modal logicinto classical higher-order logic, and study its automation. There exists no automated theorem prover for first-order or higher-order nominal logic at the moment, hence, this is ...
Max Wisniewski, Alexander Steen
core   +1 more source

SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range

Advanced Electronic Materials, EarlyView.
A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel, Aleix Barrera, Lluís Balcells, Narcís Mestres, Enrique Miranda, Anna Palau, Jordi Suñé   +6 more
wiley   +1 more source

Logic Functionality and Circuit Design of In2Se3‐Based Split‐Gate Ferroelectric Field‐Effect Transistor for Zero‐Trust Applications

Advanced Electronic Materials, EarlyView.
ABSTRACT Van der Waals ferroelectric materials are emerging as key building blocks for future logic devices and integrated circuits. Among them, α‐In2Se3 offers a unique combination of robust room temperature ferroelectricity and semiconducting behavior.
Ankita Ram, Cédric Marchand, Shehr Bano Masood, Aymen Mahmoudi, Takashi Taniguchi, Kenji Watanabe, Bernard Doudin, Abdelkarim Ouerghi, Ian O'Connor, Alexei Gruverman, Jean‐François Dayen   +10 more
wiley   +1 more source