Results 81 to 90 of about 603,715 (266)
Extrapolating Tree Transformations [PDF]
, 2002 We consider the framework of regular tree model checking where sets of configurations of a system are represented by regular tree languages and its dynamics is modeled by a term rewriting system (or a regular tree transducer). We focus on the computation of the reachability set R*(L) where R is a regular tree transducer and L is a regular tree language.
Bouajjani, Ahmed, Touili, Tayssir
openaire +2 more sources
Extrapolation Method for the No-Core Shell Model
, 2004 Nuclear many-body calculations are computationally demanding. An estimate of their accuracy is often hampered by the limited amount of computational resources even on present-day supercomputers.
A. Nogga +9 more
core +1 more source
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez +5 more
wiley +1 more source
Наукові праці Лісівничої академії наук України, 2019 The most negative result of the mass decline of the spruce forests in the Ukrainian Carpathians is the loss of most of the spruce wood stock, which is practically uncontested for many industries.
Yuriy Shparyk
doaj +1 more source
Advanced Engineering Materials, EarlyView.Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
Flavour singlet pseudoscalar masses in N_f = 2 QCD
, 2000 We perform a lattice mass analysis in the flavour singlet pseudoscalar channel on the SESAM and TXL full QCD vacuum configurations, with 2 active flavours of dynamical Wilson fermions at beta = 5.6.
Bali, G. +10 more
core +1 more source
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
Ecology and Society, 2006 Wildlife populations are experiencing increasing pressure from human-induced changes in the landscape. Stressors including agricultural and urban land use, introduced invasive and exotic species, nutrient enrichment, direct human disturbance, and toxic ...
Wayne R. Munns, Jr.
doaj +1 more source
On the Convergence of (Stochastic) Gradient Descent with Extrapolation for Non-Convex Optimization
, 2019 Extrapolation is a well-known technique for solving convex optimization and variational inequalities and recently attracts some attention for non-convex optimization. Several recent works have empirically shown its success in some machine learning tasks.
Jin, Rong +4 more
core +1 more source
Duplex Stainless Steel Laser‐Surface Textured: Stability in Brine Solution
Advanced Engineering Materials, EarlyView.Controlled laser‐surface treatment (LST) of duplex DSS2205 steel is performed to increase its stability in brine solution under cyclic electrochemical assays. The superior protection with respect to flat and smooth panels is attributed to the presence of FeCr2O4 as the main protective oxide layer in the LST surface, after corrosion tests. The stability
Mohammad Rezayat +5 more
wiley +1 more source