Artículos 2016
Recent Submissions
-
Influence of the incorporation of fibers in biscuit dough on proton mobility characterized by time domain NMR
(2016)The effect of fiber addition on the distribution and mobility of protons in biscuits is studied by using low resolution time domain Nuclear Magnetic Resonance (TD-NMR). The proportion of flour is reduced in order to ... -
Aplicación de simulación con dinámica molecular al cálculo de energía relativa de borde de grano en hielo
(2016)En este trabajo se calculó la energía de los bordes de grano en hielo y la energía superficial del hielo mediante simulaciones de dinámica molecular en muestras bicristalinas con bordes de grano simétricos en función de ... -
Plasmatic biochemical variables associated with polymorphisms in the endothelin-1 and endothelin-1 receptor a genes in hypertensive patients : pilot study
(2016)Aims: Endothelin-1 (ET-1) is a potent vasoconstrictive peptide, and its activity is mediated by the type A receptor (EDNRA). This action may play a significant role in the etiology of hypertension. There are different works ... -
Proving compiler correctness using step-indexed logical relations
(2016)In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ... -
High resolution, week-long, locomotion time series from Japanese quail in a home-box environment
(2016-06-07)Temporal and spatial patterns of locomotion reflect both resting periods and the movement from one place to another to satisfy physiological and behavioural needs. Locomotion is studied in diverse areas of biology such as ...