Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Tissue- specific DNA methylation profiles in newborns

Experimental and epidemiological studies demonstrate that fetal growth restriction and low birth weight enhance the risk of chronic diseases in adulthood. Derangements in tissue-specific epigenetic programming of fetal and placental tissues are a suggested mechanism of which DNA methylation is best understood. DNA methylation profiles in human tissue are mostly performed in DNA from white blood cells. The objective of this study was to assess DNA methylation profiles of IGF2 DMR and H19 in DNA derived from four tissues of the newborn. We obtained from 6 newborns DNA from fetal placental tissue (n = 5), umbilical cord CD34+ hematopoietic stem cells (HSC) and CD34- mononuclear cells (MNC) (n = 6), and umbilical cord Wharton jelly (n = 5). HCS were isolated using magnetic-activated cell separation. DNA methylation of the imprinted fetal growth genes IGF2 DMR and H19 was measured in all tissues using quantitative mass spectrometry. ANOVA testing showed tissue-specific differences in DNA methylation of IGF2 DMR (p value 0.002) and H19 (p value 0.001) mainly due to a higher methylation of IGF2 DMR in Wharton jelly (mean 0.65, sd 0.14) and a lower methylation of H19 in placental tissue (mean 0.25, sd 0.02) compared to other tissues. This study demonstrates the feasibility of the assessment of differential tissue specific DNA methylation. Although the results have to be confirmed in larger sample sizes, our approach gives opportunities to investigate epigenetic profiles as underlying mechanism of associations between pregnancy exposures and outcome, and disease risks in later life.

Bacteriemia asociada a catéter epicutáneo en la unidad de cuidado intensivo neonatal de la Fundación Cardioinfantil

La bacteriemia asociada a catéter afecta a pacientes en las unidades de cuidado intensivo con una alta morbilidad, mortalidad y aumento de los costos al sistema de salud. Los recién nacidos son la población de más alto riesgo por el mayor uso de catéteres centrales. Objetivo: Caracterizar factores de riesgo para bacteriemia asociada a catéter en la Unidad de Cuidado Intensivo Neonatal de la Fundación Cardioinfantil entre 2005 - 2010 Materiales y método: Estudio descriptivo de corte transversal, incluyó todos los recién nacidos con diagnostico de bacteriemia asociada a catéter. Se analizó la información utilizando frecuencias y medidas de tendencia central. Resultados: Se encontraron 50 pacientes con diagnostico de bacteriemia asociada a catéter. 50% de género masculino, 52% con edad gestacional al nacimiento menor a 36 semanas y 24% con peso menor a 1500 gramos al momento de la inserción del catéter. La edad fue de 24.2 días al momento de la inserción del catéter. En el 66% de los pacientes el sitio de inserción fue el miembro superior, siendo el Sthaphylococcus Epidermidis el germen con el 50% de las bacteriemias. Conclusión: La bacteriemia asociada a catéter afecta paciente prematuros, de bajo peso sin diferencias en genero. La manipulación de dichos dispositivos, el sitio de inserción, el uso previo de antibióticos, la duración del catéter y el uso de nutrición parenteral son factores que están asociados al mayor riesgo de infección. Siendo el Staphylococcus Epidermidis el germen mas frecuente.

Seguridad de los antipsicoticos en embarazo en pacientes con psicosis. Revisión sistemática

Enfermedades mentales de tipo psicótico en gestantes se han asociado con mayor número de resultados negativos. Los síntomas psicóticos durante el embarazo se presentan aproximadamente 7.1 por 100.000 casos. Dentro de las consecuencias se incluye mayor riesgo de parto pretérmino, bajo peso al nacer, alteraciones placentarias, malformaciones congénitas de predominio cardiovascular y mayor tasa de muertes perinatales. Como abordaje terapéutico son frecuentes los antipsicóticos de primera generación, aceptados como seguros pero en menor grado se han considerados los antipsicóticos de segunda generación pues ha sido escasamente evaluada su seguridad durante la gestación. Aún existe controversia sobre los potenciales efectos secundarios de algunos antipsicóticos dado los resultados contradictorios. Métodos: Revisión sistemática de la literatura de artículos que proporcionaron mejor evidencia para determinar cuáles antipsicóticos de elección durante la gestación en pacientes con esquizofrenia de acuerdo a su perfil de seguridad. Se evaluó calidad metodológica reconociendo particularidades y resultados de los estudios incluidos. Resultados: De 39 estudios seleccionados, cinco fueron incluidos en esta revisión, clasificándose como nivel de evidencia IIa y evaluados según su calidad metodológica con escala NOS. Se evaluó paso placentario de antipsicóticos, malformaciones fetales, complicaciones obstétricas como parto pretérmino, bajo y alto peso fetal, complicaciones respiratorias, diabetes gestacional, aborto espontáneo, entre otros. Discusión: Se debe sopesar el riesgo-beneficio, la significancia estadística, la significancia clínica y las particularidades de las pacientes a tratar. Conclusión: Los estudios analizados evaluaron diferentes medicamentos antipsicóticos, dificultando consolidación de información en especial en conclusiones solidas ante algunas premisas como fármacos de elección.

PNP & AHS Assignment podcast

A brief introduction to the nursing assessemnt for the PNP and AHS modules

Transmisiones deportivas como género mediático y periodístico: Análisis pragmático de las transmisiones colombianas de la Copa Mundial – Sudáfrica 2010

En este trabajo académico se presentan los resultados de un estudio cualitativo-pragmático de una muestra de las transmisiones la Copa del Mundo de fútbol de 2010 realizadas por la televisión abierta colombiana. Se argumenta que las transmisiones deportivas (dentro de las cuales las transmisiones de fútbol son las más extendidas) deben ser entendidas como un género mediático y periodístico específico y, por tanto, deben ser analizadas desde criterios diferentes a otros productos tradicionales de la comunicación masiva.

Los horarios laborales y su influencia en la percepción del equilibro trabajo-familia

Conciliar el trabajo y la familia es una lucha cotidiana que cada persona realiza para satisfacer las exigencias de ambas dimensiones de su vida. El no tener consciencia del problema que surge en el empleado para lograr esta conciliación y la ausencia de soluciones eficaces a éste, no sólo afecta a la organización a través de la baja productividad, el absentismo, el aumento del estrés, entre otros efectos; sino también a la vida familiar, social, física y psicológica del trabajador. Es por ello, que este proyecto de grado busca a partir de la revisión de la literatura mostrar cómo la percepción que tienen los trabajadores de su equilibrio trabajo-familia, se ve influenciada por un factor organizativo, como lo son los turnos laborales; además evidenciar las soluciones que se han implementado en las diferentes empresas de manera exitósa, para finalmente plantear estrategias que se puedan aplicar en las organizaciones facilitando el equilibrio trabajo-familia de los trabajadores.

Resiliencia organizacional: una aproximación

La resiliencia organizacional tiene como objetivo identificar y estudiar los diferentes factores que hacen posible que las organizaciones logren recuperarse al pasar por complejas adversidades. La idea es que dependiendo de cómo se retroalimenten estos factores se logre establecer que tan dispuesta esta una organización para afrontar un crisis y que tanta perturbación esta puede llegar a soportar antes de entrar a un punto en el cual ya no haya retorno. La idea de este nuevo constructo es hacer de las empresas un organismo más perdurable, el cual logre adaptarse fácilmente a las complejidades del mercado sin tener que sacrificar su independencia y su esencia diferenciadora.

Role of the cultural values as a key part in the implementing of healthy practices : exploratory research

El concepto de organización saludable cada vez toma más fuerza en el ámbito empresarial y académico, a razón de su enfoque integral y al impacto generado en distintos grupos de interés. Debido a su reciente consolidación como concepto, existe un limitado cuerpo de investigación en torno al tema. Para contribuir a la generación de conocimiento en este sentido, se desarrolló un estudio exploratorio el cual tenía como objetivo identificar la relación existente entre la implementación de prácticas saludables en las organizaciones y los valores culturales. En el estudio participaron 66 sujetos a quienes se les administró un cuestionario compuesto por nueve variables, cinco provenientes del modelo de Hofstede (1980) y cuatro más que evaluaban la implementación de prácticas organizacionales saludables. Los resultados obtenidos muestran que los valores culturales predicen la implementación de prácticas saludables.

Corticosteroides vs dosis bajas de adrenocorticotropina en el tratamiento de espasmos infantiles. Revisión sistemática de la literatura

Antecedentes: El tratamiento de los espasmos infantiles generalmente se realiza con ACTH a pesar de perfil de efectos secundarios y el alto costo financiero. Se ha propuesto el uso de los corticoides como primera línea de tratamiento para la enfermedad, no obstante no existe certeza sobre la eficacia de este esquema. Objetivos: Evaluar la eficacia del uso de los corticoides comparados con la ACTH como primera línea de tratamiento en el manejo de pacientes con espasmos infantiles. Metodología: Se realizó una revisión sistemática de la literatura. La búsqueda se efectuó en las bases de datos Pubmed, Embase, Ovid, LiLaCs y en el registro de ensayos clínicos de Estados Unidos. Se incluyeron estudios en portugués, ingles y español, no se fijo límite de tiempo para la publicación. Se realizó un análisis de riesgo de sesgo y de calidad de la evidencia utilizando el programa GRADEPRO. Se estimaron OR y sus respectivos intervalos de confianza al 95%. Resultados: Se incluyeron 4 estudios, un ensayo clínico y tres estudios de cohorte retrospectiva. Dos estudios aportaron evidencia de calidad moderada y alta. No se encontraron diferencias en la eficacia a corto plazo entre el uso de los corticoides y la ACTH sobre desenlaces clínicos o electroencefalográficos. No se encontraron estudios de seguridad a largo plazo. La seguridad a corto plazo no mostró diferencias. Conclusiones: Es muy probable que el uso de los corticoides como primera línea de tratamiento puedan reemplazar el uso de la ACTH, se requiere estudios de seguridad a largo plazo. La decisión de su uso rutinario debería estar basada en un análisis de costo efectividad y bajo la mirada del balance riesgo/beneficio.

Perspectivas del debate en torno al concepto de europeidad al interior de la Unión Europea a la luz de los criterios de adhesión de Copenhague

Cuando se habla de los límites y fronteras de Europa, actualmente no están definidos en su totalidad, resultando problemático en la subregión del este, donde se encuentran Estados como Ucrania, Bielorrusia, Turquía y otros más. La delgada línea que divide a Europa de Asia aún es confusa, por lo cual delimitar el concepto de europeidad implica contemplar más variables que lo geográfico y cultural. De esta manera, la incertidumbre que existe está relacionada con los atributos que tiene la europeidad, y como los ciudadanos se identifican con ella. La europeidad antes que un conjunto de valores atribuible a los ciudadanos o una herencia cultural común, es un concepto difuso, efímero y esquivo para algunos autores. La trascendencia de este concepto se hace manifiesta en el artículo 49 del Tratado de la Unión Europea donde se estipulan las condiciones para ser miembro de la Unión Europea (UE). Aunque ser miembro de la UE no es lo mismo que ser europeo hasta este momento es la forma más aceptable para denominar a un Estado como europeo.

La estructura de oportunidad política en la aparición del movimiento estudiantil mexicano de 1968

Este documento presenta un estudio de cómo los cambios en las dimensiones pertenecientes a la estructura de oportunidad política, fueron determinantes en la conformación identitaria de un movimiento, la estructuración de sus demandas y sus métodos de actuación

Análisis de la política petrolera venezolana durante el gobierno de Hugo Chávez como factor determinante de la Revolución Bolivariana (período 1999-2012)

Desde 1999, la política petrolera se constituyó como base del proyecto político chavista conocido como la Revolución Bolivariana, e incluso se convirtió en el eje de la participación, polarización y de las relaciones entre los principales actores del oficialismo y de la oposición venezolana.

Efectividad del uso de los conceptos y estrategias comunitarias en empresas del sector de servicios sociales y de salud.

Este estudio analiza la existencia de conceptos y estrategias comunitarias en relación de cómo una empresa en el sector de servicios sociales y salud entienden las estrategias de mercadeo y la influencia en el desempeño que pueden tener en su relación con el entorno. Para esto, se utilizo un enfoque de estudio de caso seleccionando un caso representativo con una empresa dentro del sector. Se definieron proposiciones y protocolos. Varias fuentes de evidencia fueron utilizadas como documentos, reportes de desempeño financiero y otra información de diferentes sectores relacionados; los mismos fueron analizados en el marco de la evidencia lógica. Se concluye que la empresa en el sector de servicios sociales y salud no utilizan conceptos ni estrategias comunitarias y que se podrían beneficiar del uso apropiado de estrategias comunitarias en su relación con la comunidad.

Material de apoyo : Una herramienta para el proceso de aprendizaje

El presente proyecto de aplicación práctica (P.A.P.) tuvo por objetivo verificar la siguiente hipótesis : si a los estudiantes de Modelos y Métodos Cuantitativos se les entrega material de apoyo, complementario a los textos guías