Results 61 to 70 of about 31,361 (278)
Arthritis Care &Research, Accepted Article.Objective This research article aims to describe the prevalence, associations and health‐related quality‐of‐life (HRQoL) impact of mucocutaneous features of SLE. Methods Data from the Asia‐Pacific Lupus Collaboration cohort were analysed (2013‐2021). Mucocutaneous activity (MC‐A) items were rash, alopecia and mucosal ulcers; defined by the SLEDAI‐2K ...
Amanda M Saracino +42 more
wiley +1 more source
Light Logics and the Call-by-Value Lambda Calculus [PDF]
Logical Methods in Computer Science, 2008 The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic.
Paolo Coppola +2 more
doaj +1 more source
GLC actors, artificial chemical connectomes, topological issues and knots [PDF]
, 2013 Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot ...
Buliga, Marius, Kauffman, Louis H.
core
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.ErB4 and NdB4 nanostructured powders are produced by mechanochemical synthesis. 5 h mechanical alloying and 4 M HCl acid leaching are used in the production. ErB4 and NdB4 powders exhibit maximum magnetization of 0.4726 emu g−1 accompanied with an antiferromagnetic‐to‐paramagnetic phase transition at about TN = 18 K and 0.132 emu g−1 with a maximum at ...
Burçak Boztemur +5 more
wiley +1 more source
Beta Reduction is Invariant, Indeed (Long Version) [PDF]
, 2014 Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is $\lambda$-calculus a reasonable machine?
Accattoli, Beniamino, Lago, Ugo Dal
core
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
Proving Soundness of Extensional Normal-Form Bisimilarities [PDF]
Logical Methods in Computer Science, 2019 Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $\lambda$-calculi by decomposing their normal forms into bisimilar subterms.
Dariusz Biernacki +2 more
doaj +1 more source
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
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus [PDF]
Logical Methods in Computer Science, 2014 We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calculus for quantum computation.
Ali Assaf +4 more
doaj +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source