نتایج جستجو برای: normalising
تعداد نتایج: 687 فیلتر نتایج به سال:
Background Normalised left ventricular mass (LVM) is a powerful prognostic tool. Traditionally, normalising has been achieved by indexing LVM to body surface area (BSA). A recent ‘Multiethnic Study of Atherosclerosis’ (MESA) sub-study demonstrated indexing LVM to height is more sensitive at identifying left ventricular hypertrophy (LVH) associated with cardiovascular events and all-cause death....
The covariant type system is rich enough to represent polymorphism on inductive types, such as lists and trees, and yet is simple enough to have a set-theoretic semantics. Its chief novelty is to replace function types by transformation types, which denote parametric functions. Their free type variables are all in positive positions, and so can be modelled by covariant functors. Similarly, term...
We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this extension of λ-calculus: it is able to statically describe the linear combinations of terms that will be obtained when reducing the programs. This gives rise to an original type theory where types, in the same way as terms, can be superposed into linear combinations. ...
چکیده ندارد.
چکیده ندارد.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید