Results 91 to 100 of about 31,361 (278)
Advanced Engineering Materials, EarlyView.This study investigates laser‐based oxide removal of Cu inserts in oxygen‐free conditions and examines long‐term oxidation kinetics and surface chemistry under different atmospheres via X‐ray photoelectron spectroscopy. Al–Cu compound casting with differently oxidized surfaces is performed, and intermetallic phase formation, morphology, and thermal ...
Timon Steinhoff +9 more
wiley +1 more source
The Vectorial $\lambda$-Calculus
, 2013 Comment: Long and corrected version of arXiv:1012.4032 (EPTCS 88:1-15), to appear in Information and ...
Arrighi, Pablo +2 more
openaire +2 more sources
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
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
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
, 2013 The goal of our Macro Lambda Calculus project (MLC) is to encode lambda terms into interaction nets. Its software implementation will accept input in the notation similar to lambda calculus allowing macro definitions. Output is similar to interaction calculus and is suitable for our Interaction Nets Compiler program (INC).
openaire +2 more sources
Lambda Calculus with Explicit Recursion
Information and Computation, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ariola, Zena M., Klop, Jan Willem
openaire +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
BRICS Report Series, 1995 This paper introduces trust analysis for higher-order languages. Trust<br />analysis encourages the programmer to make explicit the trustworthiness of<br />data, and in return it can guarantee that no mistakes with respect to trust will<br />be made at run-time.
Ørbæk, P., Palsberg, J.
openaire +2 more sources
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