Results 281 to 290 of about 30,801,501 (320)
Correction to "Low Concentrations of Corticosterone Exert Stimulatory Effects on Macrophage Function in a Manner Dependent on Glucocorticoid Receptors". [PDF]
europepmc +1 more source
Is Ferroptosis the Mechanistic Bridge Connecting Iron Dysregulation to Muscle Wasting and Functional Decline in Aging? [PDF]
Zeidan RS +6 more
europepmc +1 more source
A Novel Peak-Shape Aware Approach for Mass Alignment in Mass Spectrometry. [PDF]
Vanhemel T +5 more
europepmc +1 more source
We study the properties of ultramodular functions, a class of functions that generalizes scalar convexity and that naturally arises in some economic and statistical applications.
MARINACCI, Massimo, MONTRUCCHIO, Luigi
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A functional functional interpretation
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014In this paper, we present a modern reformulation of the Dialectica interpretation based on the linearized version of de Paiva. Contrarily to Gödel's original translation which translated HA into system T, our presentation applies on untyped λ-terms and features nicer proof-theoretical properties.
openaire +2 more sources

