Results 91 to 100 of about 14,639 (283)
Application of Raman and Photoluminescence Spectroscopy to MgO‐C Refractories
Advanced Engineering Materials, EarlyView.Visible to near infrared luminescence of MgO is studied on MgO‐C bricks and nominally pure MgO powder, with focus on two similar sharp high‐intensity signals, at 699 and 871 nm, each surrounded by symmetrical sidebands. The nature of these sidebands is investigated by temperature‐dependent spectroscopic measurements, confirming phonon involvement by ...
Julia Richter +5 more
wiley +1 more source
Correctness of copy in calculi with letrec, case, constructors and por [PDF]
, 2007 This paper extends the internal frank report 28 as follows: It is shown that for a call-by-need lambda calculus LRCCP-Lambda extending the calculus LRCC-Lambda by por, i.e in a lambda-calculus with letrec, case, constructors, seq and por, copying can be ...
Schmidt-Schauß, Manfred
core
Advanced Engineering Materials, EarlyView.Disordered (Fe50Co50)1−xPtx thin films exhibit a pronounced anomalous Nernst effect (ANE) with a strong composition dependence on both rigid and flexible substrates. The transverse thermoelectric response peaks near 22.5 at.% Pt, accompanied by enhanced αxy/σxy scaling, thermal transport, and ANE sensitivity.
Mojtaba Mohammadi +2 more
wiley +1 more source
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.A combined finite element and phase‐field approach predicts the evolution of microstructure during the directional solidification of Ni‐based superalloys. The model reveals how withdrawal rate, temperature gradient, and wall thickness control the dendrite spacing, highlighting the strong effect of surface regions in thin sections where dendrite growth ...
Sean Böhm +3 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.ZnS‐MXene‐TiO2 nanocomposite heterojunction for photocatalytic decomposition of this methylene blue dye (MB) greatly improves light absorption, charge separation, and active site area. Two‐dimensional MXene forms nanocomposites by easily combining them with 0D (quantum dots), 1D (tube and wire), 2D (plane and sheet), and 3D (particle and lamellar ...
Latiful Kabir +7 more
wiley +1 more source
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
Polymorphic lambda calculus and subtyping
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fiech, Adrian, Schmidt, David A.
openaire +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