Results 71 to 80 of about 837,208 (348)
Termination Casts: A Flexible Approach to Termination with General Recursion
, 2010 This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
A. Abel +24 more
core +3 more sources
Advanced Engineering Materials, EarlyView.This study demonstrates an efficient recycling route for out‐of‐spec AlSi10Mg atomized powders through compaction and arc remelting followed by suction casting. By correlating compaction load, cooling rate, and resulting microstructure, we show that intermediate pressures (50–80 kN) and rapid cooling refine dendrites, reduce porosity, and enhance ...
Mila Christy de Oliveira +4 more
wiley +1 more source
Impact of the earthworm Lumbricus terrestris (L.) on As, Cu, Pb and Zn mobility and speciation in contaminated soils [PDF]
, 2011 To assess the risks that contaminated soils pose to the environment properly a greater understanding of how soil biota influence the mobility of metal(loid)s in soils is required. Lumbricus terrestris L. were incubated in three soils contaminated with As,
Hodson, Mark E. +3 more
core +1 more source
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
1. Wochenbericht POS408/3 [PDF]
, 2011 Leg 3, 23 – 28 February 2011, chief scientist: Dr. Anton Eisenhauer Within the project Nutrient Gradients (project 3) the coastal interaction between corals and macroalgae under different stress states (eutrophied versus non-eutrophied, with versus ...
Eisenhauer, Anton
core
Zein‐Based Adhesives: Sustainable Extraction and Application in Bioadhesive Technologies
Advanced Engineering Materials, EarlyView.Zein is extracted from corn gluten meal using a simple and scalable process with high yield (~90%). The resulting protein is applied in bioadhesives modified with Ca2+ and Fe3+ ions, exhibiting substrate‐dependent adhesion. The findings demonstrate competitive bonding performance and highlight the role of ionic interactions in tuning adhesion ...
Paula Bertolino Sanvezzo +3 more
wiley +1 more source
Sacrum et Decorum, 2019 In the holdings of Polish churches one can find liturgical vessels and artistic metal handcraft from the 19th century, designed in historical styles. These are handcraft items made of precious metals by goldsmiths and jewellers, as well as copper and
Małgorzata Kierczuk-Macieszko
doaj
Advanced Engineering Materials, EarlyView.The thermal diffusivity of MgO‐C refractories is highly sensitive to sample preparation and processing procedures. In this article, the effects of coking sequence, machining conditions, structural inhomogeneity, and graphite coating application on measurements using laser flash apparatus are systematically investigated.
Luyao Pan +4 more
wiley +1 more source
Rare Adult Case of Plastic Bronchitis in an Otherwise Healthy Adult
Respirology Case ReportsPlastic bronchitis (PB) is characterised by the formation of airway plugs at any level of the respiratory tract. Severe forms of PB can result in airway obstruction. It is more commonly seen in children.
Elen Gravell +2 more
doaj +1 more source
Driving sandpiles to criticality and beyond [PDF]
, 2010 A popular theory of self-organized criticality relates driven dissipative systems to systems with conservation. This theory predicts that the stationary density of the abelian sandpile model equals the threshold density of the fixed-energy sandpile.
A. Fey-den Boer +7 more
core +2 more sources