Deadlock detection of Java Bytecode

This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Evaluación de la prescripción de antibióticos en infecciones respiratorias agudas superiores en niños de uno a cinco años en el primer nivel de atención

Objetivo. Describir el patrón de prescripción de antibióticos en niños de uno a cinco años en el primer nivel de atención. Metodología. Se realizó un estudio observacional descriptivo, transversal en 119 pacientes con diagnóstico de IRAS, realizándose hisopado orofaríngeo para detección del antígeno de GABS con el test Areta, además se revisaron expedientes clínicos para evaluar criterios diagnósticos y manejo. Resultados. Se prescribió antibiótico a 79 pacientes, siendo positivos el 35.5% de los test. Los tratados con aminopenicilinas (n=67), macrólidos (n=11) y Sulfamidas(n=1) obtuvieron resultado positivo en 44.8%, 72.7%, 100% de los casos, respectivamente. Conclusiones. Se demostró una prescripción excesiva de antibióticos en IRAS con alta probabilidad de etiología viral. En ocasiones no se logra diferenciar entre etiología viral o bacteriana, por lo que es necesario una prueba complementaria para la evaluación de casos en el primer nivel de atención para un mejor diagnóstico y tratamiento.Tesis presentada para optar al título de Doctorado en Medicin

Contribución de los Modelos de Desarrollo Turísticos en la Conservación y Promoción del Patrimonio Cultural en el Municipio de San Ramón, Departamento de Matagalpa, durante el II semestre del 2009

El presente estudio refleja la Contribución de los Modelos de Desarrollo Turísticos en la Conservación y Preservación del Patrimonio Cultural del Municipio de San Ramón, Departamento de Matagalpa, durante el II semestre del 2009. Dentro de los Modelos de Desarrollo Turístico presentes en el Municipio se seleccionaron tres territorios representativos con sus respectivos modelos, puesto que ya han sido estudiados las condiciones ambientales y turísticas, contando con la accesibilidad de información y disponibilidad de los propietarios permitiendo describir la Contribución de la Finca la Canavalia con Agroturismo, Agro ecoturismo en la Finca La Hermandad y Turismo Rural Comunitario en la Comunidad de la Pita en la Conservación y Preservación de las jornadas laborales tradicionales y las manifestaciones de la Cultura Viva a través de la gastronomía, siendo necesario el levantamiento del Inventario del Patrimonio Tangible e Intangible del Municipio de San Ramón. Para la recolección de la información se aplicó el método teórico en el análisis, síntesis, inducción y deducción de información secundaria; método empírico en obtención de información a través de encuestas y guía de visitas de campo a las siguientes organizaciones e instituciones: Alcaldía Municipal y sus Comisiones, Centro Promocional Cristiano y Centro de Información Turística. Como resultado de la investigación el Patrimonio Cultural de San Ramón identificado dentro del Patrimonio Tangible: la Iglesia Católica por su antigüedad, Minas de Oro, dentro de las manifestación del Patrimonio Intangible esta la Historia de la Introducción del Café y Tradiciones Religiosas como la Gritería, recursos de gran valor históric

Diseño de una aplicación de animación gráfica haciendo uso de software libre para simular el funcionamiento del modelo OSI, tema impartido en la asignatura Teletratamiento de redes I de la carrera Licenciatura en Ciencias de la Computación del CUR-Matagalpa UNAN Managua, durante el período del año 2008

El presente trabajo consiste en el diseño de una aplicación de animación gráfica haciendo uso de software libre para simular el funcionamiento del modelo OSI, tema impartido en la asignatura Teletratamiento de redes I de la carrera Licenciatura en Ciencias de la Computación del CUR-Matagalpa UNAN Managua. Esta aplicación es un software obtenido de la combinación y edición de música, video, locución, imágenes, iconos y texto. contodo ello, pretendemos fortalecer el proceso de enseñanza-aprendizaje, de los estudiantes de la carrera de licenciatura en ciencias de la computación, así como también apoyar al docente que imparta la asignatura de teletratamiento de redes I

Artefacto y espacio de trabajo matemático en la multiplicación de números complejos

La representación de la multiplicación en el sistema numérico de los números complejos suele presentarse con un fuerte énfasis en lo algebraico, lo que lleva a una comprensión parcial de esta propiedad. A partir de lo anterior, en el presente trabajo se investiga sobre el proceso de aprendizaje de la multiplicación de los números complejos, con el objetivo de enseñar este contenido privilegiando el registro gráfico a partir de la teoría de Espacio de Trabajo Matemático. En esta investigación cualitativa se ha implementado una propuesta de aprendizaje en una primera fase con 34 estudiantes de ingeniería; y en una segunda fase con 4 estudiantes de Matemática, ambos grupos de estudiantes pertenecientes a primer año universitario (18-19 años). A partir de los resultados se evidencia que al realizar tratamientos y conversiones entre los registros semióticos usados con un artefacto de tipo software, no sólo se permite la activación de las distintas génesis del ETM, sino que también produce circulaciones en el ETM personal del estudiante, lo que lleva a una mejora en la comprensión del objeto matemático en cuestión

Un enfoque bayesiano en modelos heterocedásticos de series de tiempo y su aplicación en la volatilidad de activos financieros

El estudio de la variabilidad de un activo se ha convertido en las últimas décadas en un concepto muy importante en el área financiera. Se han propuesto varios modelos en la literatura para evaluar este fenómeno. En este trabajo, se estudia la modelación de la volatilidad de activos financieros, mediante un enfoque bayesiano. Para la modelación se utilizó modelos de heterocedasticidad condicional autorregresiva generalizada y su principal generalización multivariada, los modelos con correlación condicional dinámica DCC - GARCH. Para los errores de estos modelos se consideraron distribuciones de probabilidad posiblemente asimétricas y leptocúrticas, las cuales se parametrizan en función de la asimetría y el peso de las colas, por lo que se estiman también estos parámetros adicionales a los modelos. La estimación de los parámetros del modelo heterocedástico se realizó mediante la metodología MCMC, algoritmo Metropolis - Hastings caminata aleatoria, presente en el paquete bayesDccGarch software R, considerando datos diarios del 1 de abril del 2015 al 31 de enero del 2020 de las series estadísticas de las bolsas de valores de cierre diario de los índices bursátiles de Frankfurt (DAX), Tokio (NIKKEI225) y París (CAC40), y además del índice General de la Bolsa de Valores de Lima (BVL). El enfoque bayesiano para la estimación de los parámetros del modelo heterocedástico que modela la volatilidad de estos activos financieros facilita la interpretación y brinda la posibilidad de insertar información a priori para los parámetros