Results 101 to 110 of about 14,639 (283)
Advanced Engineering Materials, EarlyView.The subject of this work is the development of a corrosion‐protective coating on steel sheets for form hardening. Rapid heating in an extreme high vacuum (XHV)‐adequate atmosphere is a useful method to prevent oxidation during alloying of 22MnB5 and aluminum to obtain a metallurgical bonding.
Lorenz Albracht +5 more
wiley +1 more source
A decompilation of the pi-calculus and its application to termination [PDF]
, 2011 We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the ...
Amadio, Roberto
core +3 more sources
Deterministic Detection of Single Ion Implantation
Advanced Engineering Materials, EarlyView.Focused ion beam implantation with high detection efficiencies will enable the rapid and scalable fabrication of advanced spin‐based technologies such as qubits. This work presents the detection efficiencies of a wide range of ions implanted into solid‐state hosts, with efficiencies of >90% recorded for ion species and substrate combinations of ...
Mason Adshead +6 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Cermets (60 vol.% AISI 316L stainless steel, 40 vol.% recycled MgO), intended for use in aluminum electrolysis, were pre‐oxidized in three furnaces with different heating technologies and subjected to a cryolite corrosion test. The different atmospheres influenced the formation of oxide layers, which in turn affected corrosion resistance and ...
Patricia Kaiser +4 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Phase‐field simulations coupled with dislocation‐density‐based crystal plasticity modeling reproduce γ′ rafting behavior in single‐crystal Ni‐based superalloys under varied loading conditions. The model captures both macroscopic creep and microscopic morphology evolution, with results matching high‐temperature creep experiments.
Micheal Younan +5 more
wiley +1 more source
Numerical Exploration of Thermal Shock Resistance in MgO–C Refractories
Advanced Engineering Materials, EarlyView.A mesostructure‐resolved numerical framework is developed to evaluate the thermal shock resistance of MgO–C refractories. By modeling interface debonding under rapid temperature changes and introducing a modified thermal shock parameter that accounts for mesocracks, the study shows how graphite content and aggregate size influence thermal shock ...
Jishnu Vinayak Gopi +3 more
wiley +1 more source
, 2013 This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional lambda calculus.
openaire +2 more sources
Influence of Test Temperature and Test Frequency on Fatigue Life of Aluminum Alloy EN AW‐2618A
Advanced Engineering Materials, EarlyView.The influence of test temperature and test frequency on the fatigue life of EN AW‐2618A is investigated. High‐cycle fatigue tests are performed at different test temperatures and frequencies on the 1000 h/230°C overaged state. Both test parameters reduce fatigue life due to time‐dependent damage mechanisms.
Ying Han +5 more
wiley +1 more source
, 1999 The goal of this paper is to lay a logical foundation for discourse theories by providing analgebraic foundation of compositional formalisms for discourse semantics as an analogon tothe simply typed (lambda)-calculus. Just as that can be specialized to type theory by simply providinga special type for truth values and postulating the quantifiers and ...
Kohlhase, Michael, Kuschert, Susanna
openaire +1 more source
Enhanced Strength and Corrosion Resistance of Ti‐13Nb‐12Ta‐10Zr‐4Sn Alloy by Aging Treatment
Advanced Engineering Materials, EarlyView.This work systematically investigates the effect of aging treatment on mechanical properties and corrosion behavior of vacuum arc‐melted Ti‐13Nb‐12Ta‐10Zr‐4Sn alloy. Owing to the increased α″ martensite, strength and corrosion resistance were significantly enhanced by aging treatment.
Yuhua Li +5 more
wiley +1 more source