Results 71 to 80 of about 491 (265)
, 2016 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. We give
Mauricio Ayala-Rincón +2 more
openaire +3 more sources
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
Low‐Angle Grain Boundaries and Re‐Segregation in Single‐Crystalline Ni‐Base Superalloys
Advanced Engineering Materials, EarlyView.This work demonstrates that Re‐segregation at low‐angle grain boundaries (LAGBs) in Ni‐base superalloys is influenced by misorientation angle. Advanced microscopy and atom probe tomography reveal that higher misorientation angles increases Re‐segregation.
Alireza B. Parsa +9 more
wiley +1 more source
The Disambiguation of Nominalizations [PDF]
Computational Linguistics, 2002 This article addresses the interpretation of nominalizations, a particular class of compound nouns whose head noun is derived from a verb and whose modifier is interpreted as an argument of this verb. Any attempt to automatically interpret nominalizations needs to take into account: (a) the selectional constraints imposed by the nominalized compound ...
openaire +2 more sources
Creating Ti–Fe α/β Alloys by Diffusion‐Driven Solid‐State Processing
Advanced Engineering Materials, EarlyView.This study proposes making alloys containing fast diffusing elements that are difficult to produce by ingot metallurgy, by diffusion‐driven solid‐state HIP processing of elemental powders and low‐temperature homogenisation. Here, novel Fe‐Ti α–β alloys are formed having fine α–β lamellae, a small β prior grain size without significant intermetallics ...
Jiaqi Xu +10 more
wiley +1 more source
Time‐Dependent Oxidation and Scale Evolution of a Wrought Co/Ni‐Based Superalloy
Advanced Engineering Materials, EarlyView.This study shows how a new wrought Co/Ni‐based superalloy resists oxidation at 800 ∘$^\circ$C. The oxide scale changes from rough, fast‐growing spinel to a dense, protective chromia–alumina layer. Atom probe analysis reveals tiny refractory‐rich bubbles at the interface that mark the transition to long‐term, diffusion‐controlled protection ...
Cameron Crabb +6 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source
Scientific Representation and Nominalism: An Empiricist View
Principia: An International Journal of Epistemology, 2008 Can a constructive empiricist make sense of scientific representation? Usually, a scientific model is an abstract entity (e.g., formulated in set theory), and scientific representation is conceptualized as an intentional relation between scientific ...
Otávio Bueno
doaj
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 more
wiley +1 more source