Results 141 to 150 of about 286,253 (378)

Nominal Narrowing [PDF]

open access: yes, 2016
Nominal unification is a generalisation of first-order unification that takes alpha-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories.
Ayala-Rincón, Mauricio   +2 more
openaire   +3 more sources

Internal Temperature Evolution Metrology and Analytics in Li‐Ion Cells

open access: yesAdvanced Functional Materials, EarlyView.
This study investigates the non‐linear evolution of internal temperatures across diverse operating conditions, highlighting the disparities between internal and external measurements and the resulting thermal asymmetries. The coupled thermo‐electrochemical modeling framework provides a comprehensive analysis of various heat generation modes, examining ...
Anuththara S. J. Alujjage   +5 more
wiley   +1 more source

THE ANALYSIS OF SUMBER WARAS CASE IN SINDONEWS’ EDITORIAL“Sumber Waras bukan Pertarungan Opini” DATED APRIL 15 TH , 2016 [PDF]

open access: yes, 2016
Media has an important role in telling an information. There is a case which dragged the governor of Jakarta; Mr. Basuki Tjahaja Purnama or oftenly called as Ahok.
Vidhiasi, Dhion Meitreya
core  

In Situ Formation of a Melt‐Solid Interface Toward Stable Oxygen Reduction in Protonic Ceramic Fuel Cells

open access: yesAdvanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
Protonic ceramic fuel cells offer a promising route to generate power efficiently but face critical challenges in achieving industrially viable activity and stability at their cathodes in CO2‐containing air. This report proposes a new cathode material design strategy to enable the cathode to be both catalytically active and CO2 tolerant through the ...
Desheng Feng   +14 more
wiley   +1 more source

Ultra‐Fast Non‐Volatile Resistive Switching Devices with Over 512 Distinct and Stable Levels for Memory and Neuromorphic Computing

open access: yesAdvanced Functional Materials, EarlyView.
A materials and device design concept that comprises a self‐assembled ultra‐thin epitaxial ion‐transporting layer, an amorphous oxide overcoat oxygen‐blocking layer, and a partial filament formed during an electroforming step is proposed for low‐current multilevel resistive switching devices.
Ming Xiao   +17 more
wiley   +1 more source

Toward Architected Microstructures Using Advanced Laser Beam Shaping in Laser Powder Bed Fusion of Ti‐6Al‐4V

open access: yesAdvanced Functional Materials, EarlyView.
This research applies advanced laser beam shaping (LCoS‐SLM) to fabricate the Ti‐6Al‐4V alloy via laser powder bed fusion. A tailored beam is used to prevent martensite formation and create a dual α+β microstructure by controlling cooling rates.
Reza Esmaeilzadeh   +8 more
wiley   +1 more source

Home - About - Disclaimer - Privacy