Para el análisis de sistemas reactivos y de tiempo real se destacan dos enfoques formales: la verificación de modelos y el análisis deductivo basado en asistentes de pruebas. El primero se caracteriza por ser completamente automatizable pero presenta dificultades al tratar sistemas con un gran número de estados o que tienen parámetros no acotados. El segundo permite tratar con sistemas arbitrar...

RESUMEN El feto expresa durante el embarazo antígenos procedentes del padre que no provocan el rechazo como cualquier otro injerto semi-alogénico. Entre los sistemas implicados en la inducción de la tolerancia materno-fetal, se encuentra la enzima indolamina 2,3-dioxigenasa (IDO) que inicia la degradación del triptófano. Al consumir el triptófano provoca una inhibición de la respuesta de las cé...

We investigated interfacial behaviors of erlotinib (EL) on gold nanoparticles (AuNPs) by means of Raman spectroscopy. The adsorption reactions and structures of EL on AuNP surfaces were examined by UV-Vis absorption spectroscopy and surface-enhanced Raman scattering (SERS). Density functional theory calculations were performed to estimate the energetic stabilities of the drug-AuNP composites. A...

El papel de los distintos brazos del Sistema Inmune en el control y la eliminación de tumores ha sido objeto de un interés creciente. En este trabajo se discuten, en el marco de la teoría de la “inmunoedición”, una serie de datos recientes acerca del papel de la inmunidad en el control de los tumores. En particular, se comentan los datos de Guerra y cols acerca del papel de las células NK en la...

Desde hace ya unos años la aproximación al diagnóstico y tratamiento del nódulo y cáncer diferenciado de tiroides (CDT) de origen epitelial se ha ido modificando basándose en la mayor experiencia acumulada, en el gran número de evidencias de que se dispone sobre los mismos, el interés y las controversias que suscitan las diferentes conductas posibles, ası́ como en la disponibilidad de instrument...

La accesibilidad web debe ser un requisito en los proyectos de desarrollo web por varias razones: normativa y legislación, evitar la discriminación de ciudadanos en el uso de las TIC, integrar y favorecer la autonomía de las personas con discapacidad, obtener beneficios de negocio como mejor posicionamiento (Search engine optimization) además de un ágil mantenimiento de aplicaciones web. Sin em...

Recent developments in empirical likelihood (EL) methods are reviewed. First, to put the method in perspective, two interpretations of empirical likelihood are presented, one as a nonparametric maximum likelihood estimation method (NPMLE) and the other as a generalized minimum contrast estimator (GMC). The latter interpretation provides a clear connection between EL, GMM, GEL and other related ...

El filtrado personalizado en aplicaciones Web consiste básicamente en la selección un subconjunto de los elementos de un gran conjunto de objetos, de acuerdo a las características del usuario. Las técnicas más habituales para realizarlo, como son el filtrado basado en contenidos o el basado en las preferencias de grupos, utilizan de manera directa o indirecta información sobre el dominio de la ...

«Acceso abierto» (open access [OA]) a la literatura científica significa el libre acceso inmediato, sin barreras económicas ni técnicas, y sin restricciones derivadas de los derechos de autor (copyright). No se trata simplemente de tener acceso gratis; en este modelo, el autor mantiene el copyright y además permite al lector utilizar la información a la que está accediendo, con ciertas condicio...

En este articulo de describe detalladamente el algoritmo de conexión de datos a un servidor TCP, Utilizando el modulo GPRS/GSM WISMO228, un PIC18F452, un pantalla táctil, una LCD 4x20. El Microcontrolador PIC18F452 Configura por medio de comandos AT vía serial a una velocidad de 9600 baudios al modulo WISMO228, configurándole el STACK TCP/IP, el proveedor de servicio (APN), la IP y puerto de Co...