Results 111 to 120 of about 139,845,986 (286)
When Is a Type Refinement an Inductive Type? [PDF]
, 2011 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information. For example, the N-indexed type of vectors refines lists by their lengths.
Atkey, Robert +2 more
openaire +3 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Instruction Tenapanor potentially affects fluid volume and blood pressure. This study explored its effects on these parameters in patients undergoing peritoneal dialysis (PD). Methods We conducted a single‐arm, prospective observational study that enrolled 10 patients on PD with hyperphosphatemia who were newly initiated on tenapanor.
Shun Yoshida +11 more
wiley +1 more source
The Foundations of Classical Type-1 Complexity Theory
, 2006 f(x) = x 2, g(x) = 1 3 x3 Type-2: functionals, (N ⇀ N) ⇀ (N ⇀ N).
Type- Functions, Chung-chih Li
core
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Type Systems for Systems Types
, 2019 This thesis presents a framework aimed at significantly reducing the cost of proving functional correctness for low-level operating systems components, designed around a new programming language, Cogent. This language is total, polymorphic, higher-order, and purely functional, including features such as algebraic data types and type inference ...
openaire +3 more sources
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
, 2014 CALR (calreticulin) trails JAK2 as the second most mutated gene in essential thrombocythemia (ET). Mutant CALR in ET is a result of frameshift mutations, caused by exon 9 deletions or insertions; type-1, 52-bp deletion (p.L367fs*46), and type-2, 5-bp ...
Wolanskyj, A. P. +33 more
core +1 more source
Journal of Lipid Research, 2001 Lipoprotein [a] (Lp[a]) is a cholesterol-rich lipoprotein resembling LDL to which a large polymorphic glycoprotein, apolipoprotein [a] (apo[a]), is covalently coupled.
John W. Gaubatz +7 more
doaj +1 more source
Several Types of Types in Programming Languages [PDF]
, 2016 Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of ...
openaire +3 more sources
The human gut microbiome across the life course
FEBS Letters, EarlyView.Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero +4 more
wiley +1 more source