En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ...

Las artropatías microcristalinas son patologías inflamatorias inducidas por reacción celular al depósito de cristales en las articulaciones, resultan de la combinación de factores sistémicos y locales. Las miopatías se ...

En este trabajo muestro que hay un desencuentro profundo entre las teorías que Daniel Dennett – la llamada teoría de los sistemas intencionales – y Jerry Fodor – la teoría representacional de la mente – proponen para dar ...

Sea G un grupo finito no abeliano. Esta tesis trata acerca del problema de clasificación de las álgebras de Hopf punteadas complejas de dimensión finita H con grupo de elementos de tipo grupo G(H) isomorfo a G. Se analizan ...

En esta tesis se discuten algunos resultados generales referentes al problema de clasificación de álgebras de Hopf de dimensión finita sobre un cuerpo algebraicamente cerrado de característica cero. Como resultado más ...

Las técnicas tradicionales de análisis sintáctico definen modelos probabilísticos que permiten recorrer exhaustivamente el espacio de busqueda en tiempos razonables. En lugar de explicitamente definir un modelo y buscar ...

En este trabajo se estudian diferentes algoritmos de reconstrucción de imágenes basadas en un analizador de rayos X, con el objeto de separar los efectos de absorción, refracción y dispersión a ultra bajo ángulo, como ...

En este trabajo determinamos todas las funciones esféricas irreducibles Φ de cualquier K-tipo asociadas a los pares simétricos duales (G,K) = (SU(3), U(2)) y (SU(2, 1), U(2)). Esto se logra asociando a Φ una función a ...

La investigación consistió en la evaluación del llenado de los datos en la Historia Clínica Perinatal, de las pacientes atendidas en el Servicio de Maternidad del Hospital Regional, Dr. Ramón Carrillo, utilizando el software ...

Se estudia el análisis por reflexión total de rayos X; para ello se construye y caracteriza un dispositivo, denominado guía de haz, el cual asegura la irradiación de la muestra en condiciones de reflexión total. Se analizan ...