Results 131 to 140 of about 697,012 (268)

Types in combinatory logic.

Notre Dame Journal of Formal Logic, 1964
openaire   +4 more sources

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

Emerging strategies to enhance microbial natural product-based drug discovery. [PDF]

Curr Opin Biotechnol
Madden M, Pulliam C, Holandez-Lopez K, Campbell A, Li J.   +4 more
europepmc   +1 more source

Finite Combinatory Logic with Predicates.

Type inhabitation in extensions of Finite Combinatory Logic (FCL) is the mechanism underlying various component-oriented synthesis frameworks. In FCL inhabitant sets correspond to regular tree languages and vice versa. Therefore, it is not possible to specify non-regular properties of inhabitants, such as (dis)equality of subterms.
Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof   +4 more
openaire   +3 more sources

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

Beyond β-Adrenergic Receptor Brake: Compartment-Selective GRK2 Programs from Heart Failure to Cardio-Oncology. [PDF]

Kinases Phosphatases
Dotson CR, Underwood L, Sato PY.
europepmc   +1 more source

SN Combinators and Partial Combinatory Algebras

, 2007
. We introduce an intersection typing system for combinatory logic, such that a term of combinatory logic is typeable iff it is sn. We then prove the soundness and completeness for the class of partial combinatory algebras.
Yohji Akama
core  

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

Inner layer security reinforcement for instant payment systems: a dual layer encryption-steganography evaluation in Brunei's digital payment context. [PDF]

Front Big Data
Sadikin ASBAH, Susanto H.
europepmc   +1 more source

A Universal van der Waals Tunneling Injector for Monolayer CMOS

Advanced Materials, EarlyView.
A universal van der Waals injector unlocks polarity‐flexible tunneling contacts for monolayer CMOS. SnSe2, an intrinsically degenerate 2D semiconductor, establishes polarity‐specific band alignments with both WSe2 and MoS2 channels, enabling steep switching, high on/off ratios, and a unified route to low‐power 2D logic.
Hanbin Cho, Jing Huang, Seonguk Yang, Subin Im, Sangwoo Park, Jeongin Yeo, Sungyeon Kim, Gilhwan Do, Wenxuan Zhu, Soobeom Shin, Jongwon Lee, Yongjoon Shin, Do‐Sun Lee, Hu Young Jeong, Tae‐Eon Park, Jun Kang, Kyungmin Ko, Joonki Suh   +17 more
wiley   +1 more source