A orçamentação por programas, a Informação de desempenho e as políticas públicas:tendências, perspetivas e desafios

Dissertação de Mestrado em Gestão e Políticas Públicas

A perspectiva das cidades saudáveis nos programas eleitorais das eleições autárquicas de Setembro de 2013

dissertação de Mestrado em Políticas de Desenvolvimento dos Recursos Humanos

Diferenças relacionadas ao sexo nos volumes ventriculares e na fração de ejeção do ventrículo esquerdo estimados por cintilografia de perfusão miocárdica: comparação entre os programas Quantitative Gated SPECT (QGS) e Segami

OBJETIVO: Analisar as diferenças relacionadas ao sexo nas medidas obtidas pelos programas Segami e Quantitative Gated SPECT (QGS). MÉTODOS: Cento e oitenta e um indivíduos assintomáticos sem evidência de cardiopatia foram submetidos a estudos de perfusão miocárdica. O volume diastólico final (VDF), volume sistólico final (VSF) e a fração de ejeção do ventrículo esquerdo (FEVE) foram quantificados pelos programas QGS and Segami para avaliar a influência do sexo, idade, peso, altura, freqüência cardíaca, pressão arterial sistólica, pressão arterial diastólica, índice de massa corporal e área de superfície corporal. RESULTADOS: As médias obtidas com o método QGS foram VDF (mulheres = 68 ml; homens = 95 ml; p < 0,001) e FEVE (mulheres = 66,24%; homens = 58,7%), e com o Segami, VDF (mulheres = 137 ml; homens = 174 ml) e FEVE (mulheres = 62,67%; homens = 58,52%). Foram observadas diferenças significantes entre homens e mulheres no VDF (p < 0,001) e VSF (p < 0,001), que persistiram após o ajuste em relação à área de superfície corporal. CONCLUSÃO: Os volumes ventriculares foram significantemente menores e a FEVE foi significantemente maior em mulheres, de acordo com os programas QGS e Segami.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Derechos de participación e información en programas dirigidos a adolescentes en escuelas secundarias de la Ciudad de Córdoba: cumplimiento progresivo y estrategias de promoción. Participation and information rights in programs for adolescents in secondary schools in Cordoba City: progressive implementation and promotion strategies.

Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa

Construção e validação do "CADE-Q" para educação de pacientes em programas de reabilitação cardíaca

FUNDAMENTO: O conhecimento sobre a doença arterial coronariana pode ser considerado o primeiro passo para reduzir o risco de complicações cardíacas. OBJETIVOS: Construir e validar um instrumento capaz de avaliar e descrever o conhecimento do paciente coronariano em programas de reabilitação cardíaca, com a finalidade de educação. MÉTODOS: Para construção, foi realizada análise de artigos e estudo de campo para a apresentação de itens a uma equipe multidisciplinar associada à reabilitação cardíaca. Após análise, foi gerada a versão testada em um estudo-piloto. O instrumento, nomeado CADE-Q (Questionário para Educação do Paciente Coronariano), foi aplicado em 155 pacientes com idade de 61 ± 9 anos (mín = 36 ; máx = 86), participantes de programas de reabilitação cardíaca. Dos 155 pacientes, 114 eram homens. A consistência interna foi verificada pelo coeficiente Alpha de Cronbach. A reprodutibilidade foi testada através do coeficiente de correlação intraclasse (CCIC) e a validade de construto por análise fatorial exploratória. Foi realizada análise comparando os escores totais em função de características da população e entre os grupos de reabilitação (privado e público). RESULTADOS: A versão final possui 19 questões com 4 alternativas, com 4 quadrantes de conhecimento. O Alpha de Cronbach foi de 0,68 e CCIC foi de 0,783. A análise fatorial revelou 6 fatores, abrangendo três áreas de conhecimento, o que demonstra a multifatoriedade do instrumento. A análise das características da população em função do escore total apresentou diferenças significativas em função das variáveis do nível socioeconômico (tipo de reabilitação, renda familiar e escolaridade). CONCLUSÃO: O instrumento CADE-Q apresenta validade e confiabilidade adequadas para sua utilização na população brasileira em futuras pesquisas.

Avaliação do sistema locomotor de pacientes de programas de reabilitação cardiopulmonar e metabólica

FUNDAMENTO: Participantes dos programas de reabilitação cardiopulmonar e metabólica (RCPM) podem apresentar alterações locomotoras que prejudiquem a aderência e a efetividade do tratamento. OBJETIVO: Desenvolver instrumento para avaliar o sistema locomotor e identificar problemas, principalmente aqueles relacionados com o exercício, possibilitando a triagem dos pacientes, ou seja, liberação sem restrições, liberação com restrições e não liberação antes de aval especializado. MÉTODOS: Construção e validação (segundo o alfa de Cronbach) de inventário de avaliação do sistema locomotor (IASL), para subsequente aplicação em participantes da RCPM. RESULTADOS: Por meio do IASL, cuja avaliação interna apresentou parâmetros de validade e confiabilidade satisfatórios, foram avaliados 103 indivíduos participantes de programas de RCPM, sendo 33 homens (32%) e 70 mulheres (68%), com idades entre 36 e 84 anos, dos quais 47 (45,6%) já haviam recebido diagnóstico de problema do sistema locomotor, 39 (37,9%) já haviam recebido tratamento específico para o sistema locomotor, 33 (32%) costumavam usar fármacos para alívio de sintomas do sistema locomotor, e 10 (9,7%) haviam recebido proibição médica para algum tipo de exercício. Ressalte-se que 48 indivíduos (46,6%) relataram sentir dor no sistema locomotor que, em 14 (13,6%) deles, piorava com o exercício, o que deveria impedir a participação em programa de exercícios antes de aval de especialista. CONCLUSÃO: O IASL, que apresentou parâmetros de validade e confiabilidade satisfatórios, evidenciou que, para praticamente metade dos participantes de programas de RCPM, existia alguma restrição para a prática de exercícios e que alguns não deveriam ter sido liberados sem o aval de especialista.

El Autobús accesible y la movilidad urbana: programas, innovación y tecnología: conclusiones de las jornadas

Habida cuenta de que la jornada de 2005 se dedicó en buena medida en a las ventajas y problemas del vehículo de plataforma baja con arrodillamiento (kneeling) y rampa, en 2006 se buscó abordar otros aspectos de gran importancia, tales como la implantación de nuevas tecnologías de comunicación en vehículos y paradas, y sus posibilidades de futuro. Para ello se contó con la presencia de representantes de distintas empresas e instituciones que en la actualidad están incorporando innovaciones e investigando nuevas formas personalizadas o generales de transmisión de información al usuario, particularmente al usuario con discapacidad. Dos mesas redondas denominadas La Accesibilidad en Evolución I y II trataron estos temas ampliamente. Por otra parte, continuando con el interés por conocer las experiencias municipales de mejora de accesibilidad y movilidad mediante el transporte en autobús, se presentaron los casos de Málaga, Las Palmas de Gran Canaria, Gijón, San Sebastián e Irún (mesas redondas Experiencias Municipales I y II).

Los aceites minerales insecticidas en programas de Control Integrado de las plagas de los cítricos

Los agroecosistemas suelen tener un número reducido de especies. Sin embargo, el de los cítricos es muy rico tanto en organismos perjudiciales como beneficiosos. En él existen tres plagas (Icerya purchasi, Aleurothrixus floccosus y Panonychus citri) que pueden considerarse muy bien controladas por sus enemigos naturales y que por tanto habrá que tener siempre en cuenta a la hora de realizar cualquier intervención química. Por ello, la introducción accidental de una nueva plaga, como es Phyllocnistis citrella, puede alterar los programas de Control Integrado existentes. Los ataques más importantes de P.citrella en plantaciones adultas de cítricos se producen en la brotación de finales del verano. En este momento las poblaciones de los principales entomófagos del cultivo -Rodolia cardinalis, Cales noacki y Euseius stipulatus- son bajas, por lo que es fundamental elegir productos selectivos que los afecten lo menos posible y respeten el equilibrio plaga-entomófago. Así mismo, la proximidad de la cosecha obliga elegir materias activas que no originen problemas de residuos en la comercialización de los frutos. El empleo de aceites minerales insecticidas data de finales del siglo pasado. Desde entonces han desaparecido varias generaciones de insecticidas por problemas de resistencias, toxicidad, persistencia en el ambiente, etc. Sin embargo, los aceites minerales se han venido utilizando continuada y eficazmente en la protección de los cultivos, siguiendo el perfil de un desarrollo sostenido, y son considerados como una herramienta eficaz en la protección integrada de cultivos.

Aplicación de programas de gestión sanitaria en criaderos marinos

La primera necesidad de los peces es la higiene. La elaboración de Programas de Gestión Sanitaria (PGS) aplicables a la industria, dentro de un marco realista y eficiente, pueden contribuir positivamente a la mejora sistemática de la productividad, afectando no sólo a la cantidad y calidad del producto, sino directamente a la eficiencia económica de la empresa. Las principales normas deben quedar reflejadas dentro de un Plan de Control Sanitario (PCS) de la instalación, normas que deben ser de obligado cumplimiento, tanto para los trabajadores como para las visitas. El seguimiento del PCS se realiza mediante la aplicación de un Sistema de Análisis de Peligros y Puntos Críticos de Control (APPCC), sistema que forma parte, a su vez, del Sistema de Gestión de la Calidad (SGC). No será factible la aplicación de ninguno de estos programas, planes y sistemas sin un uso racional del autocontrol. Hygiene is the first need that fish have. The elaboration of the Sanitary Management Programs (SMP) which industrial application, inside a realistic and efficient framework, could contribute positively to the systematic improvement of the production, affecting not only to the quantity and quality of the product, but that affect directly to the economic efficiency of the company. The main norms will be reflected in a Sanitary Control Plan (SCP) of the facilities, these norms must be obligatory fulfilment for the workers and visits. The monitoring of the SCP will do meanly the application of the Hazard Analysis and Critical Control Point (HACCP), system that it is a part, also, of the Quality Management System (QMS). It is not possible, the application of any of this programs, plans and systems, without a rational use of the auto control processes.

Mejora del medio ambiente y nivel de desarrollo: elementos explicativos de las diferentes opciones en los programas de desarrollo rural (2007-2013) de la Unión Europea

Los programas de desarrollo rural del actual período de programación (2007-13) se han estructurado en 4 ejes. El eje 2 correspondiente a la Mejora del medio ambiente y del entorno rural es, con casi la mitad de los recursos públicos, el principal. El objetivo de este artículo es estudiar los elementos que explican los diferentes niveles de gasto adjudicados a este eje, que oscilan entre el 82,5% y el 25% del gasto público total según Estado Miembro. Se aprecia que el nivel de gasto en el eje 2 está correlacionado con el nivel de renta pero no guarda relación alguna con los indicadores que la Comisión Europea ha establecido en la priorización del la problemática e interés agroambiental de los diferentes territorios europeos.

La reincidencia de los condenados por delitos de violencia de género a programas formativos aplicados desde la ejecución penal en la comunidad

Esta es la segunda parte del estudio iniciado en el 2008 donde se ha evaluado la eficacia de los programas formativos a los que se condena determinados infractores de violencia de género. En esta segunda parte, se hace el seguimiento al cabo de 1 año de haber terminado la intervención de Justicia, para conocer si existe nueva reincidencia, entendida como nueva denuncia policial. También se ha conectado telefónicamente con los participantes en el estudio para conocer su valoración respecto la intervención de Justicia y su vida actual.

Librería para análisis dinámico de programas

Este proyecto consiste en el diseño y desarrollo de una librería de interposición de propósito general en lenguaje C para la plataforma GNU/Linux, así como de un prototipo para demostrar la utilidad de la librería. La idea es que dicha librería se pueda utilizar en aquellos programas que necesiten modificar el comportamiento de otros programas, interceptar las llamadas al sistema y, en un sentido amplio, obtener información sobre las actividades de otros procesos en tiempo real. Por tanto, se tratará de diseñar un marco adecuado para futuros proyectos relacionados con el análisis de software. Se pretende también realizar un estudio que permita conocer las diferentes técnicas de depuración, diagnóstico y optimización de aplicaciones, y el software libre existente para realizar dichas tareas.