Results 111 to 120 of about 3,184,608 (250)

Intuitionistic Rules : Admissible Rules of Intermediate Logics [PDF]

, 2015
In this thesis, we investigate the admissible rules of intermediate logics. On the one hand, one can characterize the admissibility of rules in certain logic, and on the other hand, one can characterize logics through their admissible rules. We take both
Goudsmit, J.P.
core  

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics

Logic Journal of the IGPL, 2016
M. Coniglio, F. Esteva, L. Godo
semanticscholar   +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

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

Review of Inorganic Separator Engineering for Next‐Generation Lithium–Sulfur Batteries: Compromise or Cornerstone?

Advanced Materials, EarlyView.
Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin, Tianyi Wang, Xingyu Wang, Kaifu Xu, Yuzhou Wang, Chengyin Wang, Bing Sun, Guoxiu Wang   +7 more
wiley   +1 more source

S‐Nitrosothiols as Thiol‐Protecting Groups for Controlled Thiol‐Maleimide Crosslinking of Homogeneous Soft Hydrogels

Advanced Materials, EarlyView.
Rapid thiol‐maleimide addition frequently outpaces mixing, resulting in heterogeneous hydrogels. S‐nitrosothiols act as thiol‐protecting groups, allowing uniform mixing with maleimide‐functionalized polymers before gelation. Sodium thiosulfate or sodium ascorbate then regenerates thiols on demand, triggering controlled thiol‐maleimide crosslinking ...
Julian A. Serna, Michelle J. Iwohn, Maximilian Seifermann, Stefan Heißler, Maike Schliephake, Franziska Dopp, Claudia Muhle‐Goll, Pavel A. Levkin   +7 more
wiley   +1 more source

Analog Tensor Processing With Carbon Nanotube In‐Memory Matrix Multiplications for Edge Computer Vision Acceleration

Advanced Materials, EarlyView.
This work prototypes a carbon nanotube‐based analog tensor core that performs in‐memory, parallel visual processing. Integrating non‐volatile memories and compact circuits, the core enables high‐speed analog matrix multiplications and can demonstrate accurate three dimensional (3D) spatial transformation and edge detection. With lightweight design, the
Jingfang Pei, Lekai Song, Songwei Liu, Yingyi Wen, Yaoqiang Zhou, Yang Liu, Pengyu Liu, Wenyu Cui, Xin Lu, Teng Ma, Zegao Wang, Guohua Hu   +11 more
wiley   +1 more source

Leveraging Data‐Driven and Fundamental Insights for Electrolyte Innovation in Lithium Metal Batteries

Advanced Materials, EarlyView.
Using 640 curated electrolyte formulations, we apply data‐driven analysis to reveal how molecular features govern coulombic efficiency (CE) in lithium metal batteries. Fluorine content correlates positively with CE, while oxygen, carbon, and higher boiling points correlate negatively.
Minh Van Duong, Mitchell Kaiser, Xia Cao, Trung Thien Nguyen, Au Nguyen, Phung My Loan Le, Jun Liu   +6 more
wiley   +1 more source

Research on configuration path modeling of ESG performance in Chinese state-owned listed companies based on fsQCA. [PDF]

Sci Rep
Song J.
europepmc   +1 more source

Hypersequent and Labelled Calculi for Intermediate Logics

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2013
A. Ciabattoni, Paolo Maffezioli, Lara Spendier   +2 more
semanticscholar   +1 more source