Results 131 to 140 of about 1,072,805 (301)

A Distributed Kripke Semantics

, 2004
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this ...
Chadha, R., Macedonio, D., Sassone, V.
core   +1 more source

Bioinspired Adaptive Surfaces for Intelligent Liquid Manipulation: Progressing From Passive and Active to Hybrid Strategies

Advanced Materials, EarlyView.
This review examines passive, active, and hybrid liquid manipulation strategies, highlighting hybrid approaches as an emerging route to reconcile energy efficiency with adaptive control. By actively reconstructing passive surfaces to store programmable interfacial energy, hybrid systems enable flexible yet low‐power liquid transport, with perspectives ...
Jiaqi Miao, Yiyuan Zhang, Liqiu Wang, Alan C. H. Tsang   +3 more
wiley   +1 more source

Modal Logic, Probability and Machine Learning Systems for Metadata Extraction

Ratio Mathematica
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj   +1 more source

Soft Skins With Reversible Thickness Morphing: Materials, Mechanisms, and Applications

Advanced Materials, EarlyView.
Evolution of electronic skin (e‐skin) technologies toward adaptive, multifunctional soft skins. Phase I highlights early rigid and discrete sensory interfaces. Phase II shows the transition toward flexible, stretchable, and large‐area e‐skin. Phase III captures the emergence of computational e‐skin.
Oliver Ozioko, Chiamaka Akah, Ravinder Dahiya   +2 more
wiley   +1 more source

On Combining Intuitionistic and S4 Modal Logic

Bulletin of the Section of Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj   +1 more source

The exact correspondence between intuitionistic and modal logic (Extended abstract)

A normalizing system of classical natural deduction for S4 is given. It is shown that steps of indirect proof can be eliminated from derivations of formulas T(A) translated from intuitionistic logic to S4.
von Plato, Jan
core  

Barrier‐Assisted Plasma Doping for Spatially Selective Resistance Engineering in MoS2 Transistors

Advanced Materials, EarlyView.
Barrier‐assisted NH3 plasma doping enables damage‐free, spatially selective carrier modulation in monolayer MoS2 transistors. An ultrathin pV3D3/Al2O3 protective‐dielectric stack acts as a chemical filter that allows NHx radicals to reach the MoS2 surface while blocking plasma damage. This process achieves a high electron concentration of 4.3 × 1013 cm−
Inseong Lee, Joonho Park, Seungsun Yoo, Seunghyun Yu, Mingu Kang, Seohak Park, Min Kyu Lee, Hyeongjin Lim, Dongyoung Kim, Kunwoo Roh, Sejin Kim, Kihyuk Kim, Wonbae Ahn, Kibum Kang, Yong‐Hoon Kim, Sung‐Yool Choi   +15 more
wiley   +1 more source

Data‐Driven Materials Science for Energy‐Sustainable Applications

Advanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

Noise‐Tunable Memristor Enabling Programmable Probabilistic Neurons for Frequency‐Selective Time‐Series Signal Encoding

Advanced Materials, EarlyView.
Memristors offer tunable resistance and intrinsic instability, making them promising tunable noise sources. We propose a spiking‐rate‐programmable probabilistic neuron using a Ru/TaOx/Pt memristor, where resistance‐dependent noise enables frequency‐selective encoding.
Do Hoon Kim, Seoeun Jang, Hakseung Rhee, Min Gu Lee, Daehee Kim, Taewook Go, Woon Hyung Cheong, Hanchan Song, Kyung Min Kim   +8 more
wiley   +1 more source

Bisimulations for temporal logic [PDF]

We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core