Results 161 to 170 of about 86,968 (310)

Quasi-normal partners of modal logics K4 and GL

, 2018
Igor Gorbunov
openalex   +2 more sources

Semiconducting THO‐C3N Monolayers for Ultrahigh Anisotropic Carrier Mobility

Advanced Science, EarlyView.
A precise site‐specific N‐doping strategy that drives a secondary electronic transition in net W is proposed, enabling the electronic properties transition from metal to Dirac semimetal and ultimately to semiconductor. The obtained THO‐C3N‐2 and THO‐C3N‐3 semiconductors exhibit high carrier mobilities and pronounced mobility anisotropy, with THO‐C3N‐2 ...
Rui Tan, Xueqing Chen, Jifeng Luo, Zhe Xue, Zehou Li, Xiaolin Wei, Zhenkun Tang, Gaokuo Zhong   +7 more
wiley   +1 more source

The optimization of vocal music teaching by integrating the STEAM concept with the intelligent recommendation system. [PDF]

Sci Rep
Su F, Guo Q.
europepmc   +1 more source

High‐Performance Ambipolar Organic Electrochemical Transistors Based on Diketopyrrolopyrrole‐Dialkoxybithiazole Conjugated Polymers for Single‐component Inverters

Advanced Science, EarlyView.
Two donor‐acceptor conjugated polymers, incorporating diketopyrrolopyrrole (DPP) and dialkoxybithiazole (2Tz) units with ethylene glycol (EG) side chains, exhibit relatively balanced ambipolar organic electrochemical transistor (OECT) performance. This ambipolarity enables the realization of single‐component complementary inverters capable of ternary ...
Jiazheng Li, Zhi Li, Jiayu Huang, Jingjing Su, Peijie Xu, Siwen Wang, Ping Zhang, Yuchuan Tian, Tao Pan, Junyang Liu, Junyu Li, Gang Ye, Ryan C. Chiechi, Yanxi Zhang, Wenjing Hong   +14 more
wiley   +1 more source

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic [PDF]

, 2020
Simone Martini, Andrea Masini, Margherita Zorzi   +2 more
openalex   +1 more source

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

, 2021
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato   +3 more
openalex   +2 more sources

Recognition method for microgrid switching misoperations based on multi-source heterogeneous data fusion. [PDF]

Sci Rep
Yang H, Zhang Z, Zhang S, Liang R.
europepmc   +1 more source

T Cell Exhaustion in Cancer Immunotherapy: Heterogeneity, Mechanisms, and Therapeutic Opportunities

Advanced Science, EarlyView.
T cell exhaustion limits immunotherapy efficacy. This article delineates its progression from stem‐like to terminally exhausted states, governed by persistent antigen, transcription factors, epigenetics, and metabolism. It maps the exhaustion landscape in the TME and proposes integrated reversal strategies, providing a translational roadmap to overcome
Yang Yu, Xiaoyu Yao, Qingyang Wang, Mengrui Yang, Runze Li, Jiangjiang Qin, Jing Zhuang, Changgang Sun   +7 more
wiley   +1 more source

Hybrid real-synthetic dataset framework for robotic hazard detection in industrial environments. [PDF]

Sci Rep
Khamis A, Shaban HA, Fayed HA, Aly MH.
europepmc   +1 more source

Integrated Ultrasound Device for Precision Bladder Volume Monitoring via Acoustic Focusing and Machine Learning

Advanced Science, EarlyView.
We present a conformable wearable ultrasound patch for noninvasive bladder volume monitoring. A flexible PZT array combined with a concave acoustic lens concentrates acoustic energy and improves depth selectivity through the anterior pelvic wall.
Long Long Cao, Feng Wen Wang, Jingwei Xue, Fulei Liu, Ming Liang Jin   +4 more
wiley   +1 more source