Browsing Artículos 2016 by Title
Now showing items 30-35 of 35
-
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 ... -
Propiedades de un hilorama clásico
(2016)Un hilorama es una figura formada mediante hilos o cuerdas que unen dos segmentos y se van cruzando entre sí. El efecto visual de estas figuras es llamativo y se utiliza en el arte, el diseño y la arquitectura. En este ... -
Proving correctness of a compiler 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 ... -
Recent developments in GEANT 4
(2016)GEANT4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, ... -
Spectra of lens spaces from 1-norm spectra of congruence lattices
(2016)To every n-dimensional lens space L, we associate a congruence lattice L in Zm, with n = 2m−1 and we prove a formula relating the multiplicities of Hodge-Laplace eigenvalues on L with the number of lattice elements of a ... -
Structure of the Ru, Ag and Te L X-ray emission spectra
(2016)The emission of X-rays in atomic transitions from L-shell vacancy states of Ru, Ag and Te induced by electron incidence was studied. To this end, L X-ray spectra were measured with a wavelength dispersive spectrometer, and ...