Results 141 to 150 of about 286,253 (378)
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
"Writing nutritionistically": A critical discourse analysis of lay people's digital correspondence with the Swedish Food Agency. [PDF]
Bergman K+3 more
europepmc +1 more source
Internal Temperature Evolution Metrology and Analytics in Li‐Ion Cells
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]
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
Wheeler on Greek Accentuation - Der Grieshische Nominal-Accent. Von Benjamin J. Wheeler. Strassburg. Trübner. 3 Mk. 80. [PDF]
John Peile
openalex +1 more source
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
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
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