Results 101 to 110 of about 31,361 (278)
Polymorphic lambda calculus and subtyping
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fiech, Adrian, Schmidt, David A.
openaire +1 more source
Numerical Exploration of Thermal Shock Resistance in MgO–C Refractories
Advanced Engineering Materials, EarlyView.A mesostructure‐resolved numerical framework is developed to evaluate the thermal shock resistance of MgO–C refractories. By modeling interface debonding under rapid temperature changes and introducing a modified thermal shock parameter that accounts for mesocracks, the study shows how graphite content and aggregate size influence thermal shock ...
Jishnu Vinayak Gopi +3 more
wiley +1 more source
Influence of Test Temperature and Test Frequency on Fatigue Life of Aluminum Alloy EN AW‐2618A
Advanced Engineering Materials, EarlyView.The influence of test temperature and test frequency on the fatigue life of EN AW‐2618A is investigated. High‐cycle fatigue tests are performed at different test temperatures and frequencies on the 1000 h/230°C overaged state. Both test parameters reduce fatigue life due to time‐dependent damage mechanisms.
Ying Han +5 more
wiley +1 more source
Enhanced Strength and Corrosion Resistance of Ti‐13Nb‐12Ta‐10Zr‐4Sn Alloy by Aging Treatment
Advanced Engineering Materials, EarlyView.This work systematically investigates the effect of aging treatment on mechanical properties and corrosion behavior of vacuum arc‐melted Ti‐13Nb‐12Ta‐10Zr‐4Sn alloy. Owing to the increased α″ martensite, strength and corrosion resistance were significantly enhanced by aging treatment.
Yuhua Li +5 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir +5 more
wiley +1 more source
Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations
Bulletin of the Section of LogicIn this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj +1 more source
, 2013 This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional lambda calculus.
openaire +2 more sources
An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials
Advanced Engineering Materials, EarlyView.An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut +16 more
wiley +1 more source
, 1999 The goal of this paper is to lay a logical foundation for discourse theories by providing analgebraic foundation of compositional formalisms for discourse semantics as an analogon tothe simply typed (lambda)-calculus. Just as that can be specialized to type theory by simply providinga special type for truth values and postulating the quantifiers and ...
Kohlhase, Michael, Kuschert, Susanna
openaire +1 more source
Advanced Functional Materials, EarlyView.In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source