A library of Taylor models for PVS automatic proof checker

We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical software usually produces only numerical results. Our library can be used to produce both results and proofs. As seen during the development of Fermat's last theorem reported by Aczel 1996, providing a proof is not sufficient. Our library provides a proof that has been thoroughly scrutinized by a trustworthy and tireless assistant. PVS is an automatic proof assistant that has been fairly developed and used and that has no internal connection with interval arithmetic or Taylor models. We built our library so that PVS validates each result as it is produced. As producing and validating a proof, is and will certainly remain a bigger task than just producing a numerical result our library will never be a replacement to imperative implementations of Taylor models such as Cosy Infinity. Our library should mainly be used to validate small to medium size results that are involved in safety or life critical applications

Plan de gestión de calidad para la rehabilitación del Proyecto Hidroeléctrico de Tacares

Proyecto de Graduación (Licenciatura en Ingeniería en Construcción) Instituto Tecnológico de Costa Rica, Escuela de Ingeniería en Construcción, 2012.La Práctica Profesional Dirigida fue realizada en la Empresa de Servicios Públicos de Heredia S.A, esta consistió en realizar un plan de gestión de calidad en la rehabilitación del Proyecto Hidroeléctrico de Tacares. Este se basa en la Guía de los Fundamentos para la Dirección de Proyectos, documento fundamental del Project Management Institute, así como de aspectos establecidos en la norma ISO 9001-2008 (International Organization for Standardization), en la cual se especifican los requisitos para un sistema de gestión de la calidad The Directed Professional Practice was developed in the Empresa de Servicios Públicos de Heredia S.A, and it consisted in a quality management plan in the rehabilitation of the Proyecto Hidroeléctrico de Tacares. This is based by Guide to the Project Management Body of Knowledge (PMBOK® Guide) - fourth edition, document of the Project Management Institute, also was used the International Organization for Standardization ISO 9001-2008 standard. The objectives of this report are: determine the actual process about the quality management, define inputs requested for planning, monitoring and controlling the quality for this project, analyze and suggest some tools for planning, monitoring and controlling the quality, define clearly the sequence and links of each of the results of the successors procedures of the quality management and develop the quality management plan for the rehabilitation of hydroelectric projects. This repost contain procedures, form and different tools, provides to the company, to establish a quality control process in all the construction project of the ESPH S.A.Instituto Tecnológico de Costa Rica. Escuela de Ingeniería en Construcción; Empresa de Servicios Públicos de Heredia S.

La imputación penal en los delitos de celebración indebida de contratos

30 páginasLa Fiscalía debe realizar un estudio previo que consiste en tener en cuenta los elementos que estructuran la Teoría de la Imputación Objetiva, para que pueda solicitar audiencia de formulación de la imputación ante el juez de control de garantías, siempre y cuando estos elementos se den, si no es así, el ente de investigación deberá proceder inexorablemente al archivo de las correspondientes diligencia. De lo que se trata es poder demostrar que el sujeto ha creado un riesgo jurídicamente desaprobado y también que ese riesgo es el mismo que se ha concretado en la producción del resultado. En consecuencia, si el resultado es producto de un riesgo distinto, no puede serle atribuido al autor un delito de Celebración Indebida de Contratos.Especialización en Contratación EstatalEspecialista en Contratación Estata

Oil influence areas without economic nor social progress. Study case: Casanare

Durante mucho tiempo el descubrimiento de petróleo ha modificado la dinámica de las sociedades productoras de diferente manera, en muchas ocasiones para bien en muchas otras para mal. Se estudió la incidencia del petróleo dentro del marco socioeconómico en diferentes lugares del mundo y se analizó qué factores han hecho posible que las sociedades progresen o por el contrario se depriman ante la explotación de este recurso. En Colombia la bonanza petrolera de los años 90 se dio en una olvidada zona de la geografía nacional: los llanos orientales, más específicamente en Casanare, con el aporte de extraordinarios recursos que trae la explotación petrolera los problemas a resolver por parte de la región eran: pobreza, inequidad, sanidad, educación, vivienda; sin duda la bonanza aportaba valiosos recursos económicos para superar estos problemas, pero no solo el dinero fue suficiente para resolver los problemas; el capital humano, la voluntad política y la visión a largo plazo faltaron para sacar a Casanare adelante, crear tejido social y una verdadera y sostenible prosperidad económica para sus habitantes. Se analizaron estadísticas y estudios de organismos gubernamentales y no gubernamentales que comparan la situación de Casanare antes y después de la bonanza petrolera, se espera hacer un comparativo y concluir, qué se hizo, qué funcionó, qué faltó. El departamento de Casanare está viviendo una segunda bonanza petrolera con la viabilidad de explotar yacimientos de petróleo pesado, se espera hacer recomendaciones y mostrar lecciones aprendidas para que en esta segunda oportunidad llegue la prosperidad tan anhelada a Casanare.For a long time, oil discovery has modified differently the dynamics of producing societies, in certain cases with a good outcome, in some other cases with a bad result. In this research, the oil incidence was studied according to socioeconomic conditions in different places of the world. Factors related to the economic progress or depression of these geographical zones in regard to the oil exploitation were also analyzed in this study. In Colombia, oil bonanza during 1990’s took place in an obliterated region of the country: the Llanos Orientales (East of Colombia), more exactly in Casanare. With the vast amount of economic resources brought by the oil exploitation, the main issues to solve in the region were: poverty, inequality, public health, education, and dwelling. With no doubt, oil bonanza produced more than enough money to overcome these problems; however, human capital, political will, and long-term vision lacked to accomplish this objective. Statistics and data from governmental and non-governmental organizations, which compare the condition of Casanare before and after oil bonanza, were included in this research. We attempt to make a comparison to explain what was done, what worked and what remains to be done. The Department of Casanare is going through a second wave of oil bonanza by the possibility of exploiting heavy oil deposits. We expect to point out some suggestions and evidence the learned lessons, so that the longed prosperity can finally arrive to Casanare with this second opportunity

Caracterización de reacciones adversas a medicamentos en adultos mayores de 44 años en Bogotá, D.C., enero a diciembre, 2012

Introduction: In Colombia, aging of the population is a reality and elders consume more drugs than the young do. Consequently, they are more exposed to adverse drug reactions.Objective: To characterize suspected adverse drug reactions in adults over 44 years of age in Bogota in 2012.Materials and methods: We conducted a pharmacological surveillance study that included 470 reports of adverse drug events and associated problems with the use of drugs in adults over 44 years old included in the database of Bogotá’s pharmacosurveillance program.Results: We evaluated 470 reports of adverse drug events and associated problems with the use of drugs in adults over 44 years of age. From these, 432 reports (91.9%) were classified as suspected adverse drug reactions and 28 (6%), as associated problems with the use of drugs. The incidence rate for adverse drug events reported in Bogotá was 22.5 for every 100,000 elders, which increased in direct proportion to patients’ age. The most frequently reported drug was antibacterials with 94 notifications (20%). The organ system with the highest number of alterations was the skin and annexes with 21.2% of cases. Regarding severity assessment, 69.5% of adverse drug reactions were moderate, and as for causality, most adverse drug reactions were classified as possible, with 45.8% of the reports.Conclusions: The characterization of adverse drug reactions in older adults in Bogotá is similar to that reported in the literature for this population age group.Introducción. El envejecimiento de la población en Colombia es una realidad. Los ancianos consumen más medicamentos que los jóvenes, por lo que están más expuestos a las reacciones adversas que estos puedan provocar.Objetivo. Caracterizar las sospechas de reacciones adversas a medicamentos que se presentaron en los adultos mayores de 44 años en Bogotá, en el año 2012.Materiales y métodos. Se llevó a cabo un estudio de farmacovigilancia que incluyó 470 reportes de reacciones adversas a medicamentos y problemas relacionados con su uso en adultos mayores de 44 años registrados en la base de datos del Programa Distrital de Farmacovigilancia de Bogotá.Resultados. Se evaluaron 470 reportes de reacciones adversas y problemas relacionados con el uso de medicamentos en adultos mayores de 44 años. De estos, 432 reportes (91,9 %) correspondieron a la categoría de sospecha de reacción adversa a medicamentos y 28 (6 %), a la de problemas relacionados con su uso. La tasa de incidencia de eventos adversos notificados en Bogotá fue de 22,5 por 100.000 adultos mayores, la cual aumentó de forma directamente proporcional a la edad de los pacientes. El grupo farmacológico más reportado fue el de los antibacterianos, con 94 notificaciones. El sistema orgánico más comprometido fue la piel y sus anexos, con 21,2 % de los casos. En cuanto a la evaluación de la gravedad, el 69,5 % de las reacciones adversas fueron moderadas, y con relación a la causalidad, la mayoría, es decir, 45,8 % de los reportes, se catalogaron como posibles.Conclusiones. La caracterización de las reacciones adversas a medicamentos en adultos mayores de Bogotá es similar a la reportada en la literatura científica para este grupo de población

Estudio cualitativo de los contextos y su influencia en las causas de la aversión escolar en los niños (as) de primaria de la Escuela Primo Coghi Ferrari, de la comunidad de Ajenjal, en la ciudad de Cartago; realizado durante el año 2016.

La presente investigación se orientó en identificar las causas que pueden provocar aversión escolar, en los diversos contextos en que se desenvuelven los estudiantes de primaria que asisten a la escuela Primo Coghi Ferrari, ubicada en la comunidad de Ajenjal, en la ciudad de Cartago; por lo que se eligieron 11 estudiantes de diversos grados académicos que experimentaran aversión escolar, los cuales participaron activamente en el estudio junto con sus madres y sus docentes guías. La investigación respondió a un paradigma naturalista y un enfoque interpretativo, las principales fuentes de investigación fueron los estudiantes, sus madres y las docentes guías, con métodos cualitativos que permitieron el estudio de los contextos; las técnicas principales para la recolección de datos fueron observaciones participantes y aplicación de entrevistas. Para conocer las causas de aversión escolar se estudiaron aspectos en los diversos contextos como: estrategias de enseñanza – aprendizaje; el papel que juegan las docentes, padres de familia y estudiantes en el proceso de enseñanza – aprendizaje; el ambiente comunitario que prevalece en la zona, así como la oferta de literatura por parte de las docentes teniendo en cuenta las características en la comunidad; el aprendizaje y la motivación que adquieren los estudiantes con necesidades educativas especiales, mediante la atención educativa brindada por las docentes. Los hallazgos más relevantes de esta investigación se encuentran en el contexto escolar, en donde se manifiestan factores relacionados con las metodologías de enseñanza desempañadas por las docentes y el rol que juega cada agente educativo (docentes, estudiantes y madres de familia) en el proceso de enseñanza – aprendizaje del estudiante, considerados como principales causas de aversión escolar en los estudiantes.Universidad Estatal a Distancia de Costa Ric

Análisis de amenaza por fenómenos de remoción en masa en la región del Boquerón ubicada entre los departamentos de Cundinamarca y Tolima mediante el uso de un sistema de información geográfica de libre distribución

Trabajo de InvestigaciónEl propósito de este trabajo es realizar a través de herramientas de sistemas de información geográfica, un análisis de tipo predictivo de la amenaza por fenómenos de remoción en masa en una zona de estudio seleccionada en la región de Cundinamarca y Tolima, sector denominado como el Boquerón. Realizando un análisis de las variables relacionadas con la ocurrencia de este tipo de fenómenos. El estudio se desarrolló empleando la siguiente metodología: Adquisición de cartografía base mediante la cual se generaron mapas digitales temáticos de la principales variables consideradas como determinantes en procesos de inestabilidad de taludes y remoción en masa; determinación de niveles de riesgo para las variables planteadas, ponderación de las variables y análisis en un entorno SIG, estimación de áreas vulnerables y generación de cartografía. Las variables consideradas que obtuvieron mayor peso en el análisis en orden descendente fueron geología, geomorfología, y pendientes del terreno.PregradoIngeniero Civi

Conflicts and identities in the education of Mendoza : (1969-1976)

En este trabajo se analizan los conflictos e identidades de los movimientos de la educación no formal, popular y formal en Mendoza entre 1969 y 1976, así como los discursos de la educación popular, formal y no formal y las temáticas que fueron objeto de debate dentro de los circuitos pedagógicos en Mendoza entre 1973 y 1974. Se trabajan los conceptos de cátedra, seminario, campamentos universitarios y comunidad didáctica como formatos pedagógicos. Se analiza también la educación popular y la educación de adultos desarrollada en Mendoza y la alfabetización en el proyecto de La Campaña alfabetizadora de 1973 y su relación con el Estado provincial en el clima de militancia política y social de los años ‘70. Se analiza la reforma educativa de los seminarios pedagógicos producida durante el gobierno de Martínez Baca y la experiencia de politización de los/las docentes, especialmente en el marco del Mendozazo, el cual tuvo a las maestras como sujeto protagonista y de quienes es importante poner en consideración su proceso de sindicalización.In this work we analyze the conflicts and identities of the informal, formal and popular education movements in Mendoza between 1969 and 1976, as well as the discourses of popular, formal and informal education and the subjects that were discussed in the pedagogical tour in Mendoza between 1973 and 1974. We work with the concepts of professorship, seminar, university camps and learning community as pedagogical aims and objectives. We also discuss the popular and adult education developed in Mendoza and the literacy in the “Literacy Campaign" project in 1973, as well as its growth with the provincial State during the political and social militancy climate in the 70s. We analyze the Educational Reform of the pedagogical seminaries carried out during the Martínez Baca’s government and the politicization experience of teachers, especially in the context of the Mendozazo, a social protest which took place in 1972 in Mendoza and had educators as leading figures, from whom it is important to take into consideration their process of unionization.Fil: Cháves, Patricia. Universidad Nacional de Cuyo. Facultad de Ciencias Políticas y SocialesFil: Rodríguez Agüero, Laura Mercedes. Universidad Nacional de Cuyo. Facultad de Ciencias Políticas y SocialesFil: Paredes, Alejandro. Universidad Nacional de Cuyo. Facultad de Ciencias Políticas y Sociale