Results 61 to 70 of about 14,639 (283)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective In multiple sclerosis, the optimal time for deploying a therapeutic intervention is before the central nervous system is damaged; given the success of trials treating the earliest stage of MS, the radiologically isolated syndrome, developing primary prevention strategies is an important next challenge.
Amy W. Laitinen +7 more
wiley +1 more source
Semantics of Higher-Order Recursion Schemes [PDF]
Logical Methods in Computer Science, 2011 Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted semantics in every Scott's model of \lambda-calculus in which the ...
Jiri Adamek, Stefan Milius, Jiri Velebil
doaj +1 more source
Lambda Calculus for Engineers [PDF]
, 2007 In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing.
Hartel, P.H., Vree, W.G.
core +1 more source
On the Relation of Interaction Semantics to Continuations and Defunctionalization [PDF]
, 2014 In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new compilation methods, e.g.
Schöpp, Ulrich
core +2 more sources
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
On the enumeration of closures and environments with an application to random generation [PDF]
, 2019 Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables.
Bendkowski, Maciej, Lescanne, Pierre
core +3 more sources
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
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